 25 = 3*m, -2*m = t - 4. Let a be (0 + 32)*m/(-6). Which is smaller: a or -18?
-18
Let m(p) = 2*p - 9. Let r be m(7). Let q = 57 - r. Suppose -3*w = w - q. Is w greater than or equal to 13?
True
Let f(a) = 3*a**3 + 6*a**2 - 7*a + 19. Let o(w) = -2*w**3 - 3*w**2 + 4*w - 10. Let v(r) = 3*f(r) + 5*o(r). Let z be v(3). Which is bigger: 24/5 or z?
24/5
Let g = 7 + -2. Suppose 39*r = 34*r + g. Let s = -11.3 - -1.3. Which is smaller: r or s?
s
Let h be -1*10*(-15)/(-25) - (-6)/1. Let c(p) = 2*p. Let t be c(-1). Which is greater: h or t?
h
Let b(h) = 13*h**2 - 20*h + 41. Let n be b(2). Are n and 54 unequal?
True
Let w be 1 + 6/(-9)*(-9)/3. Let d be (-34)/48 + w/8. Do 1 and d have different values?
True
Let a = -65/24 + 7/3. Suppose -4*r = -13 - 3. Suppose h = -3*h - r. Is h less than a?
True
Let t(n) = -13*n - 1. Let y be t(1). Suppose -3*u = 7*x - 9*x + 54, -x + 67 = -4*u. Which is smaller: u or y?
u
Let p = -1785 - -12669/7. Which is smaller: p or 25?
p
Let d(w) = w**3 + 15*w**2 - 36*w - 36. Let p be (-34)/4*(-18 + 20). Let i be d(p). Let z = -6.06 + 0.06. Which is bigger: z or i?
i
Let n be 2 + (-1)/1*1. Let d = -13.7 - 10.3. Let l = d - -19. Is n >= l?
True
Let o = -147 - -325. Let d = o + -329. Let c = d + 1054/7. Which is bigger: 0 or c?
0
Let w(k) = 6*k**2 - 7*k - 19. Let b(l) = 7*l**2 - 6*l - 20. Let x(o) = -5*b(o) + 6*w(o). Let m be x(13). Is m at least as big as 1?
False
Let t be (-820)/406 - (-1 - 0). Let s = 42/29 + t. Let r = 115/3 + -233/6. Which is smaller: s or r?
r
Suppose p - 5*p + 12 = 0. Suppose 0 = 3*a - 4*q + 6, -q - 9 = 4*a - p*a. Let f be (-4 - a)/((-2)/(-7)). Which is smaller: f or 8?
f
Let h = -13 + 16. Suppose h*s + s = 20. Let u = -13 + s. Which is smaller: -7 or u?
u
Suppose 0 = -5*v - 8 + 43. Suppose d + 0 = v. Which is bigger: -4 or d?
d
Let l = 35.46 + 6.64. Let c = 42 - l. Do 1 and c have the same value?
False
Let c be -1 + (-5)/(-4) - 490/4200. Is 3 at least c?
True
Let n(w) = w**2 + 3*w - 1. Let b be n(-4). Suppose 0 = -5*d + b*t - 24, 3*d + t + 9 = -d. Let h = -281 + 279. Is d > h?
False
Let w = 19 + -15.5. Let a = w - 3.5. Is a bigger than -0.04?
True
Let t be (((-1)/3)/(5/(-75)))/6. Let x be 1 - (-7)/((-21)/(-12)). Suppose -k - 2 = x*s - 0*k, 5*s - 2 = k. Is s less than t?
True
Let w = -849/11 - -77. Let a be 14/(-378)*-15*(-3)/55. Which is smaller: w or a?
w
Let j = -130 + 110. Let a be (-20)/(-110) + j/(-11). Is a <= 1?
False
Let s(u) = -u**2 + 10*u + 26. Let j be s(12). Let i(a) = -17*a - 1. Let w be i(j). Which is smaller: w or -34?
w
Suppose 7*b = 12*b + 30. Let t be (b/(-8))/(387/(-18) - 7). Is t <= 1?
True
Let v = -5/4808 - 1240409/52888. Are v and -24 nonequal?
True
Suppose -38*g + 39*g + 2 = 2*y, 3*y + 17 = -g. Is 6 <= g?
False
Suppose 0 = -0*r - 2*r + 10. Suppose -24 = -d - r*d. Suppose -5*k = -5*o + 54 - 14, 5*k = -d*o - 22. Is k >= -6?
True
Let d be (-5)/3 - 0 - 10/(-15). Is d < -2/9?
True
Let u be -1*(-4)/8*4. Which is smaller: 52 or u?
u
Suppose 3*d + 3*y - 27 - 81 = 0, -5*d + 2*y = -173. Let c = -26 + d. Which is smaller: c or -1/4?
-1/4
Let u = -287172077/174 + 1650423. Let k = 53/6 - u. Let d be 8/28 - (2 - 36/21). Is d >= k?
False
Let p be -5*1*(-3 + 4). Let w = p + 3. Do -6 and w have the same value?
False
Let m = 0.0516 - 0.2516. Is m greater than -385?
True
Suppose 104 = 49*g + 6. Is g > 24/19?
True
Let z = -0.0067 - -0.0097. Is z > -15?
True
Let o = -19/159 - -24/53. Is 330 bigger than o?
True
Let b be (30 - 4)/(6/(-27)). Are b and -0.1 equal?
False
Let x be ((-72)/14)/(18/(-63)). Suppose 82 + x = -5*j. Let r be j/88*2/(-5). Which is smaller: -1 or r?
-1
Suppose 14*x - 45 = -x. Suppose -9*j + x*j + 3*j = 0. Is 7 > j?
True
Let h = 186 + -191. Which is greater: -74/21 or h?
-74/21
Let z be 4/(-6) + -1 + 2. Let p be -5 - ((-2002)/392 - 3/21). Which is greater: z or p?
z
Suppose 67 + 3 = 7*s. Suppose 3*n = -2*n + s. Suppose 8 - n = f + 5*d, -5*d - 18 = -3*f. Are 7 and f unequal?
True
Let m be (-18)/(-6) + 54/2. Suppose 0 = -5*h + 2*h + m. Is 9 at most as big as h?
True
Let t = 62 - 33. Suppose -t*y + 32*y = 18. Suppose -2*k - 16 = -4*k - 2*r, 16 = 2*k - 4*r. Which is greater: y or k?
k
Let m(v) = -v**3 - 8*v**2 - 8*v - 7. Let w(n) = 2*n - 3. Let l be w(-2). Let k be m(l). Suppose 2*g - 3 = -p, k*g + g = 0. Is p <= 3?
True
Let y = -9 + 16. Suppose 3*l - 23 = -4*k, y*k - 2*k - 3*l = -5. Suppose x = -k*x. Which is smaller: -8 or x?
-8
Suppose -t - 2*q = -3*t - 48, -2*t - 3*q - 28 = 0. Let x be (36/30)/(3/t). Let v be (-180)/x*2/(-10). Do -6 and v have the same value?
False
Let c = -1.2 - -1.66. Let x = c - -3.54. Is 0.1 < x?
True
Let h be (16/(-10))/((-18)/(-180)). Is -19 equal to h?
False
Let z = -965 + 964.966. Which is smaller: z or 6?
z
Let i = 2 + -2. Let z = i + -0.2. Let q = -225 + 225.07. Which is greater: z or q?
q
Suppose -4508 = -24*b + 6172. Are b and 443 nonequal?
True
Let o be 1156/24 - (1 + 1). Let v = -3553/78 + o. Are v and 0 equal?
False
Let v = -4 + 5. Let k be v/(-1)*(12 - 13). Let f = -21.7 + 21. Is k less than or equal to f?
False
Suppose 0 = -4*j + j - 5*j. Let i = 2 + -2. Let x = i + j. Is -0.1 greater than x?
False
Suppose 3*h - 5 = 2*h. Let m = -20 - -22. Suppose -m*g - 2 = -8. Which is greater: h or g?
h
Let o = 185 - 185.1. Is o less than or equal to -1?
False
Let i(d) = 10*d - 4. Let t = 4 + -2. Let x be i(t). Let g be 11/18 + (-8)/x. Is g greater than 1?
False
Let n be 0 + 35/98 + 2/8. Which is smaller: n or 1?
n
Let v(s) = s**3 + 12*s**2 + 5. Let i be v(-12). Suppose -4*l - 5*d + 19 + 10 = 0, -i*l + 26 = -4*d. Let j be l/(-8)*(-4)/6. Which is smaller: j or 1?
j
Let j(v) = -2*v**3 + 3*v**2 + v + 744. Let c be j(0). Is 0.1 at least as big as c?
False
Let x = -1107 - -24349/22. Is x > -1?
True
Let m(j) = 3*j**3 + j**2 + 19*j + 63. Let y be m(-4). Is -1/4 bigger than y?
True
Suppose -y - 5 = 0, -3*y - 12 = -o + 2*o. Suppose 2*x - 5*j + 12 = -25, -o*j - 13 = 2*x. Which is smaller: x or -13?
-13
Let b be (4 - 7) + 2 + 0. Let c be ((-16)/b - (-10 - -8)) + 4. Which is greater: c or 23?
23
Let h = -12 - 60. Let c = h - -50. Which is smaller: c or -0.1?
c
Let n be ((-42)/140)/(27/244). Let q = -28/9 - n. Is -1 > q?
False
Suppose -5*i + 3*y + 10 = 0, i + 6 + 5 = -2*y. Let p be (i/(-3))/((-8)/48). Let a = 2 - 3. Which is bigger: p or a?
a
Let k be 2 + (-3)/9*9. Which is greater: k or 3/847?
3/847
Let n = 854 - 942. Which is smaller: n or -89?
-89
Let q be 4/6 - 400/(-12). Let p = 34 - q. Is p at most 1/2?
True
Suppose -o - 5*l - 18 = -0*l, -2*o + 2*l + 24 = 0. Let x be (140/(-45))/o*(-3)/(-2). Is 13 greater than or equal to x?
True
Suppose -599*l + 27 = -572*l. Which is bigger: l or 13/85?
l
Suppose 5*o - 17 = -2. Suppose -126 + 26 = 2*l. Let x = l + 54. Which is smaller: x or o?
o
Suppose 0 = -2*l + 7 + 3. Let o(c) be the first derivative of c**2 + 5*c - 1. Let k be o(-2). Which is greater: l or k?
l
Let r = 29.45 + -27.45. Which is smaller: -73 or r?
-73
Suppose 0 = 23*s + 44*s + 14070. Is s smaller than -211?
False
Let p = 37/26 - 1115/546. Is p at most as big as 1?
True
Let t = 3 - 7. Let z be 3 - ((-535)/(-75) + t). Is 0 at most z?
False
Suppose 5*h - 2*h + 24 = 0. Let p = -42 - -47. Suppose -46 = 4*d - p*t, 4*d + 11 = 3*d + t. Which is bigger: d or h?
h
Let n = 88 + -138. Let w be (60/(-16))/(9/(-48)). Let y be 8/w*n/18. Which is bigger: 0 or y?
0
Let j = -0.0484 + 0.6284. Which is smaller: j or 0.01?
0.01
Let b be 39*(-4 - (-800)/204). Is b at least as big as -4?
True
Suppose -45*g + 193314 = 56*g. Which is greater: 1913 or g?
g
Let k = 596.1 + -596. Which is greater: -106 or k?
k
Let s = 12 + -12. Suppose 9 = 6*u - 3. Suppose -5*x + 0*z + z - 3 = s, -u*z + 1 = -5*x. Which is greater: x or -2/15?
-2/15
Let z(n) = -n + 12. Let y = -51 - -62. Let s be z(y). Which is smaller: 2/3 or s?
2/3
Let t be ((-69)/(-92))/(123/(-8)). Is t > -22?
True
Suppose 2*g - 2 = -3*s, 0*s + 1 = g + 3*s. Which is smaller: 7/5 or g?
g
Suppose s + 3*s - 152 = 0. Suppose 0 = -0*l + 2*l - s. Let h = 10 - l. Is h < 2/5?
True
Let f(r) = -7*r**2 + 13*r - 1. Let w(n) = 6*n**2 - 12*n + 2. Let c(i) = 5*f(i) + 6*w(i). Let t be c(7). Let v = t + -9. Which is bigger: v or -16/7?
v
Let w = -12.2 - -4.2. Is -1 > w?
True
Let x = 2.649 + -2.749. Which is smaller: x or 1352?
x
Suppose 0 = a - 1 - 7. Let u(s) = 