/(-20). Let n = -42 - o. Which is smaller: n or b?
n
Suppose 0 = 4*l - 2*m - 2*m + 32, 12 = -3*l - 3*m. Let g be l/18 + (-26)/(-114). Let b = 32/57 - g. Is b less than 2?
True
Let p(g) = -g**2 + 5*g + 6. Let a be p(6). Let h be 3 + 8*(-1)/(-2). Suppose 14 = -5*c + 3*w, -4*c - h = 2*w - 3*w. Is a greater than or equal to c?
True
Let t = 3.919 + 0.081. Are -0.02 and t equal?
False
Let b = 68 + -202/3. Which is bigger: 8/3 or b?
8/3
Let j be 12 + -1 + (-78)/(-42). Which is greater: 13 or j?
13
Let y be 0 + 0/(-4 + 5). Suppose -2*n = 5*d + 17, d + 9 = 3*n - 3*d. Is y less than n?
False
Let t be 0/((0 + -1)*2). Is t less than or equal to 2/9?
True
Suppose 3*l = 4*h + 2 - 3, h - 4 = -3*l. Suppose h = y + 5*d - 0*d, 0 = -4*d. Which is greater: 1/9 or y?
y
Let v be 3/1 - (-1 - -5). Do v and 1 have different values?
True
Let s be ((-1)/3)/(1/(-3)). Let a be 6/(-12)*(-2)/(-5). Which is smaller: s or a?
a
Let a be ((-10)/(-6))/(4/12). Let t(p) = -p + 0*p - a - 2. Let v be t(-6). Is v bigger than 0?
False
Let c = -2689881 - -2638773025/981. Let y = -2/109 - c. Let u = 3 - 2. Which is greater: y or u?
u
Let d = -0.6 - -0.7. Is 2/9 less than d?
False
Let c(r) = -r**3 + 4*r**2 - 6. Let y be c(4). Does -7 = y?
False
Let u = 8 - 3. Let b = 6 - u. Let p = b + -1.3. Which is smaller: -0.1 or p?
p
Suppose 0 = 2*m + g + 7, -3 = -0*m + m + g. Is m smaller than -1?
True
Suppose 0 = 7*o - 2*o + 85. Does o = -15?
False
Let m be (3/12)/((-9)/(-12)). Which is smaller: m or 1?
m
Suppose -5*y = -2*z - 1, -1 = -3*y - 4*z + 10. Let i = 33885/17 - 23893804/11985. Let u = -1/141 - i. Which is smaller: y or u?
u
Let u = 86 - 208. Let c = u + 612/5. Which is bigger: c or -2/7?
c
Let n = -7 - -4. Let b = 4 + n. Let g = b + 1. Which is bigger: g or 3?
3
Let y be (80 + -3)*(4/12 + 0). Which is greater: 26 or y?
26
Suppose -k - 5*b - 34 = 3*k, -b = -3*k - 16. Is 1 at least k?
True
Let p(h) = h**3 + 4*h**2 + h + 5. Let m be p(-4). Suppose -4 = -y - m. Suppose -y*i - 1 = 2. Is i smaller than -2?
False
Let z = 12.013 - 0.013. Which is bigger: 1 or z?
z
Let m be 110/1600 - (-3)/(-30). Which is greater: m or -1?
m
Suppose -2*k - 16 = 38. Let a = k + 136/5. Let s = -1/20 - a. Do s and -0.1 have the same value?
False
Suppose 2*r - 4 = -2*r. Let k be -1*(-1*3)/3. Is k greater than r?
False
Suppose 0*x + 1272 = 4*x. Let f be (x/(-4))/(5/6). Let o = f - -95. Which is greater: o or -1?
o
Let j(y) = y**3 - y + 1. Let a be j(1). Let o be 0 + 0 - (-8 - -6). Is a less than or equal to o?
True
Let a = 29 - 33.1. Let l = 4 + a. Which is smaller: -6 or l?
-6
Let i = 47571 - 427238/9. Let o = -100 + i. Which is smaller: 1 or o?
o
Let l(r) = -7 + r + 1 - 5. Let x be l(5). Let i be 3/6 - 3/x. Which is bigger: 2/5 or i?
i
Let w = 103.5 + -104. Let m = -1.3 + 0.3. Is w at least m?
True
Suppose w = -p - 16, -p + 4*p + 28 = w. Let k = -7 - p. Let d be k/4 - 3/1. Is d equal to -2?
True
Let o = -265945/234 + 2273/2. Which is bigger: 0 or o?
0
Suppose -2*j = -3*m + 18, 3*j - 5*m - 8 = 6*j. Is -7 > j?
False
Let j = -3 + 5. Suppose -3*h + 3*k - 3 = 0, 0 = 4*h + k - 3*k + j. Let c be 6/8*(-4)/(-6). Are h and c nonequal?
True
Suppose -5*z + 4 = 2*a, -z + 2*a - 10 = 6*a. Suppose -5*j = -z*j + 3. Let c = -2/83 - -89/249. Is c at least as big as j?
True
Let n = -137 - -144. Which is smaller: n or -0.5?
-0.5
Let r = -1 + 7. Which is smaller: 5 or r?
5
Let b(l) = -26*l - 7. Let i be b(-3). Which is greater: i or 70?
i
Suppose 8*i - 2*i - 6 = 0. Is i smaller than 2/67?
False
Let g be 3/6*6/(-1). Let i be (g/(-46))/(21/(-28)). Let k(y) = y**3 + 7*y**2 - y - 8. Let b be k(-7). Is b equal to i?
False
Let k(w) = w**2 - w + 2. Let z be k(0). Suppose 4*h + 292 = 4*y, h - z*y + 91 = 19. Let m be h/10 + 4/10. Is -6 > m?
True
Suppose -4*c = -108 - 184. Let l = c + -366/5. Let o = -43 + 43. Which is smaller: o or l?
l
Let h(i) = i**2 - 5*i - 1. Let a be h(5). Let o be 9532/80 + a/(-4). Let n = 119 - o. Does n = 1?
False
Let m = -11 + 35. Let f be (-4)/10*(-30)/m. Is -0.2 bigger than f?
False
Suppose -10*r + 5*r = 5. Is r less than 1/3?
True
Suppose -3*t + 8*t = 4*d + 13, 0 = -5*d - 5*t + 40. Which is smaller: d or -2?
-2
Let l = 137/4 + -34. Which is smaller: l or 2/9?
2/9
Let m be 1 + 2*25/10. Let y be 6 + 0/(-2) - -1. Which is bigger: y or m?
y
Suppose 12 = f - 2. Let x be 6/f + (-18)/42. Is 4 != x?
True
Let h = -201/8 - -25. Let t = 1/8 - -3/8. Which is smaller: t or h?
h
Let i(d) = -2*d + 13. Let g be i(6). Which is smaller: g or 7/37?
7/37
Suppose 0 = 5*t - 4*j + 36 - 494, 4*t - 388 = -4*j. Let o = t + -1224/13. Is o less than or equal to -1?
False
Let l(k) = k - 5. Let a be l(5). Suppose 4*q + 5*p = a, 0 = 2*q - 5*q + 4*p. Is q >= -2?
True
Let z be 2*(-2 - (-3)/2). Suppose -2 = c - o, -5*c = -0*c + 4*o + 1. Does c = z?
True
Suppose -w + 12 = -3*w + 2*h, 2*w - 3*h = -15. Does -19/6 = w?
False
Suppose -7*y = -9*y - 44. Is -23 equal to y?
False
Suppose -5*n = -h + 25, h = -3*n + 2*h - 13. Let r be ((-6)/4)/((-3)/n). Is -3 > r?
False
Let n = 21 - 20. Is 1 less than or equal to n?
True
Let j = -0.21 + 0.11. Which is smaller: -21 or j?
-21
Suppose -5*r + 1 = -9. Which is smaller: 2/3 or r?
2/3
Let x = 0 - -15. Which is smaller: 59/4 or x?
59/4
Let h = -35 - -34. Which is bigger: h or -3/4?
-3/4
Suppose -4*p - f + 23 = -0*f, 0 = 5*p + f - 29. Which is smaller: p or 7?
p
Let o = -261908/181 - -1447. Let d = -381/3439 - o. Which is bigger: d or 0?
0
Let a(i) = i - 4. Let d be a(3). Let u = 4 + d. Let g = u + 0. Do 2 and g have different values?
True
Let v = 2 - 23. Let j be 3 + -2 + v/15. Which is greater: j or 0?
0
Let z = -295/18044 - 1/347. Is 0 equal to z?
False
Let z(l) = -l + 12. Let b be z(7). Suppose -f = -b*f + 16. Is 4 not equal to f?
False
Let d = 7 + -24. Let z = 11 + d. Let s(c) = -c**3 - 5*c**2 + 4*c - 8. Let t be s(z). Which is greater: 1 or t?
t
Let o = 13.1 + -2.1. Let i = -11 + o. Let f = -17 - -121/7. Do i and f have different values?
True
Let k = 0.3 + -0.2. Let s = 4 - 6. Let d be 3/(s/(0 - -2)). Which is greater: k or d?
k
Let d be (-46)/(-207) + 112/(-18). Let v be 4/6 + (-34)/6. Is d bigger than v?
False
Let d = 175433/14280 + 1/2040. Let c = -12 + d. Which is smaller: -1 or c?
-1
Let n be 3 - 0 - (2 - -1). Which is bigger: -1/13 or n?
n
Let z(u) = u**2 - 3*u - 7. Let g be z(5). Suppose -g*d - 6 = -0*d. Is d < -2?
False
Let i(d) = -d. Let n be i(-10). Is n at most 10?
True
Let z = -25 + 45. Suppose 2*x = 3*h - 2*h - 4, 4*x - 5*h + z = 0. Is -1/6 bigger than x?
False
Suppose c - 6 = 4*c. Let d = -3 + 19/6. Does d = c?
False
Suppose 0 = 9*j - 13*j. Which is smaller: j or 10/13?
j
Let l(m) = -m - 10. Let g be l(-9). Which is smaller: g or 0?
g
Let o be (-1)/5 + (-11)/55. Which is bigger: -2/19 or o?
-2/19
Suppose -3*i + 5 = -10. Let v(h) = -h**3 + 9*h**2 - 3*h - 9. Let k(l) = l**3 - 8*l**2 + 2*l + 8. Let q(y) = -4*k(y) - 3*v(y). Let x be q(i). Is x less than 1?
True
Suppose 5*f = -9 + 79. Let q be f/15 + 1/(-3). Is q greater than 0?
True
Let j be (12/(-76))/((-12)/16). Does 0 = j?
False
Let b(o) = o**3 + 1 + 0 + 6 - 6*o + 6*o**2. Let w be b(-7). Suppose 3*i + 9 = -w*i. Which is greater: -2 or i?
-2
Suppose -x = 4*f + 2*x + 12, -4*f = 4*x + 12. Let v be -7 - (0 - -1)*-3. Which is smaller: f or v?
v
Let n = -3 - -1. Suppose 5*m = -4*f - 9, -5*m + 0*f = 2*f + 7. Which is bigger: n or m?
m
Let a be 2/(-11) + 840/2926. Suppose 3*c = 8*c - 5. Is a less than c?
True
Let m = -9 + 8. Which is smaller: m or 3/28?
m
Let c = 0.5 - 6.5. Let f = 1.2 - 0.2. Is c at least f?
False
Let q = -3.96 + -0.04. Let r = q - -4. Is r >= 3?
False
Suppose -2*o = 4*v - 10, -2*o = -7*o - 4*v + 7. Is o less than -5/6?
True
Let l = -631 + 139. Let k be 3 + -1 + l/(-10). Let g = k - 51. Is g != 1?
True
Suppose -q - 1 = -3. Let g be (q*(-3)/(-9))/(-1). Do g and -1 have the same value?
False
Let i be (9/216*4)/((-1)/(-5)). Which is smaller: 0 or i?
0
Suppose 33*u - 7 = 26*u. Is u at least as big as -8/27?
True
Let z be (-26)/(-12)*(-16)/16. Which is bigger: z or -1?
-1
Let b be 76/16 + 2/8. Suppose -2*z + 1 = -v, -b*v + 17 = 4*z - 4*v. Let d = z - 3. Is -2/7 less than d?
True
Let s = -5.1 + 4.6. Let n = 317 - 617/2. Let t = n + -35/4. Is t greater than s?
True
Let o = 7 - 6. Suppose o + 9 = -5*k. Which is greater: k or -1?
-1
Let w = 6 - 4.