 - v*c, -3*x + 5*c = -11. Which is smaller: x or 6?
6
Let d(t) = t**3 + 7*t**2 + 10. Let y be d(-7). Suppose 0 = 3*j - f - 27, 0 = 4*f - 9 - 3. Is j greater than y?
False
Let m = -417 + 449. Is 33 equal to m?
False
Let d(v) be the third derivative of -v**5/60 - v**4/6 + v**2. Let q be d(-4). Let z be (1 - -4 - 4)/(25/10). Which is smaller: q or z?
q
Let q = -0.22 - -1.22. Which is greater: q or -126?
q
Let b be (-94)/(-4) + (-15)/10. Let y be 14/(-21)*(b/(-14) + 2). Which is greater: 3/8 or y?
3/8
Let g = -0.3 - 4. Let t = g - -4.3. Which is smaller: 4 or t?
t
Let t(m) = -m**2 - 6*m - 6. Let q be t(-5). Let h be ((-6)/(-12))/(26/6). Is h less than q?
False
Let o be -3 - -4 - (-3 + (0 - -1)). Is o at least 27?
False
Let w(m) = -6*m - 4. Let a be w(4). Let x = 931 - 927. Let t be (-3)/(-21) + x/a. Which is smaller: 1 or t?
t
Suppose 0 = -2*h - 2*a + 4*a, -3*h = -2*a - 5. Suppose 0 = 5*m + 25, -9 = -2*i + h*m - 2*m. Let v = -177 + 174. Is i at least v?
True
Suppose 48 = 5*y + 53. Let i(r) = -r**3 + 3*r**2 + 4*r. Let v be i(4). Is v >= y?
True
Let g = 34 - 60. Let f = -1825 - -1797. Which is smaller: g or f?
f
Let s = -58941/28 - -2105. Which is smaller: 22 or s?
s
Let n(i) = i + 24. Let l be n(-12). Suppose 8*q - l = -4. Which is smaller: q or -2/125?
-2/125
Let z be 7/(-2) - 24/32*-2. Is z not equal to -2?
False
Let k = -24 + 49. Let h = -9 + k. Suppose 2*i - h + 6 = -w, -5 = -i. Is 2/5 < w?
False
Let i = 479 + -337. Which is bigger: i or 139?
i
Let i be 0/(-1)*(-3)/6. Let s(a) = -2*a**3 - a**2 + 3 + 0*a - a + a**3. Let j be s(i). Which is bigger: 0.2 or j?
j
Let h(x) = 6*x**2 + x. Let r be h(-1). Let b = -537 - -537. Suppose c + r - 1 = b. Which is smaller: -6 or c?
-6
Let t(l) = 8*l**2 - 6*l + 14. Let x be t(3). Which is bigger: 67 or x?
x
Let y(c) = -c**3 + 3*c**2 - c - 3. Let g be y(3). Let i(l) = 2*l + 1. Let h be i(1). Let s = h - 8. Which is bigger: g or s?
s
Let k = -241 - -218. Which is bigger: k or -0.4?
-0.4
Let g = -570 - -569. Which is smaller: -1/370 or g?
g
Let b = -2.293 - 0.147. Let d = b - -2.4. Is d at least -2?
True
Let i = -49 + 74. Let z be 2/(-5) - (-10)/i. Suppose z = -3*c - j + 4*j, 5*j - 10 = -5*c. Is c less than or equal to -3?
False
Suppose 49 + 41 = -5*l. Let r = -12 - l. Which is greater: 17/3 or r?
r
Let k be (1 - 5)/((-2)/(-5)). Let j be (5/10)/((-1)/8). Let z be k/j*(-9 - -7). Which is smaller: -13/3 or z?
z
Let t(q) be the first derivative of q**3/3 - 2*q**2 - 2*q - 3. Let k be t(6). Let w = 9 - k. Is 0 at most w?
False
Suppose -5*w = 4*h - 42, 3*h + w - 2*w - 22 = 0. Suppose 3*m = h*m + 30. Is 2 < m?
False
Let z = 107/628 + -1119845/4396. Let t = 255 + z. Which is smaller: -1 or t?
-1
Let o be 0 + -1 - (-5)/7. Let p = o + 25/63. Is 1 > p?
True
Suppose 22*f = 23*f + 27. Which is greater: -1 or f?
-1
Let w = -530100896/63 - -115496175350247152/13726177605. Let k = 19076627131/129418245990 - w. Let r = 1/1342 + k. Which is greater: -1 or r?
r
Suppose 5*o + 60 = 5*t, 2*t - 4*t - 3*o + 19 = 0. Let j = 39 - 25. Which is smaller: t or j?
t
Let s = 7 + -4. Suppose 2*m - 2 + 0 = 0. Let b(h) = 4*h. Let n be b(m). Do s and n have the same value?
False
Let n be (4/(-238))/((-26)/(-182)). Which is smaller: 1/3 or n?
n
Suppose -4*q + 4*r + 39 = 11, 5*q = -2*r + 49. Let p be -3*5/(30/(-4)). Suppose 10 = y + p. Is y at most q?
True
Let d = -25 + 25. Suppose d = f + 2*f - 12. Let o be f/(-5)*(-65)/(-26). Is o less than 2?
True
Let p = -1/70 + -249/70. Is -3 equal to p?
False
Let m = -2 + 2. Let o be 2/(-8)*(m + -8). Is 10/11 <= o?
True
Let w be (119/28)/((-2)/8). Let t = w - -29. Let m be 2/t*1*-1. Which is bigger: -1 or m?
m
Let l = -87 - -31. Is l equal to -56?
True
Let d = 133 - 130.58. Let l = d - 23.52. Let g = 3.1 + l. Which is bigger: g or 1?
1
Let x be (12/130)/((-5)/(-1)). Let p = 1064/22425 - x. Which is smaller: 0 or p?
0
Let x be (-5)/12 + (-1)/(-4). Let a = -42 + 48. Suppose b + y + 0*y = 0, b = 5*y - a. Is x less than or equal to b?
False
Let h be (21/14)/(609/(-4)). Let u = 223/2030 + h. Let j = u - 13/5. Do j and -2 have the same value?
False
Let i = 8074 - 8083. Let w = 1 - 2. Is i not equal to w?
True
Let g be (68/85)/(3932/(-10)). Is 0 bigger than g?
True
Suppose -1176 = -y + 5*y. Let a be 7/y*(-3)/(-6). Does -1 = a?
False
Let a = -0.099 + -0.311. Let v = 23.59 - a. Which is smaller: v or -0.1?
-0.1
Let q = 172 + -89. Let x = q + -83.1. Is -4/35 >= x?
False
Let d = -0.347 + 0.617. Which is greater: -8 or d?
d
Suppose 88 - 664 = -3*f. Which is greater: f or 191?
f
Let z = -33 + 51. Let q be 244/612 + (8/z)/(-2). Is q at least 1?
False
Let w = -0.22 + 0.34. Let s = 11.88 + w. Which is bigger: 0.2 or s?
s
Let h(s) = s**3 - 13*s**2 + 11*s - 4. Let j be h(12). Let q be j/2*12/(-8). Let t be 2/q - (-42)/(-36). Is t at least 2/7?
False
Suppose 65*q - 57*q - 320 = 0. Which is smaller: 38 or q?
38
Let q = -81 + 251/3. Let j = 1.08 - 0.08. Let p = 2 - j. Is p greater than or equal to q?
False
Suppose 0 = -2*m - 58 + 388. Let t be 4 - m/21 - -4. Let b(z) = z**2 + 4*z + 1. Let c be b(-4). Is t equal to c?
False
Let v = -20705743/1422 + 14561. Is v not equal to -1?
True
Suppose -3*u = q + 3 - 2, 3*u + 9 = 3*q. Let t(f) = 17*f + 5. Let o be t(u). Are -12 and o equal?
True
Suppose -9*b + 1506 - 363 = 0. Are 126 and b non-equal?
True
Let y be 1/1*(59 + -420). Is y > -362?
True
Let u = -31 + 18. Let r be (u/4 + 3)/(3/(-54)). Is r <= 3?
False
Suppose 5*z - 25 = -80. Let l = z + 10. Is l not equal to -6/25?
True
Suppose -4*h + 3*s = -1, -2*h + 4*s + 8 + 0 = 0. Let p(b) = b**2 + 8*b - 9. Let k be p(-9). Is h less than k?
True
Let b be ((-20)/(-117))/(44/66)*9. Is b >= 3?
False
Let t = -9 - -9.2. Let j = -0.1 + t. Are 0.2 and j unequal?
True
Let b = -157/34 + 2/17. Suppose 0 = w + 2*w - 36. Suppose -h + 3*h + w = 0. Is h greater than b?
False
Let w = -89 - -45. Let h = 43.97 + w. Which is smaller: -2/7 or h?
-2/7
Suppose -84*l = -89*l + 5. Is l at most as big as 1/350?
False
Let h = -87/8 - -451/40. Is h less than or equal to 2.02?
True
Suppose -35*n - 20805 = 22*n. Is n != -365?
False
Let t = -2.181 + -8.819. Is 60 equal to t?
False
Suppose 4*k = 2*k. Suppose -5*g - 6 = -16. Suppose g*q - q + 2 = k. Is q != -3?
True
Suppose 5*f + 3*g - 10 = 0, 4*f - 24*g + 23*g = -9. Which is bigger: 4/229 or f?
4/229
Let s = 14 - -6. Let l = s + -19. Which is smaller: l or 15?
l
Suppose 2*s + 4*c = -164 + 650, -4*s - 2*c + 972 = 0. Is 243 equal to s?
True
Let x = 59/2 + -30. Let a = -638 - -1909/3. Which is smaller: x or a?
a
Suppose -43*q + 698 = 569. Let z be 1/((-3)/(3/5)). Which is bigger: q or z?
q
Suppose 0 = 14*l - 11*l + 60. Let n(s) = s**2 + 19*s - 21. Let x be n(l). Is 0 at most as big as x?
False
Let v be 8/(-36) - (-4)/(-9). Let g = -0.028 - 0.022. Let q = 1.35 - g. Which is smaller: v or q?
v
Let m = -347 - -347. Is 228 greater than m?
True
Suppose -5*n = 2 - 12. Is 16/7 smaller than n?
False
Let d = 33.17 - 27. Let n = 0.17 - d. Let a = -5.7 - n. Are -0.6 and a unequal?
True
Let f(j) = j**3 + 9*j**2 + 4. Let s be f(-9). Suppose -s*p = -m - 5 - 0, 2*m + p = -1. Let v be (m/(-3))/(3/117). Is 14 smaller than v?
False
Let w = -98 + 102. Suppose -9*k - 145 = -w*k. Is k less than -29?
False
Let k = 356 - 1070/3. Which is smaller: 90 or k?
k
Let h be ((-696)/20)/(((-42)/30)/(-7)). Which is smaller: h or -172?
h
Suppose 120 = -50*g + 53*g. Let u be g/(-6) - (-3)/(-6 + 15). Which is greater: -6 or u?
-6
Suppose -2*m - 5*c - 19 = -4, -5*m + 3*c + 40 = 0. Suppose 3*x = 2*x - m. Suppose 2*j + 4 = -2*h, -5*j - 34 = -h - 0*h. Is x <= j?
False
Let n = -5411/917778 + 3/2026. Are -1 and n unequal?
True
Let d = -17.9506 + -0.0494. Which is greater: d or -0.07?
-0.07
Suppose 0 = 130*a - 150*a. Is 2/25 at most as big as a?
False
Suppose -104 = -6*c - 98. Which is bigger: c or -1/555?
c
Suppose 0 = -0*v + v - 244. Let x be 2/3 + v/(-6). Let a be (-40)/15*(-18)/x. Which is bigger: a or -1?
-1
Suppose p - 2*z = 374, -5*z + 483 + 1402 = 5*p. Does p = 376?
True
Let a be (-1225)/(-15) - (-2)/(-3). Suppose 4*l - 5*x = -a, -x - 23 + 5 = l. Let c = l + 30. Which is bigger: c or 10?
c
Let d(r) = r - 4. Let t be d(-6). Let n be (t/8)/1*-36. Suppose -7 = -4*l + n. Is 14 > l?
True
Let l = 24 + -32. Suppose 0*b = 4*b. Is b not equal to l?
True
Let b = -33 + 5