- -1. Is u smaller than -2?
False
Let q = -37 + -4. Which is greater: 0.1 or q?
0.1
Suppose 0 = 40*c + 15 + 25. Which is smaller: c or 5/121?
c
Let n = 193 + -376. Is -182 equal to n?
False
Suppose 0*l + 6 = 2*l. Let n = 13 + -8. Suppose u + n*q - 2*q - 18 = 0, -14 = -3*u - q. Is u at least as big as l?
True
Let h = -0.2 + -0.1. Let q = 0.3 + h. Let c = -1019 - -1018.95. Which is smaller: q or c?
c
Let h(a) = -3 + 1 - 98*a + 96*a. Let p be h(-1). Let y(q) = q**3 - q**2 + 2*q + 7. Let d be y(p). Which is smaller: 1 or d?
1
Let v = 3/385 + 8383/11165. Is v at least 1?
False
Let h = 3587 - 161423/45. Which is smaller: 0 or h?
h
Let r be 3/(52/(-8) + 5). Let v be 708/51 - r/17. Is 13 <= v?
True
Let t = 118 - 119. Which is greater: 10/27 or t?
10/27
Suppose 3*f - 21 = -2*i - 6, -4*i + 6 = -2*f. Let l = -2803/3 - -935. Which is greater: l or f?
f
Let k be ((-231)/12)/(5/20). Is k < -540/7?
False
Let z = 188 - 602. Let k = z - -1255/3. Is 0.1 not equal to k?
True
Let b(l) = -95*l**3 - 3*l - 2. Let f be b(-1). Do f and 0.1 have different values?
True
Suppose -5*k = -5*u - 35, -9*k = -u - 12*k + 5. Which is bigger: u or -39?
u
Let f be (-75)/50 - (-557)/(-2). Is -280 at most f?
True
Suppose -5*l - 153 = 2*s, 4*l = -3*s - 129 + 1. Which is bigger: -31 or l?
l
Let b(t) = -t**3 - 3*t**2 + 4*t. Let i be b(-4). Suppose -16 = 29*f - 33*f. Let m be -2*f/((-32)/(-2)). Is m at least i?
False
Let n = 4293 + -47258/11. Is -4 less than n?
True
Suppose -5 = -0*u + 5*u. Suppose -h - 3 + 13 = -2*y, 4*y + 20 = h. Let g = y - -3. Which is bigger: u or g?
u
Let m(y) = y**3 + 2*y**2. Suppose -v = -0*v + 2. Let a be m(v). Suppose 4*i + 3*b = -8, -5*i - 4*b - 2 - 7 = a. Is -3 smaller than i?
False
Let n = -59 + 64. Suppose -n*p + 2*k = -42, 6 + 0 = p - k. Which is greater: 4 or p?
p
Let h = -4/129 - -5821/516. Is h at least as big as 10?
True
Let q = 0.046 - 4.646. Let i = 5 + q. Let u = 0.1 - i. Which is bigger: u or 1?
1
Let d be (-6)/(-39) + (-4 - (-313)/78). Which is greater: d or 0.6?
0.6
Suppose 5*w + 6 - 1 = 0. Let m be (-1)/(4 + 51/(-12)). Let i be m/7*(-18)/9. Is w != i?
True
Let p be (15 + -17)/(-1 - -3). Let b be 74/156 - 4/24. Is b > p?
True
Let r = -33.3 - -34.9. Which is bigger: 0.1 or r?
r
Let h be (-3)/(-15) - -3*(-4)/(-15). Let o = -910 - -121031/133. Let a = o + -3/38. Which is bigger: h or a?
h
Let y = -616 + 599. Is y < -5?
True
Let n(g) = -2*g**2 - 25*g + 202. Let a be n(7). Is a smaller than -74?
False
Suppose 3*s + 1810 = -5*w, -4*w - 5*s - 670 = 778. Which is smaller: -364 or w?
-364
Let k = 1426 - 1425. Is k smaller than -7/176?
False
Let o be (-13)/26 - (-9)/2. Suppose 4*i = -o*h, 2*i + 1 = -i - 4*h. Let g = -17079/31 + 551. Which is smaller: i or g?
g
Let s = -125 + 135. Is 99/10 at most as big as s?
True
Let t be (1/7 + 1375/(-1050))*4. Is -5 != t?
True
Let s = -106 - -117.4. Let c = s - 1.4. Let u = c + -11. Which is bigger: u or 6?
6
Suppose -6*j - 1 + 31 = 0. Suppose -2*b + 2*s - 2 = 0, -10 = -3*b - 3*s + j. Suppose b*l = -2*l. Is l less than 10?
True
Let c(y) = 6*y**3 + 8*y**2 + 10*y + 30. Let p be c(-5). Which is bigger: -571 or p?
p
Let i(g) = 71*g - 23. Let s be i(5). Is s not equal to 1?
True
Suppose 2*s = 4*n - 10, -4*s = s - 5*n + 35. Let c = -14 + -11. Let h be 9/(-30) - (-5)/c. Is h less than s?
False
Let b be 2 + (5 + -8)*20064/(-36). Which is greater: 1675 or b?
1675
Let w(a) = -7*a - 18. Let j be w(-3). Let p = 21 + -3. Suppose 5*u + j*m = p, 3*u - 2*m = u + 20. Which is greater: u or 5?
u
Let f(i) = i**3 - 5*i**2 + 12*i - 28. Let j be f(3). Do -19 and j have the same value?
False
Let t(s) = -s**2 + 13*s + 1. Let x be t(9). Suppose x - 11 = -z + 5*h, 2*z - 2*h = -12. Do z and 2/27 have different values?
True
Let d be (0 - -4)*(-1)/(-2). Let g be (-1 + 0 - 0)/(5/265). Let s be d/(-11) - g/110. Which is bigger: s or 0?
s
Let k(y) = -y - 4. Let h be k(-5). Suppose -m + 38 = 11. Let a be 3 + ((-21)/m - 2). Is a greater than h?
False
Let w = 12283/9 - 1365. Which is bigger: w or 3/184?
3/184
Let b(i) = i**2 - 21*i + 1. Let w be b(21). Which is smaller: -1/371 or w?
-1/371
Let u = 1/3012 + 1969/117468. Suppose 3*x + 3*b - 13 = -10, 3*b - 5 = -5*x. Which is greater: u or x?
x
Suppose 0 = 4*c - 4*a - 1108, 6*c - 2*c - a - 1114 = 0. Do c and 276 have different values?
True
Let s = 2374 - 2379. Suppose -h - 40 = -6*h. Let o(y) = y**3 - 9*y**2 + 8*y - 4. Let f be o(h). Which is smaller: s or f?
s
Suppose -l = 2*l - p + 26, 0 = 3*l + p + 22. Suppose -20 - 10 = -2*c. Suppose -4*z - 17 = c. Are l and z nonequal?
False
Let w(y) = -y - 1. Let g be w(6). Suppose 4*v + 15*o - 19*o = -16, 4*v - 5*o = -16. Do v and g have the same value?
False
Let y = -17086/7 + 2446. Let h = 655/126 - y. Let b be 2/(-5)*(-11 - (-68)/8). Is h equal to b?
False
Let a = 10 - 7.78. Let i = a + -2. Let c = i - 0.12. Which is smaller: c or 0.2?
c
Let g be (-22029)/(-3668) + (2 - 8). Which is smaller: -1 or g?
-1
Let l be (-4)/(-6) - ((-146)/(-525) + (-8)/(-20)). Let v(n) = -n**2 - 5*n + 7. Let x be v(-6). Which is smaller: x or l?
l
Let n = 0.58 - -0.02. Let a = -2.23 + 5.23. Is n smaller than a?
True
Let q(p) = -p**3 + 6*p**2 + p - 8. Let v be q(6). Let o be 8/(-84)*(70/(-4) + v). Is 2 at most o?
False
Let s(z) = 11*z - 163. Let a be s(15). Suppose 12 = 5*t + 2. Let d = t - a. Which is smaller: d or -10/7?
-10/7
Let s = -173 + 389. Which is bigger: s or 217?
217
Let r = 49 - 48. Is r at most -6/53?
False
Suppose 3*m + 144 = 4*l, 0*l - 3*m = l - 36. Let w = 38 - l. Is -6 greater than w?
False
Let s(c) be the first derivative of -c**4/4 - 2*c**3 + c**2/2 + 6*c + 2. Let l be s(-6). Let v be ((-12)/8 + 2)*l. Which is greater: 10/11 or v?
10/11
Let h = 37 + -41. Which is smaller: -0.24 or h?
h
Let p be (-6 + 9)/(1 - 0) - 3. Which is greater: 5 or p?
5
Suppose -4 = 3*q - 1. Let k = 4 - q. Suppose -l = -k*l - 40. Is -10 less than l?
False
Suppose 5*x = g + 33, 0 = -4*x - 3*g - 1 + 16. Is x greater than or equal to 47/8?
True
Suppose 0 = -6*v - 1868 - 766. Is -879/2 at most as big as v?
True
Let g(k) = -2*k**2 + 13*k - 2. Let a(x) = -3*x**2 + 25*x - 3. Let h(q) = -3*a(q) + 5*g(q). Let l be h(-5). Let m = l + -18. Which is bigger: m or 7?
7
Let c = 0 - 0.1. Let s = -648 + 665. Is s at least c?
True
Let h = 0 - 4. Let b = 3 + h. Let j = 3/28 - -61/84. Which is bigger: j or b?
j
Let j = 37120 + -37747.94. Let u = 616 + j. Let h = 12 + u. Are h and 0.1 nonequal?
True
Let q be 1 + 12/3 + 6 + -8. Let y be 594/(-121)*(-4)/6. Which is smaller: y or q?
q
Let y = -401.4 - -402. Is y < 13?
True
Let z(p) = -2*p - 4. Let n be z(3). Let x = -10 + 14. Let b = x + -15. Which is smaller: b or n?
b
Let l be (-48)/(-18)*(-6)/(-4). Let b be 34/l + 12/(-8). Is b less than or equal to 7?
True
Let c = 1811563/4985 + -14/4985. Which is greater: c or 364?
364
Let l(q) = 15*q + 47. Let f be l(-3). Let x(v) = -v - 3. Let w be x(-3). Suppose w = -f*j + 5*h - 15, 5*h + 6 = 3*j + 21. Which is smaller: 4/11 or j?
j
Suppose -2*i - i = -42. Suppose 3*v + 51 = 5*g + 4*v, 19 = 2*g - v. Let r = g - i. Is r at least -4?
True
Let o = 1.06 - 79.06. Let q = o + 78.1. Let g = -0.1 + -0.3. Which is bigger: q or g?
q
Let o(w) = -3*w**2 - 19*w + 3. Let v be o(-6). Is 16 at most as big as v?
False
Let u = -0.03 + -20.97. Let a = u - -20.9. Is 3/20 at most a?
False
Suppose 2*w - 3 = -w. Let y be ((-4)/(-4) + 2)*w. Is 3 at least as big as y?
True
Let s(g) = -g**3 + g**2 - g + 4. Let o be s(0). Let z(x) = 0*x - o*x + 4*x - x + 10. Let n be z(11). Which is smaller: n or 0?
n
Suppose -16 = 4*m, 0*h - 54 = 3*h + 3*m. Let c(w) = -1. Let q(r) = -r**2 + 33*r - 40. Let k(v) = 6*c(v) + q(v). Let n be k(32). Is h greater than n?
False
Let i be (2253/(-14))/1 - 0. Suppose -11*n = 1641 + 130. Let d = i - n. Are 1 and d unequal?
True
Let d = 7.2 - 5.2. Which is smaller: d or -0.043?
-0.043
Let r = -16 - -34. Suppose -5 = d + 4*s + 6, 3*d = 3*s - r. Which is smaller: d or -6?
d
Let y = -805 - -807. Is 5 less than or equal to y?
False
Let r = 2124 - 2118. Let q = -0.9 + -0.1. Let n = 1 + q. Is r < n?
False
Let p(s) = 11*s**2 + 9*s - 2. Let h(b) = -5*b**2 - 4*b + 1. Let v(w) = 9*h(w) + 4*p(w). Let o be v(1). Let j be 3 - (o + 3) - 3. Is -4 > j?
False
Suppose 3*w = w - 3*m - 3, 1 = -4*w - m. Suppose w = 16*i - 12*i. Let o(n) = -n**2 + 4