0, -z - 3*q + 6 = l. Suppose -2*p = -s + 2*s, -5*s + z = 4*p. Is p bigger than -3?
True
Let n = -265 - -261. Is n at most as big as -0.03?
True
Let z = -89 - -120. Which is bigger: 32 or z?
32
Let v be (4/(-6))/(15/9). Let h = -8035/3 - -2678. Is v at least as big as h?
False
Let t = 91 + -63. Let c = -54 - -80. Which is greater: c or t?
t
Let d be 6/3 + (-3)/4. Let r be ((-8)/12)/(((-1)/3)/1). Which is smaller: d or r?
d
Let j(h) = 2*h - 19. Let u be j(9). Which is smaller: -1/415 or u?
u
Suppose -4*a - 414 - 3982 = 0. Let c be 2 - (21978/(-20) + 15/(-10)). Let p = c + a. Is p <= 2?
False
Let a be (-4 - -5)/(2/(-402)). Let s = -733 - a. Let f be 6/27 + s/(-36). Is f >= 14?
True
Suppose f + t - 4 = -0, -7 = -3*f + 2*t. Let h = -3 + f. Suppose 2*y + 8 = -d - d, y = 3*d + 4. Which is bigger: d or h?
h
Let j = 321227/8635 - 1/1727. Let b = j - 37. Let o = 5828 - 5828.3. Are o and b nonequal?
True
Let i be 2/3 + (-16)/9. Suppose -8*t + 98 = 26. Suppose -5*x - t = s, -x + s = -2*x - 1. Which is smaller: x or i?
x
Let s(v) = v**2 - 124*v - 654. Let y be s(0). Is -653 less than y?
False
Let a(q) = q**2 + 27*q + 126. Let s be a(-21). Is 1 >= s?
True
Let m = 33.2 + -33.3. Let p = -315 + 1251/4. Is m greater than or equal to p?
True
Suppose 56 = -5*i + 221. Is 32 bigger than i?
False
Let l(i) = 2*i**3 + 4*i**2 - 5*i + 5. Let f be l(-4). Is f > -41?
True
Suppose 4*n - 5*s = 4, n + 20 = -2*s - 2*s. Let j(c) be the third derivative of c**4/12 - 7*c**3/3 - 5*c**2. Let l be j(6). Is l > n?
True
Let q = -4 - 44. Let k = -81 - q. Let y be ((-144)/(-64))/(k/8). Which is bigger: -2 or y?
y
Let p = 0.5 - -0.5. Let i = -133 - -126. Which is smaller: p or i?
i
Suppose -65 = 2*z - 7*z. Suppose -4*k + z = 2*b - 5*b, 0 = -3*b - 5*k + 23. Is 4 less than b?
False
Let i be 2/(-4) + 238/28. Let v = 13 - 5. Is i greater than v?
False
Let b = -357.06 - -357. Is 0.07 smaller than b?
False
Let t = -2977/8 - -372. Is -7 less than t?
True
Let n be (-2)/((6/(-186))/1). Is 61 at least as big as n?
False
Let f = 5/3099 + 17119/914205. Is f >= 0?
True
Suppose -5*v = 5*n + 1070, -3*n - 2*v = -7*v + 666. Which is bigger: -216 or n?
-216
Let p = 6.32 - 7.32. Are 190/7 and p equal?
False
Suppose 2*s - 15 = s. Let h = -116 - -126. Let o be 2*1*s/h. Are o and 3 unequal?
False
Let w = 20 - 26. Let u be (2 + -2)*(-3)/w. Which is bigger: u or -6?
u
Let y(i) be the third derivative of i**4/8 + 3*i**3 - 33*i**2. Let a be y(-7). Which is greater: a or -4?
a
Let w = 338 - 473. Let n = w + 132. Do n and 1 have the same value?
False
Let m(g) = g**3 + 4*g**2 - 5*g - 2. Let x be m(-5). Suppose 11*o + 28 = -3*o. Are x and o non-equal?
False
Let i = 229 + -230. Does i = -240?
False
Let k(j) = 2*j**2 - 14*j - 88. Let g be k(11). Which is smaller: -14/73 or g?
-14/73
Suppose -27 + 3 = -4*g. Let o(t) = 2*t**3 + 9*t**2 - 4*t - 13. Let p be o(-7). Let b = p + 706/3. Is b at most as big as g?
True
Let m = -483 + -341. Let f be m/(-68) - (-2)/(-17). Suppose 53 = 3*d + 14. Does d = f?
False
Let p = 28 + -42. Let t be 343/14 - 2/4. Suppose -22*k = -t*k - 30. Which is smaller: k or p?
k
Let i = 43.11 - 44.9. Let n = 0.21 - i. Is n greater than or equal to -3?
True
Let x(t) = t**3 - 4*t**2 - 3*t + 11. Let o be x(4). Which is bigger: -1/1255 or o?
-1/1255
Let w = 22 - 35. Suppose 10*p + 52 = 12*p. Suppose p = 6*t - 8*t. Is t at most w?
True
Let l be (-50)/6 - 1/(-3). Suppose 0 = 2*u + 1 + 27. Let s = u + 6. Do l and s have the same value?
True
Suppose -4*c - 4 = 0, 0*m + m - 4*c = 4. Are -26 and m equal?
False
Let i be (-10)/(-4*(-5)/30). Let y be (-8)/12*(-9)/i. Let k = 0.17 - 0.24. Is y less than or equal to k?
True
Suppose -11*y = -8*y + 207. Let x = -61 - y. Which is bigger: 7 or x?
x
Let p(w) = w**3 - 24*w**2 - 48*w + 34. Let m be p(26). Is -1 smaller than m?
True
Let t = -1 + 4. Suppose -4*u = u + 5, w - 4*u - t = 0. Which is greater: 3 or w?
3
Suppose 0 = 5*y + 36 - 26. Let u be -3 + (0 - y) + 1. Which is smaller: u or 3/11?
u
Let p = 92 + -91.94. Let a = 9 - 9.2. Let m = -3.2 - a. Is p greater than m?
True
Let d = 29.8 + -30. Let g = -5/14 - -1/14. Is g greater than or equal to d?
False
Let w be (-1)/7 - (-444)/(-28). Let a = 4 - w. Which is greater: a or 19?
a
Let b(f) = 3*f**2 - 74*f + 11. Let g be b(10). Is g > -429?
False
Let j(m) = -2*m + 1. Let u be j(4). Let a be ((-69)/2)/((-3)/4). Let w be (-2)/u - a/14. Which is smaller: -5 or w?
-5
Suppose -3*x + 296 = -5*h, 0*x - x + 98 = -2*h. Let c be (-25)/6 - (-17)/x. Which is smaller: -13/5 or c?
c
Let w = 805 - 1044. Which is bigger: -238 or w?
-238
Let r be (-5)/50*-146 + 3. Let n(x) = x**3 - 4*x**2 - 6. Let y be n(5). Which is greater: y or r?
y
Suppose 3*z = -14 - 19. Let m = z + 15. Let j(n) = 19*n + 1028. Let k be j(-54). Which is greater: k or m?
m
Suppose 40 = u - 5*u. Let w be (-7 + (13 - -4))*-1. Are u and w unequal?
False
Let j be (3936 - 3) + -4 + (11 - 4). Let a be ((-72)/j)/((-2)/8). Which is greater: 1 or a?
1
Suppose 552 = -0*q + 12*q. Let s = q - 40. Which is greater: 3 or s?
s
Let m = -233 - -475/2. Which is smaller: 5 or m?
m
Suppose 6*i - 4 = 2*i + 4*d, -2*i + 5*d = 4. Suppose -12 = 4*s, -i*n + 0*s - 9 = 3*s. Suppose 3*z - 5*z = n. Which is bigger: z or -1/8?
z
Let c = -2.06 + -82.94. Let s = -84.8 - c. Which is smaller: 0.1 or s?
0.1
Let t(v) = -v**2 - 12*v - 10. Let h be t(-10). Let c be ((h/35)/(-1))/(8/(-7)). Which is smaller: -14 or c?
-14
Let w = -179 + 181. Is w at most 12/7?
False
Let s = -20 + 12. Let b = -19 - -10. Let a(i) = 2*i + 10. Let r be a(b). Is s at least as big as r?
True
Suppose 4*v - 227 = 313. Suppose 0*w - 5*w - v = 0. Is -1 >= w?
True
Let u = 29 - 40. Let d = u + 7. Let r(p) = p**2 - 65*p + 123. Let k be r(2). Which is greater: k or d?
k
Suppose 3*o - o - 10 = 0. Suppose -o*y + b = 4*b, 19 = 3*y - 2*b. Suppose -1 = 2*l - y. Do l and 6/13 have the same value?
False
Suppose 4*n - 2*z - 322 = 0, 4*n + 4*z = 105 + 223. Let t be 18/n + (-100)/(-198). Suppose k = 3*k. Does t = k?
False
Let z = -23 - -29. Suppose 5*k - 209 = -d, -213 = k - z*k - 2*d. Is k > 40?
True
Let l be (-380)/(-16) + (-1)/(-4). Let b = l + -8. Which is bigger: b or -2?
b
Let z = 4 + -1. Suppose 55*q - 58*q = 5*k + 23, 3*k = -q - 13. Which is greater: z or q?
z
Let k be 1*0/(-1)*1. Let i be (-4)/(-72)*(-66)/4. Let q = -17/60 + i. Are q and k unequal?
True
Let m be 4/(-2) + 651/315. Which is bigger: m or 1?
1
Let b = 1165 - 1164.9421. Which is smaller: -1/4 or b?
-1/4
Suppose 5*k = 20 - 25. Which is smaller: k or 237?
k
Let c = -1113 + 1293. Is 178 < c?
True
Let f = 8 + -5. Let v(z) = z + 0 + 0*z - 4*z - 2. Let k be v(-1). Which is smaller: k or f?
k
Let t be (-12)/9*78/(-4). Suppose -2*y = -3*p - 14, t = -4*p + 2*y + 6. Let l = p + 10. Which is greater: l or 7/2?
l
Let z(v) = -12*v**3 - v**2 + v + 1. Let t be z(-1). Suppose 5*l + 4*w = -t, 28 - 9 = -l - 5*w. Is l at least as big as -1/66?
True
Let q = -0.14 + -1.36. Let s be ((-822)/20)/(18/2). Let l = s - -25/6. Is l not equal to q?
True
Let h be (-1938)/(-255) + (-1 - 14/(-10)). Let r be (-43)/(-3) - (-2)/(-6). Suppose -5*l + 21 + r = 0. Which is smaller: l or h?
l
Let t be (-4)/10 - 13300/(-750). Let q(a) = 2*a**3 + 2*a - 2. Let y be q(2). Which is greater: y or t?
y
Let m be (1/(-3))/((-40)/(-12) - 3). Suppose 3*i + 2*i - 195 = 0. Let g be i/(-24)*2 + 1. Is g >= m?
False
Let f = 0.39 + -0.3. Which is bigger: 0.1 or f?
0.1
Let d(y) = -8*y**2 - 42*y - 13. Let l be d(-5). Which is bigger: l or -19/11?
-19/11
Let w = -331622/2359 + 984/7. Which is greater: 0 or w?
0
Let s(t) = 2*t**2 + 2*t + 4. Let q be s(3). Suppose -d - d - q = 0. Let i = -40 - -26. Is i bigger than d?
False
Suppose 23*i = 34*i - 198. Do 117/7 and i have the same value?
False
Let j = 60 - 302/5. Let g = 2.47 - -29.53. Which is bigger: j or g?
g
Let x(u) = 5*u + 2. Let s be x(2). Let r(f) = f**2 - 11*f + 18. Let i be r(s). Let l be (-46)/i + (-2)/(-10). Which is bigger: l or -1/6?
-1/6
Let j = -108 - -43. Let a be (-10 - -43)/(-1*(-3)/(-6)). Is j at most a?
False
Let x be -2 - (1 + 1 - (9 + -42)). Let s = 28 + x. Which is smaller: s or -8?
s
Suppose 2*p = 5*p - 93. Let h = -29 + p. Is -1/9 != h?
True
Let m(t) = -t**2 - 6*t - 7. Let g be m(-5). Suppose 29*x - 25*x = -100. Which is smaller: g or x?
x
Suppose k = 2*x + 379, -