 v?
True
Let z be (-15)/6 + (-387)/(-162). Let d be 9/(2 + 1) + 0. Suppose 3*a - d = -2*v, -6*v - 4 = -2*v - 4*a. Which is smaller: v or z?
z
Suppose -2*d - 25 = m, 2*d + 13 = -3*m - 14. Let w be 6*(-4)/d + 2. Suppose 0 = -0*g + 3*g - 12. Is w < g?
False
Let h(q) be the third derivative of q**4/8 + 7*q**3/6 + 12*q**2. Let v be h(-2). Is v at least as big as -4/53?
True
Let l(r) = -2*r**2 + 17*r - 6. Let d be l(8). Suppose -4*g + d*g - 33 = -3*w, 2*w = g + 21. Suppose 3 = 3*q, 3*m + m + 4*q - 32 = 0. Which is bigger: w or m?
w
Suppose 3 = 3*m - 6, -k = -5*m + 2. Which is smaller: 57/4 or k?
k
Let l be ((-42)/28)/(52/(-384)). Which is greater: 11 or l?
l
Let x be 375/12 + 1/(-4). Let w be -4 - 910/(-25) - 1. Let r = x - w. Is r <= 1?
True
Let h = -234 + 160. Let x = -199 - -199.1. Is h <= x?
True
Let s(p) = p + 4. Let n be s(-4). Let a = -58 - -2. Let c be 12/(-4) + (-174)/a. Is c < n?
False
Let q = -38 + 38. Let h = -23 + 19. Which is bigger: q or h?
q
Let i = -183 + 181. Which is smaller: -0.02 or i?
i
Let p = 1/206 + -4541/1854. Let s(q) = -q**2 + 5*q - 1. Let z be s(5). Is z at most p?
False
Let f = 6.2 + -2.2. Let a = f + -3.1. Do a and 1/2 have different values?
True
Suppose 3*w = -4*z - 3, 14*w - 10*w - z + 4 = 0. Does w = 77/25?
False
Let l be (-4)/14*(-7 - -8). Is l less than or equal to 21?
True
Let u = 169/10 - 27269/1610. Which is bigger: -0.1 or u?
u
Let d = 16.794 + 0.006. Let z = 18 - d. Is -3 greater than or equal to z?
False
Suppose j + 102*m = 104*m - 145, -2*m - 550 = 4*j. Is -140 at most j?
True
Let q = -276 - -261. Let m = 3 - 9. Let g be m/q + 42/(-30). Is -17 < g?
True
Let m be -1 + 6 - (0 - 1). Suppose -m*q + q + 5*x + 30 = 0, -2*x = 3*q - 13. Suppose -18 + 68 = q*y. Are 11 and y non-equal?
True
Suppose -103*b + 163*b = -282*b + 684. Let z(w) = -w**3 - 5*w**2 - 3*w - 5. Let y be z(-5). Is y at most b?
False
Let h = 631 + -911. Is h <= -280?
True
Let y = 4 - -1. Let n = y - 3. Let g be (-5 + 4)*(-3 - -2)/1. Is n != g?
True
Let g = -833 - -832.9. Let v = 12.5 + -10. Let r = v - 0.5. Is g < r?
True
Let w = 77/12 + -20/3. Let d = -0.3 - 3.7. Let n = d + 0. Is n <= w?
True
Let f = 123 + -68. Let q = -89 + f. Which is greater: 1 or q?
1
Let b = -838.9 - -839. Let f = 1299/11 - 118. Which is smaller: b or f?
f
Let u = 2 - 3. Let v be (-27)/(-4698)*(4 - 1)/((-12)/8). Is v at least u?
True
Let i = -18.071 - -0.071. Let u = i + 21. Is 3 < u?
False
Let n = -139411/15 + 9299. Let s = n - 13/3. Let c(p) = p + 7. Let v be c(-7). Which is bigger: s or v?
s
Let p(s) = -s**2 + s + 1. Let f be p(1). Let o be (-4)/12 + -1 + 142/66. Is o greater than f?
False
Let z = -407 - -202. Let f = z - -3484/17. Is f > -1/3?
True
Let s = -0.9 - -4.9. Let l = -11.9 + 12. Which is smaller: s or l?
l
Let n = -142 - -97. Let j be (4/n)/(16/40). Which is smaller: 0 or j?
j
Let j be (-9)/((-108)/21)*(-15)/(-7). Is j at most 0.3?
False
Suppose v - 127 = 4*s, -22*s + 23*s = 3*v - 18. Which is smaller: s or -310/9?
-310/9
Suppose 2*q = q. Suppose q = k - g - 8, g - 9 = 4*k - 47. Suppose -k = -5*n + 2*v, -n + 35 = 4*n + 3*v. Is n > 5?
False
Let a(d) = d**2 + 16*d - 192. Let y be a(-24). Is y at least as big as 4/19?
False
Suppose -5*y + 58 = -72. Let z be (-39)/y - 11/(-6). Which is greater: 0 or z?
z
Let w = -0.3 + -1.7. Let z = 5 - 10. Let p = z + 0. Is p >= w?
False
Let u = -110.8 + 109.9. Which is bigger: -0.7 or u?
-0.7
Suppose -16*g + 420 = -10*g. Let a = -69 + g. Is -1/14 > a?
False
Let p(q) = -q**3 + 7*q**2 - 9*q - 2. Let d be p(4). Let u(y) = y**2 - 12*y + 22. Let m be u(d). Which is smaller: 26/11 or m?
m
Let r be (-1)/6 + (-158)/79. Which is smaller: r or -3?
-3
Let b = -0.01 - 0.02. Let u = 270 - 269. Does u = b?
False
Suppose 0*w + 16 = 2*w. Let i(l) = -3*l - 82. Let p be i(-33). Suppose 0 = m - 5*s - 29, 5*m - p = -3*s + 16. Which is smaller: m or w?
w
Let f(w) = -w**2 + 6*w - 1. Let k be f(6). Let i be (19 + -17)*8/124. Are i and k equal?
False
Let p = -434 - -434. Are p and -1/322 unequal?
True
Let i(q) = -5*q - 54. Let n be i(-5). Which is smaller: -4 or n?
n
Let p = 1438 - 1265. Is 175 greater than p?
True
Suppose -5*m - 1295 + 1300 = 0. Which is bigger: m or -1/1173?
m
Let g = 36 - 35.9. Let c = -17/11 + 641/429. Which is greater: g or c?
g
Let h = -0.87 + 2.07. Let m = h + -1.3. Are m and -0.9 non-equal?
True
Let y = 6166265/467 - 13204. Is 1 equal to y?
False
Suppose -11*b = -12*b - q - 33, 2*b + 74 = -4*q. Are b and -35 equal?
False
Let r = -4 + 9. Suppose -5 - 3 = -2*a + 4*l, -r*a + 11 = -l. Suppose 3*d - 15 = 0, -5*d + a*d + 15 = 2*v. Which is smaller: v or -2/9?
-2/9
Let n be 13 - (5 - (0 + 2)). Let u be (-4)/n + (-1184)/(-2760). Which is smaller: u or -0.1?
-0.1
Let n = -13 + 38. Suppose -o + 5*a + 1 - n = 0, -3*o + 3*a - 12 = 0. Is 32 greater than o?
True
Let q(x) = x**3 + 5*x**2 + 2*x - 5. Let s be q(-4). Suppose s = -2*k - 1. Let m = 4 + k. Is 1 greater than m?
False
Suppose -82 + 33 = -7*p. Let u(g) = -4*g - 16. Let i be u(p). Which is greater: i or -42?
-42
Let a(l) = -l**3 + 26*l**2 - 23*l - 52. Let h be a(25). Which is greater: -3 or h?
h
Suppose -7*u = -2*u - 3*w + 47, -5*w + 6 = 2*u. Let x be (-879)/1575 + 1 + 3/u. Is 1 at least x?
True
Let r be 0 + -2 - (-4 + -1). Let a = -9 + r. Let c(x) = x**3 - 14*x**2 + 28*x - 52. Let t be c(12). Which is smaller: t or a?
a
Let b(v) = v**3 - 5*v**2 + 70*v - 67. Let m be b(1). Let i = -2 - 6. Which is greater: i or m?
m
Suppose t = -4*b + 10, 9*t - 2*b = 13*t - 110. Which is greater: 2 or t?
t
Let b = 137 - 138. Is b > -11.7?
True
Let k(j) = -j**3 + 2*j + 7 - 7 + 7*j**2. Let v be k(7). Let b be (2/v)/(10/35). Is b less than -3?
False
Let u = 214 + -115. Let k = u + -491/5. Which is greater: k or -1?
k
Let q be 293/7 + 117/(-39). Is q equal to 39?
False
Let b(l) be the second derivative of -1/6*l**3 + 0 - 1/20*l**5 + l**2 - 11*l + 3/4*l**4. Let p be b(9). Which is smaller: -6 or p?
p
Let w be ((-80)/(-250))/(6/855*3). Let g = w + -643/40. Which is bigger: g or -2?
g
Suppose -32 = 334*f - 326*f. Which is bigger: -26 or f?
f
Let d be 2*2 - (-8)/(-8). Let r = -5 - -11. Let m(t) = -t**2 + 6*t - 2. Let l be m(r). Which is smaller: l or d?
l
Let x = -19.323 + 19.4. Which is greater: 1/3 or x?
1/3
Let c = -7.6 + -34.4. Let k = c + 42. Let d = -3/97 - -497/388. Do d and k have the same value?
False
Suppose -11*a + 7*a = -80. Let f be 3/15 + (-4)/a. Which is greater: f or -2/87?
f
Let r = 213 - 181. Is r at most as big as 2/7?
False
Let m = -89/120 - -3/40. Which is smaller: m or -0.22?
m
Let o = -1397 - -2009. Are o and 612 non-equal?
False
Let w = 1.51 + -15.11. Is 1 < w?
False
Suppose 0 = 3*n + 15, -s + 20 = 3*s - 4*n. Let d = 14561/13 - 1120. Which is greater: d or s?
d
Suppose -3*i = -5*t - 35, 21 = -4*t + 2*i - i. Let u be -10*t/(1168/131). Let s = u + 1/73. Is s at most 6?
True
Let l be (-1330)/(-245) - (-8)/14. Is 6 != l?
False
Let i = -174 - -368. Are -0.1 and i unequal?
True
Let a = -8/75 - -199/3975. Which is smaller: a or 0?
a
Suppose -4*v - 1933 = -953. Is v at most as big as -241?
True
Let z be 2/10 - (241/30 - 0). Let h = 17/2 + z. Is h greater than or equal to 1/2?
True
Let x = -14 + 10. Let w = -189.2836 + -0.7664. Let g = w - -190. Which is greater: g or x?
g
Let k(u) = u**3 + 7*u**2 + 7*u + 6. Let v be k(-6). Let n = -6149/171 - -326/9. Is n at most as big as v?
False
Let c be (-4)/26 + -671*(-18)/28314. Are -54 and c nonequal?
True
Let y be (7 + (-270)/40)*2*44. Which is smaller: y or 5?
5
Let i = 25 + -2. Let z = -33 + i. Which is smaller: z or 0?
z
Let z(v) = 5*v**3 + 101*v**2 + 26*v + 17. Let a be z(-20). Is -611/6 >= a?
True
Let o = -511 - -421.8. Let l = o + 89. Is l at least as big as -21?
True
Let x(t) = -t**3 + t - 28. Let v be x(-4). Is v less than 8?
False
Let z be 687/12 + 2/(-8). Do 111/2 and z have different values?
True
Let a = 12448 - 62046/5. Is a at least 40?
False
Let t(f) = -f**3 + 7*f**2 + 10*f - 12. Let z be t(8). Suppose 7*s - 9*s = -z. Let g = -2222/9 + 248. Is s smaller than g?
False
Let u = -151/7000 + -4/125. Is u not equal to -1?
True
Let o(m) = 5*m + 4. Let t be o(-2). Let y(b) = -3*b**2 + 8*b - 1. Let a(j) = 2*j**2 - 4*j + 1. Let g(p) = -5*a(p) - 3*y(p). Let n be g(-4). Is t at least n?
False
Suppose 39 = -g - 5*l + 59, l = -g + 4. Are -1/11 and g