*o - 5*k, -3*o + 4*k + 7 - 1 = 0. Let j = 8 - o. Suppose -l + 12 = j. Is 9 greater than or equal to l?
False
Let t(i) = -i**3 + 9*i**2 - i - 1. Let j be t(9). Let r be -2 - (j/(-2))/(-5). Is 0 at least r?
True
Let c = 3001 - 3003.137. Let u = c + 0.037. Let n = -1.8 - u. Is -1 >= n?
False
Let i = 20827/13 - 1603. Suppose y - 3 = -u, y + u = 3*u - 6. Which is smaller: i or y?
i
Let i = -7/10 + 8/15. Let l = -0.711 + 0.611. Which is smaller: l or i?
i
Let u(f) = f - 9. Let x be u(-7). Let b be (-3 - x) + 0 + -1. Suppose 3*a + 3*a = -b. Is -6/7 equal to a?
False
Let n be 1*(2 - (-3 - -6)). Let i = -27454/143 - -192. Which is greater: n or i?
i
Let u(i) = -i**3 + 10*i**2 - 13*i + 13. Let r be u(8). Which is greater: r or 6?
r
Suppose -3*s - 2*j - 2*j = 17, 2*s = -3*j - 12. Suppose -o - 2*o - 15 = 0. Let z be (-12)/o - s/5. Which is greater: 1 or z?
z
Let x = 168626442 + -3876334809/23. Let u = -89908 + x. Let m = 238 - u. Which is smaller: m or -1?
-1
Let f = 5/329 - -2028/18095. Let q = f + -31/165. Which is bigger: -1 or q?
q
Suppose 0 = 6*x + 3 - 3. Let n be ((-1346)/16)/(3/6). Let c = n + 167. Do x and c have different values?
True
Let n be (6/(-9))/(7/(-21)). Let o be 2 + n - 17/(-1). Let t be (7/o)/((-2)/4). Which is smaller: t or -13?
-13
Let s(u) = -u + 3. Let z be s(2). Let l = 4.975 - -0.025. Which is bigger: z or l?
l
Let o = 19 - 20. Let c be ((-16)/(-348))/o*3. Let z = c - 17/87. Is -1 smaller than z?
True
Let o(a) = 4*a - 37. Let t be o(10). Suppose -12 = 3*i, -2*s - 180 = -5*s - t*i. Are s and 63 unequal?
True
Let v = 22 - 33.25. Let g = -0.25 - v. Is 1/4 smaller than g?
True
Let s(f) = -3*f. Let v(m) = 4*m + 1. Let b(y) = 3*s(y) + 2*v(y). Let p be b(-13). Let x be (-10)/4*4/p. Is 0.2 equal to x?
False
Let w(g) = 38*g**2 - 13*g + 21 + 10 - 19*g**2 - 18*g**2. Let h be w(10). Which is smaller: h or 0.2?
0.2
Suppose -3*f - 142 = -5*f. Let d = f + -38. Let w = -101/3 + d. Is w at least as big as -2?
True
Let m be (-4)/(-14) - (-204)/(-28). Let d = m + 2. Let z = -53 - -46. Is z at most d?
True
Let f = 5.16 + -0.16. Let v = 4.79 - f. Let b = -0.79 + v. Which is greater: b or 20?
20
Let k be (-4)/24 - (-319)/(-174). Is -29/11 at least k?
False
Let i be 4/6*1 - -31. Suppose 59 + 69 = 4*b. Let v = i - b. Which is smaller: v or 1?
v
Let w = -1.6 + 1.31. Let s = w + 1.29. Which is smaller: 4 or s?
s
Let d be (1/2)/(119/(-68)). Let w = -2171703471/860 + 2525236. Let r = -1/172 + w. Which is bigger: r or d?
d
Suppose 5*f + 10 = 0, -3*f = -17*t + 14*t + 36. Which is bigger: 12 or t?
12
Suppose -2*u - 3 = -1. Let o be 10/12*(-9 + (-363)/(-40)). Is u equal to o?
False
Let r(k) be the second derivative of -k**4/6 - 7*k**3/3 + 7*k**2 + 7*k. Let y be r(-7). Are 15 and y equal?
False
Let i = -39 - -39. Let q = 1670/3 - 550. Let x = q + -146/21. Which is smaller: i or x?
x
Let n = 1158 + -1181.94. Let c = 7 + 17. Let a = n + c. Is -0.1 bigger than a?
False
Let x be (-52)/(-65)*(-10)/(-4). Suppose -2*o + 3*n + 16 = 0, 0 = -2*o + 5*n + x + 14. Which is smaller: -1/2 or o?
-1/2
Let z(v) = -7*v + 184. Let j be z(26). Which is bigger: j or 33/20?
j
Let b = -468 + 467.5. Which is smaller: 1/10 or b?
b
Suppose -3*f - 8 = -2*n, -3*f = -0*f - 4*n - 2. Let i be (-2)/f*(-15)/(-24). Which is bigger: i or -1?
i
Let y be -2 + (-2 - -4) + 3. Let m(k) = -k**2 - 13*k - 34. Let a be m(-6). Suppose 3*c - 5*n = a, -1 = 2*n - 5. Is y less than or equal to c?
True
Suppose -2*o = -2*r - o + 8, r = 2*o + 10. Suppose -20 = -3*n + c, -6*c - 20 = -2*n - 7*c. Let w be ((-15)/(-6) - 3)/((-4)/n). Is r less than w?
False
Let r = 0.9 - -7.1. Let p = r + -7.4. Let w = -0.5 + p. Is -1/5 != w?
True
Let d(f) = f**2 + 3*f - 5. Let p(h) = h**3 + 8*h**2 + 5. Let l be p(-8). Suppose -o = -0*o + l. Let t be d(o). Are t and 13/3 unequal?
True
Let j = 117 - 114. Is j smaller than 154?
True
Let f be (-1)/((2 - 3)/3). Suppose -5*j - 2*h - 25 = f*h, -4*j - 2*h - 28 = 0. Is j less than 0?
True
Let u = 63 + -58. Suppose 20 = -a - 4*r, -u*a = r - 4*r - 15. Is a at least as big as 1/75?
False
Suppose 0 = -65*u + 10*u + 2695. Are u and 52 equal?
False
Let w be (-36)/(-9) + (-333)/4. Which is greater: w or -80?
w
Let w = -1550 + 1602. Is w < 49?
False
Let a = 0 + 0.4. Let d = -0.612 - -0.65. Let z = d + -0.238. Which is greater: a or z?
a
Suppose 130*z = 125*z + 30. Which is bigger: 15 or z?
15
Let j(v) = -19*v - 18. Let t be j(-2). Is -6 smaller than t?
True
Let y = 136 + -120. Let w = y + -13. Is w less than or equal to 2/19?
False
Let l = 3.25 - 4.35. Which is greater: l or 2?
2
Suppose -2*n = 4*g + 28, -3*n = 5*g + 36 + 9. Let j be (4/(32/n) - -2)*8. Which is smaller: j or -13/4?
j
Suppose 10*r - 8*r = 126. Let y be ((r/(-2))/7)/(2/4). Is y smaller than -9?
False
Let m = -2932 - -108471/37. Is 1 smaller than m?
False
Let t = 24 - 23. Let a be (-4 + (6 - 1))*t. Is 4 bigger than a?
True
Let j(v) = -v**2 + 15*v - 13. Let s = 73 - 59. Let r be j(s). Are 1/115 and r nonequal?
True
Let n = -208 - -498. Which is greater: n or 288?
n
Suppose q + 2*h = 3*q, 3*q - h = 4. Suppose 2*o = q*a + 20, 3*a = o - 20 - 0. Suppose -u = -5*r + 21, -2*u + 34 = 5*r + 1. Is o > r?
False
Let t be 6477/635 + 22/(-2). Which is bigger: -52 or t?
t
Let g = -789 - -722. Which is smaller: -16 or g?
g
Let b(z) = z + 15. Let g be b(0). Let d = 15 - g. Let u(j) = -2*j - 1. Let q be u(-3). Is q greater than d?
True
Let k = 197/4 - 50. Suppose -4*l + 18 = -j - j, -7 = 4*l + 3*j. Suppose 0 = -l*m + 10 - 14. Are k and m nonequal?
True
Let s = -163 + -393. Which is smaller: s or -554?
s
Let b(x) = -x**2 - 15*x + 4. Let g be b(-15). Suppose -r = -g*r + 30. Let p = r - 21. Is p < -10?
True
Let x = -1 - 2. Let a(p) = -p**2 + 28*p. Let s be a(28). Suppose 2*u + 6 - 10 = s. Which is smaller: x or u?
x
Let c be (-1240)/837 + (-4)/(-3). Is -1 less than or equal to c?
True
Suppose 2*z - 4*q - 10 = 0, -5*q = 5*z + 11 + 9. Let h = 245 - 247. Is z < h?
False
Let n = -4 + 16. Let y = n - 4. Let k(r) = -r**2 + 10*r - 9. Let x be k(8). Which is smaller: x or y?
x
Let r be ((-86)/215)/(2*2). Is -1 > r?
False
Let r(p) = 4*p - 22. Let v be r(13). Let a = 29 - v. Which is bigger: 0 or a?
0
Let r = -15/238 + 64425/2618. Which is greater: r or 25?
25
Suppose -144*x + 10 = -149*x. Let u = 1 - 1. Let i = u + x. Is 0 bigger than i?
True
Let g = 488 - 760. Which is smaller: -1 or g?
g
Let u(y) = 63*y - 51. Let i be u(3). Is i bigger than 139?
False
Let o(p) = 3*p**2 - 116*p + 12. Let m be o(40). Is 173 equal to m?
False
Suppose 5*d = l, l + 9 = -7*d + 3*d. Suppose 4*z = -2*t + 16, 4 = 2*t - t + z. Is d at most t?
True
Let t be 8/6 + -3 + 1. Let q = 4 + 0. Let x be 99/(-117) - q/26. Is x greater than t?
False
Let y = -87 - -75. Is y >= -61/5?
True
Let s = -82 - -146. Let l be (s/40)/(4/10). Suppose -2*r + 5*z - 18 = 0, -l*r - z - 2*z - 36 = 0. Which is greater: -8 or r?
-8
Let u = -349 + 323. Which is smaller: -99/4 or u?
u
Suppose 9 = -j + 3. Let k be -2*(-6 - -3)/j. Is 2/55 bigger than k?
True
Let g = -419.9 - -375. Let k = -48 - g. Is 1/2 greater than k?
True
Let s be (-4)/(-2)*(-2)/(-4). Let w = 2 - s. Let k be ((-3)/(-3))/((-357)/42). Which is smaller: w or k?
k
Suppose 4*b + y = 208 - 558, -3*b + 2*y = 268. Which is smaller: -90 or b?
-90
Let b = 20 + -181/9. Let w(o) = o**2 + o + 9. Let x be w(0). Let a be (6/x)/(2/(-3)). Is b != a?
True
Let q = -26 + 103/4. Let u = 22.43 - 22. Is q < u?
True
Let i be (-5)/5 - 34/(-28). Let k = i - -2/7. Let v = 21.9 + -22.01. Which is bigger: k or v?
k
Suppose 0 = -3*h + 5*g - 169, 2*h - 7*g + 101 = -6*g. Is -50 >= h?
False
Suppose 5*g = -4*t + 24, 3*t + 39 - 26 = 4*g. Which is smaller: g or 30/7?
g
Let f = 76 - -89. Suppose 0 = k + 4*k + f. Is -33 at least as big as k?
True
Let f = -32 - 72. Is -103 not equal to f?
True
Let j(o) = 2*o**2. Let x be j(-1). Suppose -25 = x*t + 3*t. Suppose 11 = -43*d + 42*d - 5*u, 0 = -4*d + 3*u - 21. Is t not equal to d?
True
Let h be -2 - (11 + -12)*(-3)/(-3). Which is smaller: -30/77 or h?
h
Suppose -4*u = -3*i + 5*i + 102, 2*u = i - 49. Let o be (u/(-20) - 0) + -1. Is o at most as big as -9?
False
Let g = -213 + 201. Which is smaller: g or -25?
-25
Suppose 3*s = 2*y - s + 36, 0 = 4*y - s + 86. Let q = y - 45. Which is smaller: -68 or q?
-68
Let f = 3 - 4. Let n be -2 - ((-3)/1 - -9