ller: 1 or z?
z
Let n = 1.27 + 0.03. Let d = -0.7 - n. Do -1 and d have the same value?
False
Suppose 4*h = -4*w + 44, -23 = -6*h + 4*w + 13. Let a(j) = j**2 - 4*j - 3. Let i be a(-2). Which is bigger: i or h?
i
Let g(l) = -2*l - 40. Let a be g(-26). Suppose a*s + 30 = -6. Which is smaller: 3 or s?
s
Let d be 3219/(-1164)*-4 + -11. Which is smaller: d or 3?
d
Let n = -12179.2 - -12179. Let o(g) = -g + 26. Let k be o(0). Are k and n unequal?
True
Suppose 12 = 2*v - 4*x, -5*v - 7*x + 2*x = -15. Suppose 5*j = v*n - 7, -4*j - 20 = 4*n - 0*n. Does -4 = j?
False
Let m = -1 + 3. Suppose c + 2*c = -m*u + 2, -5*u + c = 12. Let o = 275 - 273. Is u less than o?
True
Let o be (-5)/(-20) - (-3)/(-12) - 1. Is o less than or equal to 1/55?
True
Suppose -3*c = 4*l - 118, 2*c + 2*c - 162 = -3*l. Which is smaller: 46 or c?
c
Suppose 2*z = -3*q - 2, 4 - 22 = -4*z + 5*q. Let y be (-5)/10*z + 2. Let f(m) = m - 7. Let o be f(7). Is y <= o?
False
Let q = -94/5 + 836/45. Which is bigger: q or 1?
1
Suppose -o + 79 = -2*h - 103, -938 = -5*o + 3*h. Suppose 4*g = 0, 0 = -3*m - 2*m + 5*g - o. Is -39 greater than m?
False
Let u = 251 + -226. Which is greater: 71/3 or u?
u
Let q = -110 + 104. Let y be ((-1)/(-2))/(9/4). Is y less than or equal to q?
False
Let u = -208 - -217. Which is smaller: u or 0.4?
0.4
Let i be ((-8)/(-100)*-5)/((-1)/5). Suppose 2*n + c - 11 = -0*c, 4*c - 4 = 0. Let g = -13/3 + n. Which is smaller: i or g?
g
Suppose -2172*g = -2164*g + 128. Do g and -97/6 have the same value?
False
Suppose 4*c - c = -267. Let h = c + 69. Is h <= 1?
True
Let g(b) = -b**3 - 6*b**2 + 22*b + 12. Let q be g(-7). Which is smaller: q or -96?
-96
Let v be (-102)/(-1) + (-9 - -12). Let t = 147 - v. Let z be 26/t + 2/(-6). Which is smaller: 3/7 or z?
z
Let n be (-6)/27 - (-47)/9. Let x(c) = c**2 - 6*c - 20. Let r be x(8). Which is greater: n or r?
n
Let d be 6/46*(-23)/(-69). Is d greater than 0?
True
Let b = 1439/504 + -340/63. Let u = b + -17/8. Is u less than or equal to -0.2?
True
Let s be 35/(-2)*164/(-205). Which is smaller: s or 27?
s
Let d = 109 - -47. Let v = d - 148. Let r = -7 + 13. Which is smaller: r or v?
r
Let v be (-866)/(-60) + 3/(-9). Let u = -3/23938646 + -36404695582/2573404445. Let w = u + v. Which is greater: w or -1?
w
Let t(p) = p**3 - 6*p**2 - 9*p - 3. Let d be t(7). Do d and -17 have the same value?
True
Let y be (4/(-20))/(-1)*25. Suppose -3*p - 10 = -y*l, -5*l - 3*p + 10 = -2*p. Which is smaller: 4 or l?
l
Let t = 20.94 - 21.94. Which is bigger: -1284 or t?
t
Let r = 11.8 + -11.9. Which is greater: -206 or r?
r
Let y = 5852/5 + -1180. Let h(s) = -10*s**2 + 2*s - 1. Let q be h(1). Which is greater: q or y?
q
Let q be 5*(1/10 - 0)*0. Let k be (1/2)/(3/6). Is k not equal to q?
True
Let z = -4151 + 37307/9. Are -7 and z equal?
False
Let m(l) = -l**3 - 22*l**2 + 3*l + 65. Let u be m(-22). Which is bigger: u or -1/186?
-1/186
Suppose 69 = -o - g, 3*o - 2*g - 2*g + 235 = 0. Let m = 136 + o. Which is smaller: 64 or m?
m
Let j be 330/198 + 1022/6. Are 171 and j nonequal?
True
Let m be (-22)/3*33*-1. Suppose 0 = -4*p - v + m + 139, 3*v = -p + 98. Let h be (-270)/p - (-1 + -2). Is 1 greater than h?
True
Suppose 4*w + 13 = 3*q - 92, -q + 3*w = -40. Let u = -47 + q. Which is smaller: -52/3 or u?
-52/3
Let l = -1866 + 1827. Which is greater: l or -0.11?
-0.11
Let a = -216 - -396. Suppose 0*t = -t + a. Let w be 68/t - 3/5. Which is smaller: -1 or w?
-1
Let b be (-3 + (0 - -8))*1. Let r be ((-24)/b)/((-19)/(-95)). Let x = -23 - r. Do x and -1/23 have the same value?
False
Suppose 4*i - 17 = -2*x + 33, 78 = 3*x + 3*i. Which is bigger: 29 or x?
29
Suppose 0 = -u + 4*u + 63. Let m = u + 22. Is 2/7 not equal to m?
True
Let l be 0 - ((-2)/1578)/((-6)/36). Which is greater: 2 or l?
2
Let p = -4945/33 - -150. Is 1 < p?
False
Let l be 11/(-5) + (-11)/(-55). Is -95 at most as big as l?
True
Suppose 4*c + 5*k = -28 - 155, 4*k - 72 = c. Let p be 2 + 12/(-4) - 56/c. Which is greater: -0.5 or p?
p
Let s = 2823 - 2778.97. Let d = s - 44. Which is greater: 1 or d?
1
Let q be ((-5)/36)/(19/(-760)). Which is smaller: q or 5?
5
Suppose -47 = -3*r + 52. Let y = 2 + r. Is y equal to 35?
True
Let v(l) = -l. Let s be v(-5). Suppose -f - 2 + 4 = 0, b + s = -2*f. Let x be (-2)/(-12)*b/6. Which is bigger: x or -3?
x
Let z = 0.104 - -3.896. Let l = 3.8 - z. Is 8 smaller than l?
False
Let o(v) = v - 1. Let x be o(3). Let g = -32493/13 - -2501. Is x less than g?
False
Suppose a - 6*a = -25. Suppose 5*g - a*c = -0*c - 65, -3*c = 2*g + 41. Let f = -15 - g. Is f != 1?
False
Let m(s) = -33*s**2 + 1. Let n be m(1). Let c = n - -32. Which is greater: c or 10/9?
10/9
Let m be (-16)/(-320)*30 - 86/52. Which is greater: 27 or m?
27
Let s be 2 + 4 - (26 + -122). Which is smaller: s or 106?
s
Suppose -187*t + 20 = -182*t. Is t < 17/6?
False
Let g = -12 - -16. Let h be (-3 + 33*g/42)*12. Which is bigger: h or 2?
2
Let m be (580/(-32))/(-5) + 9/24. Does 34/11 = m?
False
Let u(t) = 3*t - 16. Let r be u(6). Suppose 2*z = -0*z - r*y + 8, -26 = -5*z + y. Is 0 != z?
True
Let n(j) be the third derivative of j**4/24 - 5*j**3/3 + 5*j**2. Let b be n(5). Let d = 3 + b. Is -0.5 equal to d?
False
Let h be ((-4)/3)/((8/(-9))/(-4)). Let o be (-20)/(-17) + (-7 - h). Do -1 and o have different values?
True
Suppose -7*v = 1 + 6. Let x be (1*2*v)/(-45 + -6). Is x < -1?
False
Let t = 3 + -9. Let d = -6.1 - t. Let o = 21.02 + -21. Which is smaller: d or o?
d
Let v = -11241/13 - -35757647/41353. Let p = 146332/9543 - v. Is p equal to 14?
False
Suppose -14*h = 46 + 150. Let u be (2/h)/((-13)/156). Suppose -1 = -0*b - b. Are u and b non-equal?
True
Let a = 50.38 + -17.28. Let t = -3 + -30. Let n = a + t. Is -17 smaller than n?
True
Let b = -29.935 - 0.065. Let k = b - -30. Is k less than -3?
False
Let q = -4 - -6. Suppose 15 = 5*a + 5*t, -4*a + t = -0*t - q. Let f = 2059/5 - 412. Is f <= a?
True
Let p(k) = -k**2 + 7*k + 13. Let h(b) = b**2 - 6*b - 12. Let i(j) = 3*h(j) + 2*p(j). Let v be i(6). Suppose -v*s - 3 + 9 = 0. Is 9/4 at most as big as s?
True
Let b be (1 + (-14)/15)/(32/(-288)). Suppose -4*t = -4*k, 0*t - 2*t - 9 = -5*k. Let j(a) = -a**2 + 3*a. Let i be j(k). Which is smaller: i or b?
b
Let f = -10 + 10. Suppose f = 4*k + y - 55, 4*y + 95 = 2*k + 3*k. Let w be (-2)/40*k/(-6). Which is bigger: w or -2?
w
Let o(g) = -g + 1. Let y be o(4). Let n be 0/(-4) - (-8 - y). Is -1 at least n?
False
Suppose -2*q = -5 - 7. Suppose m = 7*m - q. Are 1 and m nonequal?
False
Let l(m) = 65*m + 83. Let r be l(-5). Do -241 and r have the same value?
False
Let i = -46/145 + -12/145. Which is greater: -0.179 or i?
-0.179
Let w = -3/2336 + 3043817/7008. Let o = w - 426. Which is bigger: 7 or o?
o
Let b be (-2)/55*-1292 + 70/(-385). Is 47 < b?
False
Let c(y) = 19*y**2 + y**3 - 31*y**2 + 0 - 2 + 18*y**2 + y. Let l be c(-6). Which is greater: -7 or l?
-7
Suppose 618*b + 18 = 624*b. Which is smaller: 22 or b?
b
Suppose -12*p = -4*p - 32. Suppose g + 13 = -i, g - 2*i = -3 - p. Which is smaller: g or -13?
-13
Let f = 140 - 138. Suppose -3*b + 4*y + 82 = 0, -4*y = 2*b + f*b - 128. Which is bigger: 29 or b?
b
Let u = 0.0511 - 28.1511. Let k = u - -28. Let q be 12/45*(-6)/(-4). Is k at most q?
True
Suppose 2*l + j = 5, 2*j = -2*l - 2*j - 4. Suppose d + 2*r + 12 = -3*d, -l*r = 3*d + 9. Let m = 5 - 7. Which is smaller: d or m?
d
Let q be -5 - (6 + 192/(-18)). Which is smaller: q or -8/25?
q
Let k(p) = -p**2 - 2*p + 4. Suppose i = -5*i. Suppose 5*r + 15 = -i*r. Let u be k(r). Is -4 at most as big as u?
True
Suppose -3*c - 4 = 35. Is c greater than -43/3?
True
Let o = 3.6 - 3.86. Let i = 0.66 + o. Are 3 and i equal?
False
Let o = 1 - -1. Let v be 93/(-2)*2/3. Let m = v + 35. Which is smaller: m or o?
o
Let n = -2350/6851 - 4/403. Which is smaller: n or 0?
n
Let m = 7 - 0. Let y = m + -11. Let o(c) = -2*c**2 - 8*c + 6. Let s be o(-5). Is y <= s?
True
Let v = -93 + 79. Let f = 11 + -25. Let d = f - v. Which is bigger: d or -2/11?
d
Let f = 62.1 - 62.2. Is f at least as big as 110?
False
Suppose 75 = 36*z - 28 - 5. Let h = 10 + -2. Suppose -3*w - 2*f = -5*w - 2, -f - h = -4*w. Is z not equal to w?
False
Let j = -58 + -9. Let y = j + 60. Is 0.2 at most y?
False
Let g = -12 - -20.99. Let q = 12.01 + -12. Let c = g + q. Which is smaller: -2/5 or c?
-2/5
Sup