*z = 40 - 0. Do p and z have the same value?
True
Suppose 19*r - 20*r = 21. Let m = -33 - r. Which is smaller: -10 or m?
m
Let l be ((-258)/(-261) + -1)/(27/(-243)). Suppose -10*r + 14*r = 0. Which is smaller: l or r?
r
Let z = 117.32 + -1.32. Which is bigger: 5 or z?
z
Let v(a) = a**3 + a**2 + 1. Let w(u) = -7*u**3 - 5*u**2 - 7. Let y(l) = -6*v(l) - w(l). Let f = 1 + 0. Let k be y(f). Is 1 at least k?
True
Let f(h) = -2*h - 5. Let t be f(-5). Let l be (6/(-15))/(10/(-95)). Is t equal to l?
False
Suppose -g = -0 - 2. Suppose -g*j + 7 - 3 = 0. Suppose -3*f - j*q = -3, 9 = -4*f + 3*q - 4. Which is smaller: f or 1/6?
f
Let n = -0.53 - 0.77. Which is greater: 5 or n?
5
Let s = 1.88 - 1.93. Which is greater: s or -0.04?
-0.04
Let k = -544 + -101. Is k <= -645?
True
Let j = 84 + -76. Which is bigger: j or 10?
10
Suppose -4*a + 0 = 4. Let s = 331445/82 - 4042. Is s < a?
False
Let x = -3628/77 + 326/7. Which is smaller: x or 5?
x
Suppose -17 = -3*g + 2*x, 11*g - 14*g = 4*x + 7. Which is smaller: g or -81/4?
-81/4
Let t = 9.9 + -10. Suppose 2*h - 4 = -5*w + 107, -2*w + 172 = 3*h. Let v = -291/5 + h. Is t less than or equal to v?
False
Let j be (-6)/(-15) + 1/(12890/(-5136)). Which is smaller: j or 1?
j
Let z = -13.5 - -13.6. Is z at most 127?
True
Let b be (((-663)/12)/13)/(3/(-12)). Suppose -4*f + a - 4*a + 145 = 0, 4*f - 5*a = 121. Suppose 0 = -j - b + f. Is 17 at least as big as j?
True
Let r = 17 - 15. Suppose -255 = 5*m - 4*i, -2*m + i = -r*i + 109. Which is greater: m or -48?
m
Let u be 3*3/18*0. Let b = 2/5 + -19/35. Which is smaller: b or u?
b
Suppose 4*l - l - 3 = 0. Let f be 12 + 2 + 0/(-21). Which is smaller: f or l?
l
Let w(o) = -o**3 + 10*o**2 - 9*o + 3. Let u be w(9). Let k be 183/(-150) - u/(-2). Let t = k - 163/225. Which is greater: 1 or t?
1
Suppose -452 = 6*d - 3122. Do 2/5 and d have different values?
True
Suppose -33*v = -6*v + 594. Which is bigger: -164/7 or v?
v
Let f be (-3041)/(-1522) + (-4)/(1*2). Is 0 > f?
True
Let p(q) = q**3 + 11*q**2 - 12*q + 12. Let u be p(-12). Let r be ((-3)/(-8))/(u/(-144)). Which is greater: r or -5?
r
Let x be (-1 + 3)/((-4)/4). Let b be 4*x/(-252)*3. Let s be (-27)/45 - 2/5. Which is smaller: s or b?
s
Suppose 3*x = 15, -53*g + 49*g - 4*x - 604 = 0. Are -158 and g nonequal?
True
Suppose 30*w - 31*w = -7. Let v(u) = u**2 + 2*u - 7. Let c be v(-5). Do w and c have different values?
True
Suppose -6 = 5*w - 36. Let q be (-8)/w*133/(-14). Which is greater: 14 or q?
14
Let u be (-10)/(-4) - (6 + (-75)/10). Suppose m + 4*l - 2 = 0, m - 2*m - 38 = -u*l. Let r = 0.2 + -0.2. Is r at most as big as m?
False
Let d be 1*(-265)/(-75)*-3. Is d less than -12?
False
Let c = -2047 + 14354/7. Is c > 5?
False
Let j = -637 + 637. Which is smaller: j or 54?
j
Let t(k) = -4*k - 50. Let x be t(-12). Is -18/13 at least x?
True
Let l = 1245 - 1244. Does 3/22 = l?
False
Let c = -1725 - -1724. Let x be (4/6)/((-14)/(-12)). Is c <= x?
True
Suppose 0 = g + 2*w + 6, 2*w = 2*g - w - 2. Let p = 0.24 - -15.76. Let m = 16 - p. Is m not equal to g?
True
Let p be 3 + (-2 - -2)/2. Let x = -3205 - -28861/9. Are p and x unequal?
True
Let o(t) = t**3 - 3*t**2 + t. Let a be o(2). Let x be 496/(-36) + a/9. Let v = x + 13. Is v greater than -2?
True
Suppose -7*o - 8 = -3*o. Let k = 1.9 - 8.9. Let u = -6.95 - k. Is u > o?
True
Let r = -11 - -10. Which is bigger: r or 3?
3
Let j = -633 - -638. Is 0.19 >= j?
False
Let l = 3 - -49. Let a be l/(-69) - 8/(-12). Let m be ((-28)/8 + 3)*2. Is m greater than a?
False
Let m(x) = 2*x - 14. Let j be m(12). Suppose -3*t = -8*t + j. Which is smaller: 2/3 or t?
2/3
Let c = -19 + -11. Let x = c - -33. Let l = 6 + -4. Is x less than l?
False
Let q be 1 - 2 - (-2 + 1). Let l = -68 - -67.93. Which is greater: l or q?
q
Let j = -3/67 - -697/603. Suppose 5*a - 5 = -0*a. Is j bigger than a?
True
Let f(u) = -u**2 + 10*u + 4. Let s be f(10). Let v be 0/(-3) - s - -10. Is v equal to 25/4?
False
Let n be (-6)/(-4)*(-1)/(-6). Let b = -100 + 119. Suppose 5*g - 19 = 3*x - 6*x, 2*g = -5*x + b. Is x <= n?
False
Let t = 2131 + -2204. Which is smaller: -64 or t?
t
Let s = -1 - -1. Suppose s*i + 5*i = 5. Let t = i - 6. Do -5 and t have different values?
False
Suppose 106 = -2*a + 10. Which is smaller: -46 or a?
a
Let f = 6337795/756 - 100655/12. Let i = 32/7 + f. Which is smaller: i or -1?
-1
Let x = -4 + 3. Let n be (3 + 0 + 1)/1. Let a be (n/(-14))/(30/14). Which is smaller: x or a?
x
Let s be -1 + 3*(-1 + 2) + -3. Let m(g) = -3*g - 6. Let w be m(s). Is w != -7?
True
Let s be (336/(-1568))/(3/(-80)). Which is bigger: 5 or s?
s
Let m = -114 - -113. Let v be 34/12 + -2 + m. Is 1 bigger than v?
True
Let v(u) = -u**3 + 2*u**2 + 3*u + 1. Let d be v(3). Let c be (-6)/(-39) + 420/(-2392). Is d at most as big as c?
False
Suppose -2*m = 6 - 2, -4*m = -5*w - 7. Let g = -1792/3 - -595. Is g >= w?
True
Let m(t) = 3*t - 7. Let k(r) = -2*r + 6. Let z(u) = -5*k(u) - 4*m(u). Let h be z(0). Let f = 475 + -4282/9. Which is bigger: f or h?
f
Let a(n) = n**3 - 11*n**2 + 5*n - 114. Let y be a(11). Which is greater: y or -78?
y
Let z = 36.2 + -40. Let p = z - -11.7. Let o = p - 8. Which is greater: 6 or o?
6
Let b(t) = -t**2 - 29*t - 27. Let m = -142 - -114. Let w be b(m). Let d = 699/11305 - 2/665. Which is bigger: w or d?
w
Let z = -267957381/5221 + 51323. Are 0 and z equal?
False
Suppose -17 + 17 = 29*r. Are r and -14/23 nonequal?
True
Suppose 0 = -3*n + t - 2*t + 6, -4*n + 2*t - 2 = 0. Suppose -f - 4 = -0*f, -80 = 3*x + 2*f. Let j = x + 71/3. Is n smaller than j?
False
Let t be 1140/(-238) - (-216)/(-252). Is t < 0.2?
True
Let s = 74 + -116. Let g be s/35 + 2/10. Is g smaller than 3/26?
True
Let k = 4.18 - -0.02. Let o = k + -4.06. Are o and -2 non-equal?
True
Let y = -48 - -53. Suppose 1 = 3*o - y, -4*z + o = 38. Is -2 at most z?
False
Let a be (3/(-12))/((-45)/(-8)). Let f = 25 - 50. Let o = -25 - f. Is o bigger than a?
True
Let h = -30 - -92. Suppose 0 = -19*n - 6*n - 12*n. Which is greater: n or h?
h
Suppose -18*k + 14*k = -4. Let f be ((-2)/(-19))/(k - 3)*-3. Which is bigger: 1 or f?
1
Suppose 2 = -2*y + 8. Suppose -y*m + 22 = 5*f, -3*f = 2*m - 4*f - 6. Which is smaller: m or 6?
m
Let s = -0.6 - -1.5. Let c = -0.9 + s. Which is smaller: -66 or c?
-66
Let o(u) = 15*u - 47. Let s be o(5). Which is smaller: 30 or s?
s
Suppose -109 = -59*f - 109. Suppose 9*y - 4*y + 10 = 0. Is y >= f?
False
Let n = -1350/7 + 14263/70. Let b = 21/2 - n. Are b and -1/7 nonequal?
True
Let w be (-416)/(-14) + 10/35. Let k = w - 17. Let d = k - 11. Which is greater: d or 4?
4
Let m be (2 + 0)/(3/10). Let j be 1/(((-13)/2)/13) - 4. Let h = m + j. Which is smaller: h or -0.08?
-0.08
Let p = -2205/17 - -24739/102. Which is smaller: 113 or p?
p
Let l = -268 - -246.7. Let p = -23 - l. Which is bigger: p or -2?
p
Suppose 4*m - 22 = -82. Let g = 17 + m. Let z be -2 + g + (-9)/(-3). Is z less than 2?
False
Let b = -927 + 870. Let w(v) = 7*v**3 - v**2 - v + 1. Let p be w(-2). Is p smaller than b?
False
Let g = -65/802 + -33491/61754. Let p = g - -4/77. Do p and 0 have different values?
True
Let u be 2 - (-2)/4*346. Suppose 3*g + u = -188. Let c = g - -607/5. Is 1 less than c?
False
Let a be (-34)/72 + 5/20. Suppose 0 = s + 5*g - 21, -4*s - 3 - 1 = -2*g. Suppose -s - 3 = 4*u. Which is bigger: a or u?
a
Let n(p) = p**2 - 22*p + 21. Let o be n(14). Let q = -99 - o. Are -11 and q nonequal?
True
Suppose -4*l + 190 = 15*l. Are 54/5 and l equal?
False
Let h be (-6)/(-321) + (7 - 7). Let j be 2/5 - 2/5. Is h not equal to j?
True
Suppose -2*n = -7*n + 5. Let f(i) = 12*i + 173. Let s be f(-13). Which is smaller: s or n?
n
Suppose -4*f = -2*f - 4, -f - 43 = 5*s. Let u = 133 - 169. Let k be 2/(s/(u/112)). Is k at most as big as -1/3?
False
Let y = 433 + -417. Which is bigger: y or -4?
y
Let l = 3/41 - 86/615. Suppose 4*o = -4*s - 8, -3*s - 4*o = -7*o. Is l at most s?
False
Suppose 5*x - 9*x + 26 = -2*h, 4*x - h = 23. Is x less than or equal to 21?
True
Let s = -3 - -5. Suppose -4*i + 34 = -s*m, -2*i - m + 4 + 3 = 0. Suppose 2*z - 11 + 1 = 0. Is i smaller than z?
False
Suppose 2*j + j = 15. Let w = 709 + -709. Suppose j*t + 0*d + 24 = -4*d, 5*t - 5*d + 15 = w. Do t and -5 have different values?
True
Let h = -0.48 - 1.82. Let o = -23.3 - -22. Let p = o - h. Which is greater: p or 