). Which is bigger: -3 or o?
o
Suppose -2*o - 5*c = -11, -o - 2 = -0*o + 4*c. Suppose o = d + 6. Suppose -4*n + 0 - d = 0. Which is greater: -4 or n?
n
Let i = -19.36 - -19. Let m = i - -0.36. Is m greater than or equal to 1?
False
Let y be (6/(-468))/((-89)/(-2)). Let k = y + 954532/24297. Let t = -39 + k. Which is smaller: 0 or t?
0
Let t(l) be the first derivative of -2*l**3/3 + 9*l**2/2 + 7*l - 11. Let r be t(7). Is r less than -29?
False
Let b = -82 - -42. Let g = b + 41. Which is smaller: g or -2/15?
-2/15
Let x be ((-2)/(-4))/((-1)/16). Let z = -1105/3 - -368. Which is smaller: x or z?
x
Let k be (-2)/4*(-4)/6. Let s be 8/(-68) + 1/17*2. Does k = s?
False
Let a = -55 + 54. Let d be (-28)/21*(-12)/(-2) - a. Which is smaller: -5 or d?
d
Suppose 0 = 5*m + 3*h - 337, 8*m = 4*m - h + 264. Let n = m - 35. Is n equal to 30?
True
Let o = 48 - 8. Let c be (1 + 1 + 2)/1. Suppose -u = c*u - o. Which is smaller: u or 10?
u
Let o = 0.6 + -0.6. Let j(l) = l**2 - 11*l - 12. Let a be j(12). Do o and a have the same value?
True
Let l = -191/2 - -94. Let p = 0.2 - -3.8. Which is smaller: p or l?
l
Let y = -16521/7 + 2360. Which is greater: 225 or y?
225
Let x be -170 - 3/(8 - 5). Which is greater: -343/2 or x?
x
Let i be 336/(-15) + 6/15. Let g = -272 + 250. Is g greater than or equal to i?
True
Suppose 2*m = -10*m - 1824. Is m <= -152?
True
Suppose 4*n - 2*t = 5*n - 38, 0 = 2*n + 5*t - 81. Let a be -1*1 + 3 + -4. Let y be -1 + a + 148/n. Is 3 at least y?
True
Let f be 2/((3/2)/3). Let k = -9 + 5. Let d be (3 - (-12)/k)/(-1). Which is smaller: f or d?
d
Let p be (-28)/(-5) + 6/15. Let j = p - 7. Is j greater than -18/11?
True
Let g(w) = 22*w**2 + 22*w - 19. Let d(o) = 10*o**2 + 11*o - 9. Let s(h) = -9*d(h) + 4*g(h). Let n be s(-6). Are n and 0.085 equal?
False
Let k(y) = -21*y - 8. Let r be k(-3). Suppose 2*l - 2*m + 10 = -0*l, 5*l + 5*m + r = 0. Which is smaller: -5 or l?
l
Let i be ((-10)/(-1092))/(256/10206562188). Let w = -2555733/7 + i. Let g = -1/128 - w. Are -1 and g unequal?
True
Let z be (-1 - -8 - 5 - 7) + -18. Is 2 > z?
True
Suppose -9 = -3*u + 9. Let v(x) = 7*x**2 - 12*x + 4. Let a(k) = -6*k**2 + 11*k - 3. Let n(t) = 6*a(t) + 5*v(t). Let g be n(u). Are 2/7 and g equal?
False
Let f = 776444/13 - 27611859/455. Let o = f - -959. Let m be 4 + 12/(-4) - 2. Is m greater than or equal to o?
False
Suppose -4*n = -3*f - 126 - 14, 5*n + 149 = -3*f. Let c(r) = -27*r**3 - r**2 + 1. Let o be c(-1). Let v = o + f. Is v less than -21?
False
Let r = 3/172 - 295/7052. Let z = -2.8 - -3.8. Which is smaller: r or z?
r
Let u = -217 + 139. Let v = -140 - u. Which is smaller: v or -61?
v
Let f be (12/(-8))/(-1 - -7). Suppose -4*p = -5*d - 13, 3*d - 9 = 2*d - 5*p. Which is bigger: f or d?
f
Let l(j) = 3*j - 3. Let w be l(4). Let m be 16/(-24) + (-12)/w. Is m at least as big as 34?
False
Let u be -14*5/(-10) - -3. Let f be (u/15)/((-2)/3)*-13. Which is bigger: 12 or f?
f
Let d(s) = -7*s - 65. Suppose -2*r = g + 26, 0*g + 3*g - 57 = 3*r. Let h be d(r). Which is smaller: 41 or h?
h
Suppose -12*f - 2075 = -407. Let j = f + 121. Which is bigger: j or -37/2?
j
Let q be (-4 - 0/(-3)) + 13. Suppose -5*y + 24 = -q*y. Which is bigger: 0.01 or y?
0.01
Suppose 0 = g - 5, -4*g - 12 = 2*z - 18. Is -44/7 < z?
False
Let m = -21.7 + 21.7. Which is smaller: -0.15 or m?
-0.15
Suppose -270 = -5*k - 5*b, 3*k = -2*k + 5*b + 320. Is k bigger than 60?
False
Let p be (0 - 1)/(15/15). Is 3/104 >= p?
True
Let o be 17/(187/(-110))*76/10. Which is bigger: -74 or o?
-74
Let g = -883 - -864. Is 34 less than g?
False
Suppose -26 = -7*y - 40. Let z be 2/(-32)*y - (-567)/(-1848). Are -1 and z nonequal?
True
Suppose -3*i + 22 = 3*s - i, -24 = -3*s - 3*i. Suppose 0 = 4*g - s*g + 12. Suppose -13 = -2*p + 1. Which is bigger: g or p?
p
Let l(f) = -231*f**3 - f**2 + 2*f + 4. Let y be l(-1). Is 232 at least y?
True
Let x(o) = 6*o**2 + 65*o + 24. Let t be x(-10). Which is bigger: -294/11 or t?
t
Let y = -278 - 54. Are y and -332 equal?
True
Let q = 12 + -1. Let i(j) = -j**2 + 13*j + 25. Let y be i(q). Is 46 less than y?
True
Let x(o) = -o + 15. Suppose -5*m - 8 = -4*i + 75, -5*i - m = -82. Let y be x(i). Is -12/7 > y?
True
Let j(b) = b**2 - 8*b - 2. Let d be j(6). Let c = -17 - d. Let f be 8/(-12)*c/(-6). Which is smaller: f or -9?
-9
Suppose 2*y = -2*t + 244, 2*y - 326 = -4*t + 166. Suppose -129*x + t*x - 25 = 0. Is -17/3 <= x?
True
Suppose 0*n = -n - 9. Suppose -42 = -13*b + 10. Suppose -b*c = -7*c - 24. Are c and n non-equal?
True
Let b be (-6)/(-12) + -107 + 1. Is -106 < b?
True
Let l(m) = 21*m + 142. Let c be l(-6). Which is greater: 22 or c?
22
Let y be 148/427 - (-18)/(-42). Which is bigger: y or -1?
y
Let j be -47 - (0/3 + 3). Let i = -34 - j. Is -1 greater than or equal to i?
False
Let p = -1 - -3. Let o(u) = -2*u - 39*u**2 + 36*u**2 - 3*u - 4 - u**3. Let h be o(-2). Is h bigger than p?
False
Let t = 513 - 93. Is t at most 420?
True
Let w be 0 + -2 - (-829)/2. Let t = -1390/3 + w. Let k = t + 51. Which is greater: 1 or k?
1
Let v be (3 - 2)/(-36 - -66). Suppose 0 = -4*x - 0 + 4. Is x at most as big as v?
False
Let z = 60 - 58. Let p be (-10)/25 - (228/(-255))/z. Which is greater: p or -1?
p
Suppose 14*p + 86*p = -41100. Is -413 at least p?
False
Let o = -22 + -13. Let q = o - -17. Is -18 less than or equal to q?
True
Let g(v) be the second derivative of -v**4/12 + 11*v**3/6 + 3*v**2/2 + 36*v. Let s be g(10). Is s not equal to 13?
False
Let n = -1269 - -21567/17. Which is bigger: n or 0?
0
Let d = 0.15 - -0.11. Let l = d - 0.16. Let n = -0.1 + 0.08. Do n and l have different values?
True
Let n = -119.9 - -134. Let p = -25 - -11. Let j = p + n. Is j less than -1?
False
Let m = 747.2 + -747. Which is smaller: 1/11 or m?
1/11
Let k be (4 + -1 - -4) + (-7322)/70. Is -97 < k?
False
Let a be (-4)/(-6) - (-7)/(12390/(-1000)). Is a at most -1?
False
Let g(h) = h**2 + h + 1. Let r(b) = -5*b**2 + b. Let t(p) = -4*g(p) - r(p). Let f = 15 + -9. Let m be t(f). Which is greater: 0 or m?
m
Let g be (-5)/10*(57 + 1). Let w = 20 + g. Let c be (6/w)/(3/(-18)). Is 5 < c?
False
Let j(d) = 13*d**2 + d. Let t be j(1). Suppose 0 = 4*y + v - 507, -4*y - 2*v + 295 + 215 = 0. Let x be 2/t - 102/y. Which is greater: -2 or x?
x
Let u = -0.88 + 0.98. Which is greater: u or -14/3?
u
Suppose y + 8 - 1 = -5*t, 0 = t + 2*y + 5. Let w be (-6 + 8)*t/2. Is w less than or equal to -2/7?
True
Let t = 0.223 - 1.223. Which is greater: t or 103?
103
Let h = -96 - -109. Is 16 > h?
True
Let b = -6.995 + -0.005. Does b = 1/5?
False
Let y(i) = -i**3 + 4*i**2 + 4*i + 8. Let w be y(5). Suppose -w = -4*s - 7. Let x be 95/140 - 2/8. Which is greater: s or x?
x
Let a = 0.01 + -0.11. Let p = -28.19 - -28. Let z = p + 0.2. Which is greater: a or z?
z
Let u = -35812 - -214265/6. Let l = u + 102. Suppose -4*m = 3*o + 6, -2*o - m + 19 = -6*m. Which is greater: o or l?
o
Suppose -4*j + 24 = -0*j - 4*s, 4*j - 19 = -s. Which is smaller: 11 or j?
j
Let a = 0.69 + -5.69. Is a at most 4?
True
Let t be 6732/156 - 1*2/13. Suppose 10*o = t - 13. Is 0 at least as big as o?
False
Suppose 3*c = 5*c - 28. Let f be c/3 + 6/(-9). Suppose 3*j = -2*j - 5*k + 45, 48 = 5*j + f*k. Which is bigger: 14 or j?
14
Let o be (3/(6 - 0))/(4/8). Suppose w + 1 = 3. Which is greater: w or o?
w
Suppose -g = -2*t, -4*g + 10 = 5*t - 8*t. Suppose -f = -t + 3. Are f and 0 nonequal?
True
Suppose 17 = -5*i + 52. Is 68/9 smaller than i?
False
Let n be (1/51)/((-105)/14 - -7). Let j(m) = -m - 6. Let b be j(-7). Which is bigger: b or n?
b
Let l = 3957 + -4007. Let v(r) = -r**2 + 3*r + 4. Let d be v(-6). Is l < d?
False
Let h be (-108)/(-15) + 2/(-10). Suppose 6 = -2*v - d, 3*d - 18 = 5*v + h*d. Let s be v/1 - (-45)/21. Are 1 and s non-equal?
True
Let i(d) = -8*d**3 + d**2 - 1. Let y be i(-1). Let q be 28/y*(-24)/(-21). Let j be q/18 + 32/18. Which is greater: 0.4 or j?
j
Suppose -140 = 5*s - 2*t, 2*s + 49 = -t + 2. Is s > -26?
False
Suppose y + 0*y = 3*y. Is y > -3/130?
True
Let h be (-30)/(-34) - 284/(-2414). Is h bigger than -21/170?
True
Let h = 0.0309 - 2.0309. Which is bigger: 70 or h?
70
Suppose -3 = -55*w + 52*w. Let m = 31561/2530 - -1011/506. Let r = -146/11 + m. Is r equal to w?
False
Let m = -8.2 - -8.3. Which is smaller: 160 or m?
m
Let g be (-185)/(-110) + (-20)/110. Which i