 - 1/t)*-3. Suppose -h*a = 4*k - 25, 8*k - 3*k - 4*a = 70. Do k and 9 have the same value?
False
Let u = -0.45 - -0.55. Let g = u - 0.2. Is 5 at most as big as g?
False
Let u = -188207392601/6076 + 30975542. Let n be (2 - 0)/(496/14). Let d = n - u. Is 1 smaller than d?
False
Let o = 19 - 25. Is -10 bigger than o?
False
Let q be 3 - (-4 - -5)*1. Let k be (q - 0)/((-3)/(-9)). Let v be ((-4)/6)/((-76)/k). Which is bigger: -1 or v?
v
Let a(n) = n**2 - 10*n + 1. Let s be a(10). Let t be 3 - s - (0 + -93). Let x be 10/(-12)*(-38)/t. Which is bigger: -0.07 or x?
x
Suppose -1784 = -5*v + 6*l - 2*l, -4*v - l = -1444. Is 360 greater than or equal to v?
True
Suppose 7*n - 14 = 5*n. Let y be (-21)/(-3) + -3 + 2. Do y and n have the same value?
False
Let v(l) = 2*l - 2. Let j be v(4). Let r be (j/(-8))/((-2)/24). Let o = r - 7. Which is smaller: o or 3?
o
Let d be (-3)/(-65) + 12/(-60). Suppose 120 = -4*l + 2*l. Let b = l - -239/4. Is d smaller than b?
False
Suppose -r + 9 + 0 = 0. Suppose -5*g = 5*z + 15, 5*z = -6*g + 4*g - r. Which is smaller: g or -10/13?
g
Let y be 33/77*(-2)/(-3). Let m = -0.39 - -11.39. Which is bigger: y or m?
m
Let q(p) = p**3 - 6*p**2 + 6*p - 6. Let f be q(5). Let z(y) = -1. Let c(r) = -r + 4. Let i(n) = -c(n) - 5*z(n). Let v be i(f). Are v and 1/13 nonequal?
True
Let u = 7 + -1. Suppose -u*r = -r - 55. Suppose -5*m = 4*k + 41, 2*m = -3*k - 18 - r. Which is greater: k or -10?
k
Let i(p) = p**3 - 12*p**2 - 14*p + 17. Let v be i(13). Let z be -3 + v + -3 - -3. Let k = -181/5 - -188/5. Do z and k have the same value?
False
Let s = 54 - 65. Let w = s - -20. Which is bigger: w or -2?
w
Let w(t) = -t**3 - 14*t**2 + 18*t + 18. Let i be w(-15). Let j = 595 + i. Let g = j + -26698/47. Which is bigger: g or 1?
1
Let x = -24 + 35. Suppose -n + 10 = x. Suppose -d + 5*u + 5 = 0, 3*d - 3*u - 1 = 2. Is n < d?
True
Let t be 32/(-63) - 14/(-49). Let r = 1/45 + t. Let c = -195 + 195. Is r < c?
True
Let t = 5080/9 - 568. Which is greater: -3 or t?
-3
Let b = -5 - -4. Let i be b*(2 - (2 + -1)). Let n = 28 - 30. Is i < n?
False
Let d = -6655 - -58505/9. Let n be 22*1*(-14)/2. Let b = n - d. Which is bigger: 0 or b?
b
Let i be (-3)/(-12) + 45/(-20). Let y be 24/18 + 1*i. Let c = -0.01 - -0.31. Is c >= y?
True
Let l = -10 + 18. Let g(u) = 1 - 3*u**2 + 0 + 2*u**2 + 4*u + 3*u**2. Let j be g(-3). Do j and l have the same value?
False
Suppose 20*m - 70 + 590 = 0. Is m at least as big as -29?
True
Suppose 2*b - 190 = -5*n - 75, 2*b + n = 119. Let o = b - 40. Let w be (-3)/7*o/6. Is 0 greater than w?
True
Suppose 2*q - 5*z = 6*q - 9, 4*z - 4 = 0. Are 1/1083 and q unequal?
True
Let x be (-2 + 2)*2/2. Let s = x + -10. Let k(f) = f + 9. Let g be k(s). Is g > -7?
True
Let f = -1356 + 6778/5. Suppose 3 = 3*n - 3. Suppose c = -n*c. Which is smaller: c or f?
f
Let w(h) = -h + 10. Let v be w(6). Suppose 0 = v*a + a - 105. Let r be 52/14 - (-6)/a. Which is bigger: 5 or r?
5
Let u = 307316/7 - 44061. Let v = -293 - -134. Let f = v - u. Do f and 0 have the same value?
False
Let v = -18 + 4. Let m be (-32)/v - (-18)/(-63). Suppose -b = -m - 2. Is b > 5/2?
True
Suppose -k = -7*k + 270. Suppose -5*w + p - 2*p + 75 = 0, -k = -3*w + 3*p. Is -1 > w?
False
Let a = -59 - -75. Let f = a - -1. Let t = 1 - 0. Is t > f?
False
Let y = -0.75 - -3.85. Let w = y - -3.9. Does -1 = w?
False
Let n be 8*2/(-2) + 1630. Which is smaller: n or 1621?
1621
Suppose 3*l = 180 - 129. Is l bigger than 17?
False
Let j be 6*(-104)/(-216)*(10 - -2). Suppose 0*h = -5*z + 2*h + 170, -4*z + 136 = 3*h. Which is smaller: j or z?
z
Let p = 11 - 14. Let v(x) = -x**3 - 4*x**2 - 4*x - 1. Let i be v(p). Suppose -i*k - 15 = 3*w - 4*k, 0 = 4*k. Which is smaller: w or -4?
w
Let u(l) = -l**3 + 6*l**2 - 5*l - 4. Let c be u(5). Suppose -w + 15 = -3*n, 5*n - 5*w = -3*w - 24. Is n at most as big as c?
True
Let a = -3.5 + 3. Let x = 569.9 + -569.1. Is a <= x?
True
Let s = 0.16 + -0.26. Let r = 17 + -20. Let h be r/9*30/9. Is h >= s?
False
Let r = -0.141 - 55.859. Let y = r - -56.03. Is -1/4 > y?
False
Suppose 15*k + 9*k = -4776. Which is smaller: -198 or k?
k
Suppose 0 = -3*u + 5*s - 129, 0 = 4*u + 4*s - 1 + 141. Suppose 5*m = -47 - 148. Is u equal to m?
False
Let r = 379 - 381. Let k be (-1)/4 + 34/8. Let q be 0 + (-18 + k)/r. Is q <= 7?
True
Let w = -276 - -222. Is w less than 3?
True
Let g = -51 - -49. Let m be (15/(-6))/5*(g - -4). Let b be 1 - (0 + 2)/1. Is b smaller than m?
False
Suppose 11*q - 17*q = 6. Let a be 15/(-9)*q*4/(-10). Do a and -2/15 have the same value?
False
Let t = -3 + 5. Suppose 0 = t*y - 2. Suppose 9 = 4*h - 3*c, -8 = -2*h - 2*c - 0. Which is smaller: h or y?
y
Let t = 11.72 + -0.22. Let j = -1.2 - 1.3. Let v = t - j. Which is smaller: 0 or v?
0
Let m(r) = 5 + 5*r**2 - 17 - r**3 + 10*r + r. Let o be m(7). Is o greater than -32?
False
Let m = 120 - 101. Let w be (0 - 2)*(-644)/69. Is m != w?
True
Let v = -0.4 + 1.9. Let k = -1.1 + v. Let r = -0.06 + 2.06. Which is smaller: k or r?
k
Let y = -661 - -675. Which is smaller: y or 47?
y
Let w = 356 - 221. Suppose 49*u = 46*u - w. Which is greater: u or 0?
0
Let q be (-2)/11 - (-18)/(-22). Let x = 7.7 - 5.1. Let f = 2.73 - x. Which is smaller: f or q?
q
Let t be (40/(-35))/(3/(-287)). Let c = 107 - t. Let j = -8 + 5. Which is bigger: j or c?
c
Let q be (1 + 3/(-5))/((-126)/70). Which is smaller: q or 6.43?
q
Let s = 0.15 + -37.15. Let l = s + 38. Is l at least 35/6?
False
Let s(w) = w**3 + 2*w**2 - 4*w - 123. Let z be s(0). Which is bigger: z or -491/4?
-491/4
Let z = -1024 + 992. Which is bigger: -12 or z?
-12
Let a(w) = w**3 - 12*w**2 - 14*w + 41. Let v be a(13). Is 26 >= v?
False
Suppose 6 = -u + 2*u. Let h be (-172)/u + 6/9. Let g = -28 - h. Which is bigger: g or 0.7?
0.7
Let a = -90 + 72. Let q be (a/(-840))/((-4)/(-16)). Which is greater: q or 0?
q
Suppose 222*d = 226*d + 440. Which is greater: -109 or d?
-109
Let z(o) = -16*o + 1. Let h be z(-3). Let w(a) = a**3 - 9*a**2 - 32*a + 270. Let r be w(10). Is h at most r?
True
Suppose -4*i + 2*h = -2, 0 = 2*i - 0*h - 4*h - 16. Let q(x) be the third derivative of x**5/60 - x**3/3 + 3*x**2. Let w be q(i). Which is smaller: 10/9 or w?
10/9
Let z(u) = -u**2 - 10*u - 8. Suppose 0 = 5*x + 4*q - 23, -3*q = -4*x - 3 + 40. Let g = x - 16. Let s be z(g). Which is greater: 4 or s?
4
Let z = 2392/453 - -3054122/11325. Let y = z + -275. Is y greater than 1?
False
Let r = 263 + -230.3. Let x = r - 34. Is 2 at least x?
True
Suppose -7*r + 4*r - 2*a - 79 = 0, 5*r + 3*a + 132 = 0. Is r at most -28?
False
Suppose 4667 = 9*j - 22*j. Which is smaller: -355 or j?
j
Let v(j) = j**2 - 3*j + 4. Let d be v(5). Let s(y) = -y + 1. Let t be s(-8). Suppose -3*o = -b - d, o + 0*o - t = -4*b. Are b and 9/4 unequal?
True
Suppose -9 = -4*s - 1. Suppose -s*c = -0*c. Is 0.1 at least as big as c?
True
Let v be (-4)/10 - 448/(-20). Let g be (1 - 3) + 40/v. Suppose -u + 2 = 0, -2*x = 5*u - 2 - 10. Which is bigger: g or x?
x
Suppose 4*m + 3*i - 34 = 8*i, -3*m + 39 = 3*i. Is 37/3 < m?
False
Suppose -37 = 2*h + 5*j, 0*j - 48 = 3*h + 5*j. Let d be -4 - (-7 + -3 + 6). Suppose -q + d*q = 12. Which is smaller: h or q?
q
Let g(l) = 4*l - 5. Let d be g(2). Let i(v) = -5*v - 3. Let b be i(d). Let o be (b/(-4))/((-132)/(-16)). Which is smaller: o or 2?
o
Let z be ((-438)/(-9))/(3 - 42/18). Is 72 at least as big as z?
False
Suppose h - 19 = 8. Suppose 0 = -2*o - n + h, -n - 26 = -2*o - 5. Which is smaller: o or 38/3?
o
Let l = 81.187 - -2.103. Let n = -82 + l. Let r = n + -0.09. Which is bigger: -1/2 or r?
r
Let s = -0.113 + -0.227. Let g be 1*(36/16)/(-9). Which is smaller: g or s?
s
Let i = -3.25 - -0.55. Let c = 6.7 + i. Let o = -2 - -2. Which is smaller: c or o?
o
Let o be 2 + (-5 - -2 - -4). Suppose v = -r - 8, 3*v = -o*r + 7*v - 17. Are r and -10 unequal?
True
Let s = -3.2 + 3. Let h be -1 + 2 - 189/210. Let q = h + -3/10. Is s at most as big as q?
True
Suppose 24 = -2*s - 4*p, -3*s - 26 = 2*p - 2. Suppose -19 = 5*m - 2*k, -5*m + 5*k - 16 = -3*m. Is s >= m?
False
Let q(y) = y**3 + 7*y**2 + 12*y + 1. Let d be q(-4). Suppose -140 = 2*s + 5*m, 0*s - m = -s - 77. Let v = 599/8 + s. Which is greater: d or v?
d
Suppose 67*y + 1467 = 76*y. Is 161 < y?
True
Let v = 135.7 + 50.3. Which is smaller: v or -6?
-6
Let c be ((-120)/28)/((-8)/112). Which