332)/(-6) - (5 - 26/6). Let j = 55 - k. Is j smaller than i?
False
Let f = -2/129 + -41/129. Let x be 14*(-2)/(-20) - (-6)/(-15). Let z be 5*(-2 - (-3)/x). Is z greater than or equal to f?
True
Suppose -7*i - 58 = -163. Suppose -3*l - 18 - i = 0. Is l at least as big as -13?
True
Let g = -155.9 + 156. Is -1/54 greater than or equal to g?
False
Suppose -l = -p - 7, 3*p + 5*l + 18 + 3 = 0. Let x be (p/(14/(-12)))/2. Suppose 0 = 4*d - j + 8, x*d + 0*j + 11 = 2*j. Is d at least -3/2?
True
Suppose 0 = 2*l - 5*a - 2 + 6, 0 = -5*a. Which is bigger: 10 or l?
10
Let o = -2 + -1. Let m = -2 - o. Let f = m + -0.9. Which is smaller: -2/9 or f?
-2/9
Let m = -3 - -6. Let s(q) = -5*q**2 + 4*q**2 + 0*q**2 + m - 13*q. Let x be s(-14). Are x and -11 equal?
True
Let y = -0.2 + 0.3. Let f = 1.09 + 0.22. Let w = f - -0.19. Is w less than y?
False
Suppose 224*m - 231*m + 245 = 0. Is m != 36?
True
Let o(m) = m**2 + 12*m + 26. Let w be o(-8). Let p(a) = a**3 + 7*a**2 + 6*a + 4. Let u be p(w). Which is smaller: u or 1?
1
Let i = 151 - 1961/13. Let k = -131438/160095 + 2/4105. Let m = k + i. Is m at most as big as -2?
False
Let m = -4 - 4. Let g be 4/1*6/m. Which is smaller: -5 or g?
-5
Let t = 45 + -45. Suppose 2*w = 2*o - 6, t = w - o + 3*o. Which is smaller: 1 or w?
w
Suppose 0 = -5*x + 36*x - 2511. Does x = 76?
False
Let a be (-8)/(-30)*9 - 6. Are -4 and a unequal?
True
Let w = 1 + 1. Let b be (w/(-176))/((-5)/30). Let r = -2/11 - b. Is 6 at least r?
True
Let u = 989 - 1882. Let n = u + 6225/7. Is n at least -4?
True
Let y(p) = -2*p + 6. Suppose 0*m - 5*m = 10. Let b be (-12)/(7/(-2) - m). Let x be y(b). Is -9 >= x?
True
Let i(t) = -3*t**3 - 2*t**2 + 9*t - 9. Let y(j) = j**3 - j**2 - j + 1. Let o(v) = i(v) + 5*y(v). Let m be o(3). Suppose q = 6*q. Which is greater: m or q?
q
Let n = 8041/40 + -201. Is 6 at most n?
False
Let x(w) = w**2 + 5*w + 3. Let a be x(-5). Let d(r) = -r**3 + 29*r**2 + 32*r - 55. Let n be d(30). Does a = n?
False
Let j be 1/1 + 15 - 2. Let k = -34 + j. Let l be 1*-4 - k/4. Is l < -3/11?
False
Let c = -1294/1275 - -64/51. Are 0 and c unequal?
True
Let d be (-20)/(-30) - (-140)/15. Let u = 0 - -10. Do d and u have different values?
False
Let t = -1.2975 - -0.1515. Which is bigger: t or -1?
-1
Let j = -1503 + 144. Which is bigger: 0.1 or j?
0.1
Let x = 0.9 - -2.1. Let z(u) = 5*u - 3. Let d be z(-6). Let y = d + 163/5. Do x and y have the same value?
False
Let k be (28/21)/((-5)/(-27)). Are k and 7 non-equal?
True
Let x(f) = -2*f + 12. Let g(c) = c**3 - 11*c**2 - 13*c + 17. Let s be g(12). Let i be x(s). Let w be (-10)/(2 + -4 + 0). Which is bigger: i or w?
w
Let x be (-1)/(7/1) + 174/42. Is x at most as big as -1?
False
Let x be (1 + 4 + -4)/7. Suppose 0 = 3*q + q - 16. Suppose b + 8 = -3*o, q*o + 10 = 4*b + 2*o. Is b not equal to x?
True
Suppose 20*p + 21*p = 47*p + 54. Suppose -5*q = -q + 20. Which is smaller: p or q?
p
Let p be (9/18)/(-1 + 0). Let j(q) = -q**3 + 9*q**2 - q + 8. Let k be j(9). Let d be (-60)/16 - k/(-4). Which is bigger: d or p?
p
Suppose 0 = -4*r + 76 - 8. Suppose -39 = 5*z - 2*h - 13, 6 = 2*h. Let k = z + r. Are k and 13 nonequal?
False
Let v = -6 + 70. Let p = v + -64.3. Which is smaller: 13 or p?
p
Suppose -5*l + 4*j = -130, 4*l + 2*j - 100 = l. Suppose 1 = -4*d - 7. Let y be 1/(l/63) + d. Which is bigger: y or 1?
1
Suppose 158*r = 176*r - 2412. Is r <= 3?
False
Let z(f) = -f**3 + 8*f**2 - 8*f + 8. Let a = 21 + -14. Let n be z(a). Suppose 5*p + n - 6 = 0. Do p and 1 have different values?
False
Suppose 0 = 2*y - 7 - 5. Let f = 18 - 13. Which is smaller: y or f?
f
Suppose 4*z - 2*n - 128 = 0, -3*z + 50 = n - 36. Let m = z + -44. Which is greater: -16 or m?
m
Let m be -2 - (-4 - (-2)/(2/49)). Is m at most -381/8?
False
Suppose 12 = 4*x - 4. Suppose -22 = 3*m - x*m. Which is smaller: 20 or m?
20
Let v(c) = 2*c + 1. Let j be v(1). Let b be (-33)/21 + 4 - j. Let m be 0/((-2 + 3)*-2). Is m at most as big as b?
False
Suppose -3*j = -3*k - 780, -505 = -2*j - k + 6*k. Suppose -5*n + 25 = 0, 0 = -5*h + 2*n + 2*n + j. Which is bigger: h or 56?
h
Let a = 0.34 - 0.68. Let l be (-16)/(-4) + -1 + -3. Is l at least as big as a?
True
Suppose 38*v = 3211 - 9975. Are v and -180 equal?
False
Let w be 12*((-2 - (3 + -2)) + -3). Let s be ((-56)/w)/(1/(-2)). Let c(x) = x**2 - 4*x + 2. Let f be c(3). Which is smaller: s or f?
s
Suppose n + 12 = 3*r - 44, -2*n - 112 = -3*r. Is -459/8 <= n?
True
Suppose 11*x - 21*x - 590 = 0. Is -59 > x?
False
Let a = -266 - -664. Let v = a + -266. Let c be (11/v)/((-3)/(-20)). Is 1 at most as big as c?
False
Let r be (4 - -64)*(-14)/(-56). Suppose 5*s + 72 = s. Let w = r + s. Which is bigger: -2/39 or w?
-2/39
Let z = 3148/5 + -618. Suppose 4*w + 4*u = 52, u + 26 = 5*w - 33. Is z smaller than w?
True
Let j be -15 + 4 - 2/(-1). Let c = 1062 + -4289/4. Are c and j unequal?
True
Let g = 89/5 + -13. Which is smaller: g or -0.4?
-0.4
Let r = 1940.9 + -1941. Is r less than -35?
False
Suppose -5*l - 2*i = 7, 0 = l - 3*i + 3 - 5. Do -10/3 and l have the same value?
False
Let u = -111.28 + 111. Is u less than 1?
True
Suppose u - f + 11 = -1, -u + 3*f - 6 = 0. Let y be (-1 - -1)*1/(-2). Suppose y*c + 56 = -4*c. Is c less than u?
False
Let b = 14/23 - 1213/1955. Which is smaller: b or 1?
b
Let i = 53/126 - 9/14. Which is greater: 1/22 or i?
1/22
Let h be (-36)/(-54) + (-3)/9*-385. Is h bigger than 255/2?
True
Let u(r) = -2 + 0*r + 2*r**2 - 3*r**2 - 7*r. Let k be u(-6). Suppose k*t - 3*t + 4*w = 1, 4*w - 43 = 5*t. Is -5 at least t?
True
Let a = 96 - 44. Let g = 30 + -74. Let z be -2 + 3 + g/a. Which is smaller: z or 0?
0
Let a = -0.2 + 0. Let j = -32748/13 - -2519. Are j and a equal?
False
Suppose y + m = 3, 4*y + 20 = 6*y - 5*m. Suppose 0 = -3*c + y*w - 3, 3*w - 3 = -2*c + 4*c. Let h = 13 + -20. Are h and c unequal?
True
Let i = -25 + 44. Suppose 4*o - 27 = -3*a - 2, 0 = -5*a - o + i. Let w be 0/(-3)*(-1)/4. Which is smaller: w or a?
w
Let r = -240 + 170. Let f = -70 - r. Which is smaller: f or 6/41?
f
Let v(g) = -g**3 - 18*g**2 - 12*g + 85. Let b be v(-17). Let l be (-13514)/(-133) + 4/14. Let o = l + -102. Which is bigger: b or o?
b
Suppose 0 = -0*l - 3*l + 2*w + 5, 4 = 4*l - 2*w. Let p be l + 2 - 2/3. Suppose 43 = -199*n + 156*n. Is n != p?
True
Let d be (25/2)/5*(-28)/40. Which is greater: -0.21 or d?
-0.21
Let g(n) = n + 2. Let d be g(5). Suppose 9*r = d*r + 2. Which is smaller: 16/11 or r?
r
Let a = -1151/369 - -1/123. Let y = 2635/1602 - -175/89. Let w = y + a. Are -1/2 and w non-equal?
True
Let y = -59/330 + -11/30. Suppose 5*p = h + 51, 2*p + 3*h + 10 = 4*p. Suppose p*q - 7*q = 0. Which is bigger: q or y?
q
Let v = -0.082 + 0.051. Which is bigger: 1 or v?
1
Let x be 840/(-23700)*5/(-3). Is x < 1?
True
Let p = 209 + -628/3. Which is greater: p or -1/7?
-1/7
Let d be ((-2)/(-3))/(4/(-11238)). Let h = d + 104635/56. Let o = -29/7 - h. Which is bigger: -1 or o?
o
Suppose 9*x - 4*s - 72 = 4*x, -s - 62 = -4*x. Let b = -105 - -120. Which is greater: b or x?
x
Let z be (-6)/(-21) - (-34)/77. Let m = z + -158/187. Is m less than 2/3?
True
Suppose -v - 1 = -0*v. Let n be (-3*2)/(9/(-6)). Let u be n/14*10/(-20). Is u greater than or equal to v?
True
Let n be 2/(-5) - 22/(-5). Suppose 13 = -n*a + 5. Which is smaller: -0.1 or a?
a
Suppose -m - 18 = -164. Suppose s - 178 = -2*v, -4*v = -4*s - m - 186. Let z = 611/7 - v. Which is smaller: z or -23?
-23
Let d = 84 + -85.17. Let i = d - -2.17. Which is greater: i or -0.009?
i
Let r(x) = -65*x + 193. Let b be r(-9). Which is smaller: 777 or b?
777
Let b(c) = 6*c**3 - 3*c - 7*c**3 - 7*c**2 - 8 + 2*c. Let n be b(-7). Let o = -39/14 - -31/14. Is n smaller than o?
True
Let z = 4 - 3. Let k = -2.3 + 3.2. Does k = z?
False
Let r = 603 + -616. Suppose -2*g - 2*d + 3*d = -7, 0 = -g - 3*d + 14. Let j be (g - 1)/((-4)/14). Which is greater: j or r?
r
Let s be (-2)/(-5) - (-83)/5. Let c = -9 + s. Suppose 9*z - 5*z = 28. Is z greater than or equal to c?
False
Let h be (((-243)/96)/9)/(6/4). Are 0 and h equal?
False
Let l(y) = 1 - 1 + 2 - 1 + y. Let v be l(-5). Is -4 != v?
False
Let s = 0.2 + 0.1. Let c = 9 + -5. Let j = 2 - c. Is s bigger than j?
True
Let a be 32/56 - (-183)/(-315). Is a less than or equal to -1?
False
Suppose 0 = 4*d - 0*d + 5*m + 5, -1 = m. Let n = 12 - 22. Which is small