m < z?
True
Let i = -12586 - -11757. Is -818 at most i?
False
Let y = -3.1 + 3. Let q = -5/4776 + 9667/109848. Which is greater: q or y?
q
Suppose 124*a - 133*a + 297 = 0. Suppose 30*p - 90 = a*p. Is -206/7 != p?
True
Let r(p) = -p**3 + p**2 + 23*p + 96. Let k(n) = -5*n**3 + 4*n**2 + 93*n + 384. Let u(x) = -2*k(x) + 9*r(x). Let m be u(-4). Does m = -20?
False
Let o be (9/3)/((-3)/(-6)*-4). Is o smaller than -3?
False
Let s be 8/(-6) - (-4)/(-6). Let a = -41 + 65. Let d(b) = -b**2 + 26*b - 51. Let y be d(a). Which is smaller: s or y?
y
Let t(r) = -r**3 - 48*r**2 + 380*r + 23. Let k be t(7). Which is bigger: k or -133/12?
-133/12
Let x = 7073/65 + -551/5. Suppose 60 = -u + 4*u. Let h be (-2)/(-3) + u/(-12). Is h at least as big as x?
True
Let v be 28/21 - (-524)/3. Let x be 100/v + (-6)/(-33). Which is smaller: 2 or x?
x
Let k(t) = 8*t**3 - 3*t**2 + 9*t - 10. Let n be k(5). Suppose -12*u + 16*u + n = 0. Is -240 > u?
False
Suppose 10*c - 1078 = 8*c. Suppose 535*v - c*v = 16. Is v not equal to -38/7?
True
Let x be 7*(4 - 8/4)*1. Suppose 4*p - x = -6. Suppose 5*o + p*d = o + 180, 5*o = 3*d + 247. Which is smaller: 46 or o?
46
Suppose 0 = 3*q - 9 + 3. Let n = 106/73 + 1264/1241. Which is greater: q or n?
n
Let j = -88/149 - -2628/21605. Let k = 2/29 + j. Which is bigger: k or -9/5?
k
Let a = -11941 - -6397. Let q be (32/a)/(6/(-7)). Which is greater: q or 0?
q
Let z be (-72)/15570*2/8. Which is smaller: 0 or z?
z
Let h = -765 - -727. Which is greater: -7 or h?
-7
Suppose -3780 = 12*j - 42*j. Suppose -j*f + 4 = -130*f. Let d be (12/(-15))/((-1)/(-3)). Which is bigger: f or d?
f
Let h = 45 + 5. Let o = 6240 - 6242. Which is smaller: h or o?
o
Let i = -4220 - -3019. Is 0.2 smaller than i?
False
Suppose -13 = p - 12. Let r be (-1)/(286/(-4) - (p + 0)). Which is smaller: r or 0?
0
Let x = -358 + 361. Suppose -4*s = -x*f - 41, -54*f + 37 = 3*s - 55*f. Which is smaller: s or 15?
s
Let z(h) = 1560*h + 1648. Let d be z(-9). Is d equal to -12391?
False
Let u = -86 + 46. Let v = 22 + u. Let l(w) = 2*w**2 - w - 17. Let q be l(0). Which is greater: v or q?
q
Let z = 788 - 803. Suppose -6*g + g - 25 = 0, -65 = 5*w - 3*g. Which is bigger: z or w?
z
Let v = 241 + -225. Let l(f) = f**2 - 10*f - 15. Let s be l(12). Let d be (3 + -1)*(s - 2). Which is greater: v or d?
v
Suppose -5*l - 7*l + 18*l = -18. Is l != -286?
True
Let y = -139 + 24. Suppose -12*t + 9381 - 10749 = 0. Does y = t?
False
Suppose 115 - 139 = 6*f. Let t be (f/5 - 0)/((-810)/675). Which is greater: 26 or t?
26
Let y(f) = 558*f - 7827. Let o be y(13). Which is greater: -11 or o?
-11
Let h be (-2)/7 - ((-306)/42 - 6). Let i(z) = 21 + h + 7*z - 2*z - 11. Let v be i(0). Which is greater: v or 22?
v
Let g = 496348 + -496336. Let k(t) = -26*t - 1. Let p be k(1). Let x = -82/3 - p. Which is smaller: x or g?
x
Let o = -235435/4320923 - -89/1642. Is o != -1?
True
Suppose 0 = -t + 3*h + 2515 - 522, -h - 3961 = -2*t. Is t greater than 1976?
True
Suppose -4*d + 6 = -3*o - 18, 5*o - d = -57. Let l be (-4)/(-16)*o/2. Let k = 386/237 + 3/79. Do k and l have different values?
True
Suppose -2*f - 30 = -5*g, 10*f - g = 9*f - 6. Suppose -5*z + 30 = 3*n, 13 = z - 0*n + 2*n. Is z greater than f?
True
Let w be 248/3 + 4/(-6). Let f = 19 - -12. Suppose 0 = -k + 51 + f. Is k less than or equal to w?
True
Let t be (-1440)/27*3/(-2). Suppose 7*m = t - 87. Which is smaller: -3/158 or m?
m
Let t be -3 + (-9)/((-261)/(-203)). Let p = -3 - -13. Let m = p + -18. Do t and m have the same value?
False
Let t be 525/4340*(9 - 1). Which is bigger: -0.5 or t?
t
Suppose 0 = 17*k - 148 + 488. Let y be k/(-210) + 7774/(-42). Is y greater than or equal to -183?
False
Let p = 46 - 44. Let s = 2.91 - 0.21. Which is greater: s or p?
s
Let m = -562/885 - 5/531. Let s = m - -7/10. Let g be (-1 + -4 + 5)*-4*(-11)/(-132). Is g less than s?
True
Let n be (10 - 1)/(((-85)/(-2465))/(-27 - 2)). Which is greater: -7571 or n?
n
Let p = -143 + 42. Let o = 101.2 + p. Which is bigger: o or 52?
52
Let m be (-2)/10 - (-1)/(-5). Suppose -12 = -6*z + 12. Let f be (6/(-4))/((-3)/z). Is m at most as big as f?
True
Let u be 365/(-10)*(6 - 4). Let d be 15/(-30)*(u - 1). Is d smaller than 34?
False
Let x(u) = -u**2 + 36*u - 36. Let v be x(1). Does v = 12/149?
False
Let d(i) = i**3 + 31*i**2 - 32*i + 1. Suppose 0 = -14*h + 19*h + 160. Let t be d(h). Which is smaller: t or -1/204?
-1/204
Let z = -127 + 167. Suppose 10 + z = 10*j. Suppose 504 - 174 = j*o. Which is smaller: o or 67?
o
Let d(s) = -s**2 - 49*s - 275. Let m be d(-6). Let q = 25898/5 + -5196. Which is greater: m or q?
q
Let q be (-7129509)/72 + -5 + -4. Let h = q - -98999. Let u = 94/3 + h. Which is greater: u or -4?
u
Suppose -4*j + 3*j = 0. Let q(g) = -g**2 + 14*g - 15. Let h be q(13). Let n be (-338)/(-342) - 3 - h. Which is bigger: n or j?
j
Let l = 48 + -47. Let m be (0 - -1)/((-5)/(-10)). Suppose -5*i + l - 30 = m*o, o - i = -4. Are o and -4 nonequal?
True
Suppose -1524*c - 151 = -1675*c. Let y be 2/(-744)*6/10. Is y at least as big as c?
False
Let y be (7909/616 - 13)*(61/6 - 2). Suppose 0 = -4*v + 2*q - 0*q - 4, -2*q = -4. Is v greater than or equal to y?
True
Let g be ((-7)/49*0)/(-3). Is -0.405 equal to g?
False
Let x be (-14)/(-4) + 1/(-2). Let n(z) = -z**2 - z**2 - 2*z - 3 + z + 14*z - 5*z. Let v be n(x). Is 5 less than v?
False
Suppose -n + 5*j + 19 = 0, n + 3*n = -2*j + 10. Suppose -6*g + n*g = -4*w - 12, 0 = -5*g + 2*w + 70. Suppose 0 = 6*s + g - 4. Which is greater: 1 or s?
1
Let g = 4372 - 4001. Which is smaller: g or 1858/5?
g
Let u(a) = -a**3 - 27*a**2 - 45*a + 48. Let f be u(-22). Let x = f - -56665/41. Is x greater than or equal to 1?
False
Let r = 1401 + -781. Let z = r - 569. Is 0 at most as big as z?
True
Let i(p) = -10*p**2 + 318*p - 374. Let q be i(30). Is 175 greater than q?
True
Let l = 13 - 12. Suppose -4*c = -27 + 7. Let q(n) = 3*n - 17. Let p be q(c). Which is smaller: l or p?
p
Suppose 0*d - 1741 - 1907 = 2*d. Is d at most as big as 4?
True
Let v(z) = -36*z - 4. Let c be v(-1). Let b be (-1)/2*c/916. Is 0 > b?
True
Let v be (-20 + 23)/(6/4154). Suppose 5*r = -3*p - v, -r + 4*r = 2*p - 1231. Does -414 = r?
False
Let w be (-1)/2 - 1456/(-32). Suppose -44*f - 115 = -w*f. Do 0.1 and f have the same value?
False
Let l = -27744/7 + 3964. Which is smaller: -90/13 or l?
-90/13
Let f = 8520 - 8473. Which is smaller: f or -2/17?
-2/17
Let b = 9276 + -9229. Is b > 43?
True
Suppose 5*c = -5*k + 20, -c = -27*k + 25*k + 11. Let f be 1*(-270)/(-55) + -4. Let h = 113/33 + f. Is h less than k?
True
Let y = 9891 + -10024. Which is greater: y or -140?
y
Suppose -28*f = -31*f - 15, 0 = -5*b + 3*f + 10. Is -29/71 bigger than b?
True
Suppose -4*v + 4123 = 5*k, -19*v - k = -14*v - 5159. Let z = v - 16505/16. Is -1 less than z?
True
Let s be 73226/(-3813) - (-2)/6. Which is bigger: s or -18?
-18
Let b be ((-174)/2030)/(8/98). Is -2 at least b?
False
Let j be (-3 - 11)*(-10)/35 - 19821/4950. Which is greater: j or 1?
1
Let y = 27 + -4. Suppose 2*r - 4*u = -3*r + 34, -4*r + y = u. Suppose -2*p + 32 = -2*i, r*p - 2*i + 66 = 11*p. Which is bigger: p or 11?
p
Let n = 3343/2 - 1669. Let x = 0.17 + 2.33. Let o = x + -1.5. Is n <= o?
False
Let s = 35 - 17. Let h = 706.417 + -707. Let m = -1.417 + h. Is s < m?
False
Let m be (-2508)/(-20) + 4 - 6/15. Let k = -129 + m. Which is bigger: k or -3/8?
k
Let r be (-1089)/11 - 390/26. Which is smaller: r or 55?
r
Let s(m) = -4*m**2 + 2*m + 9. Let y be s(8). Let x(n) = -141*n - 1218. Let i be x(-7). Is y != i?
False
Let l be ((-3)/9)/(-2*2/84). Let j = 19 - l. Suppose -17*x + j*x = -115. Which is smaller: 21 or x?
21
Suppose -3*k + 137 = -4*n, 4*n = 5*k - 331 + 100. Is -45 <= k?
True
Let x = 12352 - 6056. Is 6296 <= x?
True
Let u = 17.647 - 20.247. Let c = -10.92 - -11. Is u less than c?
True
Let w = 13178 - 9001. Which is smaller: 4178 or w?
w
Suppose 0 = -4*s + 3*i - 525, -2*s - 4*i - 446 + 156 = 0. Let w = 127 + s. Which is greater: -132/17 or w?
-132/17
Let o be ((-8)/(-12) - 68/66)/(4500/(-1250)). Is 0 at most o?
True
Let z be -10 - 7/((-35)/(-10)). Let s be (-6)/(-326)*(-4)/z. Let b = 470/3097 + s. Which is bigger: b or 0?
b
Let p = 177 + -70. Let f = p - 185. Which is smaller: 1 or f?
f
Let b = 23.06 - 25.16. Which is smaller: -163 or b?
-163
Let z be 9*(