
Let o be -4*((-3)/1 + -13). Let k = o + -257/4. Which is smaller: k or 2?
k
Let c = -2 + 35. Is 32 equal to c?
False
Let f be 0/(2 + 0 + 0). Suppose -c = -f*c. Is c < -1/5?
False
Let o = -5 + 10. Suppose 0 = -i + o*c + 3, 5 = -i - 5*c - 2. Which is greater: i or -1?
-1
Suppose -25 = -4*g + 3. Is 10 at least g?
True
Suppose 0 = -3*k + 18 + 87. Which is smaller: k or 34?
34
Suppose 3*v - v + 2 = 0. Let c = -0.07 + -0.13. Which is smaller: c or v?
v
Let p = -0.6 - -0.1. Suppose 0 = -3*m - 5 + 2. Is m at most as big as p?
True
Let r be (-15)/(-28) + (-1)/4. Let d = 9.92 - -0.08. Let i = 10 - d. Is i at least r?
False
Let r = -0.6 + 0.8. Is r smaller than 17?
True
Suppose 3*x - 40 = -10. Is x greater than or equal to 10?
True
Let t = 1 - -3. Suppose 0 = -5*k + c + 17, -c + t*c = 5*k - 11. Let h be (k - 1)/((-3)/2). Which is smaller: -3 or h?
-3
Let v = -0.01 + 4.01. Let c = -4.9 + 0.9. Let q = c + v. Which is bigger: 2/5 or q?
2/5
Let q = -6 - -10. Suppose x - 4 = 4*x + q*c, -c - 2 = x. Let v be 11/4 - 1/x. Which is greater: v or 4?
4
Let c = 0.33 - 0.23. Is -14/11 <= c?
True
Suppose -4*z - 8 = 2*v, 7*z - 4*z + 2*v = -6. Let k be (-345)/(-27) - z/9. Is k < 0?
False
Let s = 127/469 + 1/67. Is 22 at least as big as s?
True
Let w = -0.4 - -10.4. Let u = -9.9 + w. Does u = 2/7?
False
Suppose 2*m - 6*m = -44. Suppose 2*j + 6 = 4*d, 2*j + m = -0*d - d. Is d less than or equal to -4/5?
True
Suppose -n = -d + 4, 3*d - 9 = 2*n + 2*n. Let g(s) = s**3 + 11*s**2 - 17*s - 52. Let t be g(-12). Is t < d?
False
Let f = -0.145 + 17.245. Let s = f + -17. Which is bigger: -0.9 or s?
s
Let b be 2/(-8) + (-7179)/132. Let g = -55 - b. Is g at most 0?
True
Suppose 0*y - y + 5 = 0. Suppose -y = -4*l - l. Let b be -2 + -1 + (-17)/(-6). Which is smaller: b or l?
b
Let c be 8/6 + 12/(-30). Is c != 1?
True
Let l = 82 - 142. Let z be 3/315 + (-8)/l. Are z and -1 non-equal?
True
Suppose 9*z + 2 = 10*z. Let f be 0/(z + 1 - 0). Suppose f - 6 = -3*w. Is 1 equal to w?
False
Let v = 2 + -1.05. Let i = -0.05 - v. Which is greater: 1/5 or i?
1/5
Suppose -3*i = 7*i + 220. Is -21 equal to i?
False
Let i(d) = -3*d + 3. Let l be i(-3). Which is greater: l or 32/3?
l
Let s = 11 + -21/2. Suppose 3*o + 4*i + 4 = -0*i, -5 = 3*o + 5*i. Is s at least o?
True
Let r(d) = -5*d + 6*d + 1 - 3*d. Let o be (-4)/(-18) + 7/9. Let l be r(o). Do l and 1 have the same value?
False
Let t = -519 - -1423. Let u = t - 97631/108. Let c = u + 103/540. Is 0 < c?
True
Let s = -4 + 0. Let f be 11/2 - (s - -8). Which is smaller: -5 or f?
-5
Suppose -5*x + 3 = -3*b, -4*x + 8 = 2*b + 32. Is -1 < b?
False
Let n = 77 - 87. Is n >= -10?
True
Let t be (4/(-6))/(12/18). Are -1/50 and t unequal?
True
Let g = 0.1 - -0.9. Let d = -17564728/156429 + -2/22347. Let w = -112 - d. Which is greater: g or w?
g
Let p(r) = r - 3. Let c be p(-3). Let b = c - -2. Let z be (2*-1)/(b/(-6)). Which is smaller: -1 or z?
z
Suppose n - 10 = -4*n. Let l(h) = -h**2 + h + 1. Let j be l(n). Let x = 2 - 2. Is x at most j?
False
Let r be (-3 + 2 + 1)*-1. Suppose f = -0*f + 2. Let w = f - r. Is w != 1?
True
Suppose 0 = -2*v + 5*h + 23, -h + 25 = -6*h. Let t be 4/10 + (-49)/35. Is t greater than v?
False
Let f = -308/1467 - 2/163. Let c(m) = -16*m + 19. Let t(j) = 3*j - 4. Let a(y) = 2*c(y) + 11*t(y). Let w be a(6). Which is smaller: w or f?
f
Let a be 17/102*(-3 - 0). Is a >= 0?
False
Suppose -12*w + 46 = 11*w. Let u be 6/(-3) - 22/(-6). Is w < u?
False
Suppose 71 = 2*o - 0*u + u, 74 = 2*o + 4*u. Suppose 0*y + o = 5*y. Suppose -3*b + b + i + 18 = 0, 4*i + 8 = 0. Is b less than y?
False
Suppose o + 2*o = 5*z + 20, -3*z - 34 = -4*o. Let a be (-4)/o*(2 + 3). Let w be (a/(-4)*2)/(-8). Which is smaller: 1 or w?
w
Suppose u = 3*u - 38. Let z = -19 + u. Is 1 <= z?
False
Let z be -2 - (-212)/44 - (-4)/22. Let i(b) = b + 4. Let y be i(-5). Let g be -3*y/3 - -3. Is g greater than z?
True
Let n = 0.2 + 0.3. Let i = n - 0.4. Is i less than 2/9?
True
Suppose -5*s = -s + 2*f, -6 = -4*s - 5*f. Let y(i) = -i**2 - 13*i - 13. Let m be y(-12). Let z be (m - s)/(-3 + 1). Is z bigger than 1?
False
Let z = -2 - -2. Is 0 > z?
False
Suppose -3*n + 5*s - 1 = 0, 6 = 4*s + 10. Let m = -37/2 - -18. Which is smaller: m or n?
n
Let j = 24 + -12. Let z = j + -13. Is z less than 8?
True
Let v be -2 + 8 + (-2 - 0). Let u be (-40)/42 - v/(-14). Suppose 25 = -l + 5*z, -5*l + 2*z - 10 = -0*z. Which is smaller: u or l?
u
Suppose -5*q = -4*p - 67, -58 = -5*q + 5*p - 4*p. Let m(v) = v - 13. Let h be m(q). Are -0.3 and h non-equal?
True
Let n = 9 + -7. Let t be (n/(2/(-3)))/(-1). Is 1 at least t?
False
Let o = 2 + -4. Let p = 0.4 - -1.63. Let q = p + -0.03. Is q at least o?
True
Let n = 0 + -1. Suppose -3*b = 2*b - 55. Let h = b + -12. Is h bigger than n?
False
Suppose 0 = 2*d - 1 - 9. Suppose -d*j + 4*k - 10 = 0, 1 = -4*j - 2*k - 7. Is j < -2?
False
Let o(z) = -z**2 + 7*z - 3. Let m be o(7). Suppose 4*y - 5*l = -20, -2*l + 7 + 1 = -4*y. Suppose 0*j - j - 2 = y. Which is bigger: m or j?
j
Let o(i) = i**2 + 5*i + 7. Let y be o(-5). Is y equal to 2?
False
Let m = -57/2 + 1513/30. Let t = m + -67/3. Is 0 > t?
True
Let p = 204 - 200.94. Let g = p + 0.84. Let q = g - 4. Which is greater: 0.3 or q?
0.3
Let t be (-9)/(180/(-8))*-5. Is t <= -9?
False
Suppose -4*j + 2 + 2 = 0. Let y be 118/10 - (-1)/5. Let h be -1*y/5 + 2. Which is smaller: h or j?
h
Let v(w) = w + 22. Let l be v(-23). Which is smaller: 93 or l?
l
Suppose 4*n + o = 4, -5*o = n - 4*n + 26. Let a be (-16)/(-72) - n/9. Suppose 2*z - i + 0*i - 4 = a, -3*z - 5*i = 7. Is 2 less than z?
False
Let g(u) = -2*u**2 + 6*u - 1. Let s be g(4). Let z(o) = o**3 + 13*o**2 + 3*o + 30. Let a be z(-13). Is a at least s?
True
Let n = -16 - -79/5. Is 1 less than or equal to n?
False
Let n = 0.083 + -4.983. Is -2/5 not equal to n?
True
Let j(d) = d**2 + 2*d - 14. Let i be j(-6). Is 11 at most i?
False
Let p = -38 - -14. Is -1 smaller than p?
False
Let c = -131 + 144. Which is smaller: c or 8?
8
Let n = 25/6 - 14/3. Let q(v) = -6 + 6 + 2*v + v**2. Let s be q(-1). Is s bigger than n?
False
Let n be -3 + -4*(-3)/6. Let k = 0 + n. Let u = 535/8 + -133/2. Which is smaller: k or u?
k
Let c = -5 + 3. Let k be c/(-9) + (-6)/27. Is k smaller than 2/17?
True
Let p = 21.5 + -22. Is 0.2 bigger than p?
True
Let i be 0*((-9)/(-6) + -2). Suppose i = 6*h - 3*h - 6. Which is smaller: 3 or h?
h
Let u be ((-21)/(-15))/(12/(-15)). Which is greater: -3 or u?
u
Let d = 27 + -28. Let g be (-6)/15 - 3/5. Let x be (-1)/2*(-1 - g). Which is smaller: d or x?
d
Let u(r) = r**2 - 5*r + 12. Let z be u(6). Is z smaller than 17?
False
Let f be (2/2)/(6/(-18)) - 13. Are f and -18 unequal?
True
Let n be (-6)/10 + (-328)/(-280). Suppose 2*f - k + 0 = 1, 5 = -5*f + 5*k. Is f equal to n?
False
Suppose -20 = 4*f + 4*p, -f - 2*f + 3*p + 15 = 0. Is 1/3 less than or equal to f?
False
Let y = -6.88 - 0.12. Let t = 6.95 + y. Is 0 at least t?
True
Let p = -10/33 - -16/33. Suppose -r + 2 = 0, l + 3 = -4*l - r. Is l less than p?
True
Let i(k) = 8*k**2. Let h be i(-1). Let z = 10 - h. Suppose -3*f - q - z*q = 18, -3*q = -3*f + 12. Which is smaller: f or 1/6?
f
Let f(l) = -2*l**2 + 47*l - 11. Let u be f(23). Is 12 <= u?
True
Suppose -10 = -3*y + 269. Let h = -65 + y. Let c = h + -57/2. Which is smaller: 0 or c?
c
Let b(u) = u**2 - u - 1. Let l be b(-2). Let c(v) = -v + 7. Let h be c(l). Let i = h - -1. Which is bigger: 4 or i?
4
Let g = 28 + -19. Is g smaller than 9?
False
Suppose -3*h + 457 = -5*a + 30, -3*a + 133 = h. Let s be (-4)/(-12) - 2917/21. Let u = h + s. Which is smaller: u or 0?
0
Let a be 2/((-3)/6 + 0). Let j be (a/(-10))/((-1)/5). Let q = -2 - -1. Which is smaller: j or q?
j
Let c be (1/2 + -1)*-4. Let d(b) = 3 + c*b - 4 + 4. Let g be d(-3). Are -4 and g nonequal?
True
Let n(v) = -2*v - 9. Let p be n(-8). Let r be 2*(p/2 - 3). Is r not equal to 3/7?
True
Let t = -279 - -274. Let y = 7 - 10. Is y > t?
True
Let r be 5/6*(-16)/(-10). Suppose 0 = -y + 6*y - 2*x + 11, 0 = -5*y - 4*x - 23. Let i = -3 - y. Which is bigger: i or r?
r
Let f(u) = -u**3 + 13*u**2 - 7*u - 2. Let z be f(11). Let w = -1469/9 + z. Is 0 smaller than w?
False
Let d(q) = q**3 + 22*q**2 + q - 12. Let u be d(-22). Is u >= -1?
False
Let r be (-5*1/(-5))/7. Is 0.11 greater than or equal to r?
False
Let o = 8 - 13. Let 