True
Suppose 4*c + 16 = 0, 2*c - c - 10 = 2*r. Let j be 2/r - 171/(-133). Is j != 4?
True
Let s be (-25)/(300/1968) - -4. Is -162 at least as big as s?
False
Let i be ((9/(-4))/(-1))/(5/360). Is i at most as big as 162?
True
Let y be 3/(-6) - (-38)/20. Let s be ((-1)/(-4))/(13/572). Let m = -11 + s. Which is smaller: m or y?
m
Let j = 15 - 15.1. Let a = -7.052 - -0.052. Let f = 13 + a. Is j > f?
False
Let z = 26 + -23.7. Let q = 1.3 - z. Suppose 0 = 3*g - g + 4. Is g smaller than q?
True
Let i = -3 - -2. Let r be -3*5/(-15)*8. Let p be ((-6)/r)/((-21)/28). Which is bigger: i or p?
p
Let v(y) = y**3 + 4*y**2 - 13*y - 7. Suppose -8 = -4*l, 2*i - 2*l + 1 = -15. Let p be v(i). Let r be 2 - (-3 + 706/142). Is p smaller than r?
True
Let y be 52 - (-1 - 0)/((-4)/(-12)). Let j = y + -56. Which is bigger: -9/14 or j?
-9/14
Let s(l) = -5*l**2 + 12*l + 6. Let z(j) = j**2 - j - 1. Let t(c) = s(c) + 6*z(c). Let g be t(-7). Suppose -3*w + 2 = -g. Is 0 smaller than w?
True
Suppose 0 = w - 2 + 3. Let a be 6*((-8)/(-6) - 1)/(-1). Do w and a have the same value?
False
Let t be 131/(-297) - (-104)/572. Is t at least 0?
False
Let c = 199 - 95. Is 106 < c?
False
Let r = 200 + -167. Are r and 34 nonequal?
True
Let h be (3/72 + 0)/((-27)/54). Is h less than 0.02?
True
Suppose 2*r = -2*m - 4, 4*r + r = -2*m + 5. Let w be (r/(-6))/((-39)/60). Are w and 1 equal?
False
Suppose 5*h + 54 = 8*h. Let r be (h/(-210))/(2/5). Is r less than or equal to 1?
True
Let f be -1*207/(-19) + 12/114. Let h = 15 + -13. Which is greater: f or h?
f
Suppose 0 = 2*l - f + 25, -4*l - 4*f - 28 = 40. Let o be (3456/(-42))/(-8) + (-4)/l. Which is smaller: o or 10?
10
Let u be (4/3)/(96/(-27) + 4). Let s be (-1)/(-7) - 8/7. Let z = s - -3. Which is smaller: z or u?
z
Let i be 0/2 - (-19 - 14). Suppose -69*z + i = -70*z. Is -33 > z?
False
Let c = -201.8 + 236.92. Let x = 0.88 + c. Which is greater: -1/4 or x?
x
Let c(z) = -z**2 + 5*z - 6. Let d be c(3). Suppose d = y + 4*y. Is y greater than 4/11?
False
Let y be 70/(-15)*-3 - (0 + -3). Is 26 equal to y?
False
Let h be 6512/12*(1 - -2). Let o be 340/h + 2/(-11). Is o <= 0?
False
Let g = 0.0452 - 10.0452. Which is bigger: -6/11 or g?
-6/11
Suppose 5*d - 24 = 61. Let a(x) = -30 - 17*x**2 + 7*x - 4*x + 16*x + x**3. Let o be a(16). Which is bigger: d or o?
o
Let v = -70 + 65. Let m = 10 + 8. Let a = 14 - m. Is a at least v?
True
Let m = -86 + 88. Let k = m - 2.04. Let c be -2 - 4/6*-4. Is c greater than k?
True
Let m be (-36)/9*(-2)/244. Let o be (2/6)/(4/(-12)). Which is greater: o or m?
m
Let k(t) = -t**3 - 8*t**2 - 4*t + 22. Let r be k(-7). Let f = 1361/7 + -194. Is f at most as big as r?
True
Let v = -2767/28 + 397/4. Which is smaller: v or 0?
0
Let v(h) = h**3 - 10*h**2 + 4*h + 23. Let d be v(9). Which is smaller: d or -20?
d
Let t = -0.029 - 37.771. Let m = t - -38. Which is greater: m or 14?
14
Let s be 8/12*3/12. Is -1.7 bigger than s?
False
Let j = -0.0723 - -10.0723. Which is smaller: 7 or j?
7
Let b(n) = -3*n - 10. Let d be b(-9). Suppose -4*z - 3*r = -65, 47*z + 4*r = 51*z - 44. Is d >= z?
True
Let r = 786 + -786.67. Which is greater: -2 or r?
r
Let x = 7 + -24. Let m = x + 17.11. Let q = 0.21 - m. Which is smaller: 9 or q?
q
Let j(x) = -x - 1. Let o be j(-2). Suppose -7 + o = v. Suppose 10 = -5*m - 5*f, 4*f = -3*m - f. Which is bigger: m or v?
m
Let v = 174 - 521/3. Let s be (-30)/4 + (-2 - -2). Which is greater: s or v?
v
Let p be 61/6 + 3/(-18). Let d be 11/(-4)*(-12)/3. Is d smaller than p?
False
Let b be (-232)/(-768) + 3/(-9). Is b smaller than -1?
False
Let h = -528/7 - -75. Suppose 12 - 10 = -b - 3*d, 0 = b + d. Which is bigger: b or h?
b
Let t be (-40)/(-14) - (-6)/42. Let c be 4*t/18*-6. Let k be 0/(1/(c/(-4))). Is 0 less than k?
False
Let v be -14*2/(-8)*-10. Let k be -1*(v/(-4))/(-5). Which is greater: 2 or k?
2
Let t(h) = 2*h + 4. Suppose 5*c = 5*v - 2 + 27, 2 = -v. Let q be t(c). Suppose q = p + 7. Is 3 less than or equal to p?
True
Let x(k) = k + 1. Let j be x(-8). Let o be (-2 - -1) + -1 + 10. Let z = o + j. Is 0.2 at least z?
False
Let p = -155 - -155. Is p greater than 5/4?
False
Let l = 43261/23387 + -32/257. Let a be ((-1)/14)/(2/44). Let r = l + a. Is r > -1?
True
Suppose 3*b + 2 = 2*b. Let a be 112/21 + b/(-3). Let k = 7 - a. Do k and 1 have the same value?
True
Let a be 85/25 + (-15)/(-25). Suppose 5*z + 2*m + a = -4, z = 3*m - 5. Let j be ((-1)/(-2) + -1)*0. Is z != j?
True
Let m be (-2)/14*(4 + -8)/(-52). Which is smaller: 0 or m?
m
Suppose t = 3*t + c - 9, -5*t + 4*c = -55. Let l(y) = -3*y + 1. Let i(k) = 2*k - 1. Let w(f) = t*i(f) + 5*l(f). Let g be w(-3). Is g at most as big as -2/9?
False
Let g(b) = -4*b + 1. Let t be g(1). Let u(c) = c**3 + 5*c**2 + 4*c - 1. Let d be u(t). Suppose 0*i = -3*i + 12. Is i at most d?
True
Let j = -34 + 34. Let d(r) = r**2 + r + 10. Let a be d(0). Suppose 2*w + 10 = 4*i, j = 3*i - 0*i - 2*w - a. Which is smaller: i or -2?
-2
Let c = 127/306 - -1/34. Let i = 1 + 0. Let g = 2 - i. Is g greater than or equal to c?
True
Suppose -36*j + 31*j + 15 = 0. Suppose j*w + 2*r = w + 10, 2*w + r = 11. Which is bigger: 1 or w?
w
Let f = 524 + -6817/13. Is f at least as big as -1?
True
Let s(g) = g - 20. Let k = -33 - -37. Suppose -3*q = k*f + 22 - 93, -q = 3. Let o be s(f). Is -2/103 at least o?
False
Let l = -7 - -10. Let q = l + -1. Let b be 1/(-1) + (q - 4). Which is bigger: b or -2?
-2
Let v = -691/72 + 75/8. Let s be 18/(-4)*(-2)/3. Suppose 2*x - 4*f + 20 = 0, 2*x = x - s*f + 15. Which is greater: v or x?
x
Let s be 3 - 19/(10507/1764). Which is smaller: s or -1?
-1
Let r(o) = -2*o - 4. Let y be r(-9). Suppose -4*f = -m - 23, -f - 5*m + y = 3. Suppose -2*a - 2 = 4*b, f*a = -4*b + 2*a - 8. Which is smaller: -1/10 or b?
-1/10
Let p be 76/(-90) + (320/(-72))/(-10). Is 3.19 less than or equal to p?
False
Suppose 0 = -4*x - 2 - 6. Let i = -9924 - -9917. Is i greater than x?
False
Let v be ((-138)/5)/((-1)/(-5)). Let b be (-1)/(-4) + v/8 + 3. Is b at least as big as -14?
True
Let t(j) = 11*j**2 - 2*j + 1. Let b be t(1). Suppose -4*r + 2 = b. Suppose 4*n = -n - 10. Is r at most n?
True
Let f = 1037 - 1020. Is 34 greater than f?
True
Let w be (1 - (1 - 1)) + -1. Let j = 138927/7 + -19687. Let h = j - 160. Is w >= h?
True
Let o = -329/20 + 33/2. Let a = o + -3/10. Let g be (-3 + 248/80)/((-3)/6). Is g != a?
True
Suppose 10*g - 15*g = -2*v + 12, 3*g - v = -7. Let o(w) be the first derivative of -w**4/4 - w**3 - w**2/2 - 1. Let q be o(-3). Is q at least as big as g?
True
Let x = -3750/23 - -163. Let q be (-1 - -9)*(-15)/(-30). Let j(p) = -6*p + 23. Let a be j(q). Which is bigger: x or a?
x
Let l = -2 + -4. Let m be (-4 + (-90)/(-25))/((-4)/(-74)). Is l less than m?
False
Let r be -13 + (-2)/(-4)*-6. Let w be ((-40)/r)/(10/8). Which is smaller: 4/5 or w?
4/5
Let m = -1.44 - -0.81. Which is greater: -2/9 or m?
-2/9
Let p = 555 + -556. Let h = -16865/33 - -511. Which is greater: p or h?
h
Suppose 54*b - 51*b = -2*m - 107, -5*m - 4*b = 257. Is -57 at least as big as m?
False
Let k = -18.076 + 18. Let y = 0.024 - k. Which is smaller: y or 1/16?
1/16
Let a = -16.9 - -17.2. Suppose 5*o = -0 - 10. Which is smaller: a or o?
o
Suppose 0 = 3*h + h + 48. Let b be 180/128*16/h. Which is smaller: b or -1?
b
Let m = 0.1 + 0.1. Let h = 0.0414 + -0.0514. Is m bigger than h?
True
Let i be 0 + 5/(-4) + 1. Let j = 1.3 + 1.7. Let o = -2 + j. Is i at least as big as o?
False
Suppose -3*o + 4*o - 236 = 5*n, 192 = -4*n + 4*o. Is -50 at most n?
True
Let u = 0.31 + -0.01. Let q = -3.3 + u. Let v = q + 0. Is 0.2 < v?
False
Let k = -6829703/9 - -757286. Let u = 1563 + k. Are -6 and u non-equal?
True
Suppose -q = -2 - 4. Let b(u) = u**2 + 7*u + 10. Let s be b(-7). Let v be (-2 - (-2 - -3)) + s. Which is smaller: v or q?
q
Let t be 337337/1260 - 3/(-12). Let m = t - 268. Is -1 not equal to m?
True
Let z = -42.7827 - 0.0173. Which is bigger: 0 or z?
0
Suppose -3*x + 4*u - 15 = 0, 2*u + 0*u - 5 = -x. Suppose -5*r + r - 3*t + 4 = 0, 5*t = -4*r - 4. Let m be (1 - r) + (-92)/(-36). Which is bigger: x or m?
m
Let k = -485 + 498.7. Is k greater than 1?
True
Let a be (10/(-22))/(1008/(-264)). Is 0 at most as big as a?
True
Let u(f) = -2*f**2 + 85*f + 152. Let s be u(45). Which is smaller: s or -70?
s
Let i(r) = -r**3 - 6*r**2 - 6*r - 