et s = 0.00383 - -0.12617. Which is bigger: s or q?
s
Let r = 5 - 0. Which is greater: 33/8 or r?
r
Let t(i) = -8*i**2 - i - 1. Let a be t(-1). Suppose 4*j - 44 = -8. Let o = a + j. Which is smaller: o or 1/16?
1/16
Let d be 5726/920 + ((-72)/32)/3. Let r = -6989/272320 - 1/2368. Let z = d - r. Which is smaller: 6 or z?
z
Let h = -1836 + 180. Are -1657 and h nonequal?
True
Let m = -1428 - -7162/5. Let b(p) = -4*p**2 + 371*p - 271. Let t be b(92). Which is smaller: m or t?
m
Suppose 0 = -x - 5*a + 13, -2*a = 2*x + 3 - 13. Suppose -x*r - c - 2 = r, -3*r = -5*c + 13. Which is smaller: 3/41 or r?
r
Let x(a) = -3 + 5*a - 2*a - 4*a. Let f be x(-8). Suppose 4*t = -20, -5 = -2*z - t - 2. Which is bigger: z or f?
f
Let k = -1695 + 1686. Is k > 14?
False
Let m be 1183/182 + 1*-7. Which is greater: -1260 or m?
m
Suppose o = -7 + 36. Let x be (o/(-3))/(4/20). Let h = 48 + x. Which is greater: 3 or h?
3
Let i = 80 - 115. Let y = -30 - i. Is -0.5 less than y?
True
Suppose -1 - 7 = 2*l - h, -3*l + h = 10. Let q be 49/3 + (-19)/57. Suppose 3*o = 4*w + q, 3*o + 14 = -5*w - 6. Is o less than or equal to l?
False
Let q(x) = -4*x**2 + 13*x - 3. Let w be q(3). Is 1/160 != w?
True
Let y = 21 + -17. Suppose 2*i = -y*l - 8, 3*i - l = l + 4. Let g = 0.11 - 0.04. Is g != i?
True
Let d be 2/(-3) + (-2 - (-2138)/21). Let c = 99 - d. Let u = 3 + -1. Which is smaller: u or c?
c
Let h = -65 + 68. Suppose z = 2*z + f + 6, h*f + 3 = 0. Are -5 and z equal?
True
Let b = 6504.9 + -6505. Let h = 136 - 277/2. Is h at most b?
True
Let g = 217 - 201. Let u = -0.4 - -0.3. Which is bigger: u or g?
g
Let x = 737 + -515. Which is smaller: x or 1?
1
Suppose -m - 3*i - 15 = 2*m, -4*m - 5*i = 22. Let l = 3451.4 - 3451.42. Is m > l?
False
Let p = -1831 - -1147. Which is greater: p or -0.1?
-0.1
Let g be -89*3/1995 - (-8)/76. Do g and 1/6 have the same value?
False
Suppose 0 = 16*s - 0 + 16. Which is smaller: 432 or s?
s
Suppose 5*i + 230 = 215. Let n(k) = k + 2. Let f be n(0). Are i and f nonequal?
True
Let y(z) = 33 - 29 - 28 - 9*z. Let a be y(-10). Is a at most -1?
False
Let g be (-21)/(-90) - (-1)/(-6). Is 0 < g?
True
Let n be 1031*(150/(-20))/(-15). Is 517 greater than n?
True
Let g = 2379 - 9395/4. Are g and 30 non-equal?
True
Let r = 7.42 + 0.08. Let a = 7 - r. Let p = 2.6 - 2.6. Does p = a?
False
Let w = 241/108 - 14227/6372. Is 0 < w?
False
Let q = 54.971 - 55. Let p(u) = -3*u**2 + 23*u - 21. Let a be p(1). Which is smaller: q or a?
a
Let q(x) = 3*x**2 + 35*x - 37. Let o be q(-13). Suppose 3*j - 11 - 31 = -5*a, 2*a = -j + 14. Is o at most as big as j?
False
Let l = 0.21 + -0.22. Let h = -0.11 - l. Let p = -24/17 + 154/85. Which is greater: p or h?
p
Let y(v) = 3*v**2 + 3*v + 6. Let t be y(6). Let l be ((-5)/8)/((-22)/t). Is l greater than 3?
True
Let a = -17.738 - 17.281. Let w = 35 + a. Is 0.1 greater than w?
True
Let r = -124 - -1115/9. Let q = -3 - -3. Let v be 0/(-3 - (q + -1)). Is v smaller than r?
False
Let p(v) = v**2 + 8*v - 8. Let q be p(-9). Let l(z) = z**3 + 5*z**2 - 8*z - 7. Let a be l(-6). Suppose 4*o + 0 = -8, -a*u = -2*o - 9. Is q at most u?
True
Let s = 2044/369 + -218/41. Let y(g) be the third derivative of -g**6/60 - g**5/30 - g**4/24 + g**2. Let r be y(-1). Which is greater: r or s?
r
Let t = 0.7 + -0.39. Let a = -0.41 + t. Which is smaller: 4 or a?
a
Let l = -8.992 - -9. Let z = 0.051 + 0.049. Is l less than or equal to z?
True
Let z = 8 - 7. Let j be (-4)/(-28) - 115/(-175). Which is greater: j or z?
z
Suppose 3*w - 13*w - 450 = 0. Is w > -45?
False
Let p = -13 - -7. Are -0.09 and p nonequal?
True
Let o(i) = i + 2. Suppose -4*m + w = -92 + 19, 2*w - 25 = -m. Let x be o(m). Suppose -2*l = 0, l - 6*l = 2*b - 40. Which is greater: x or b?
x
Let a = 28 + -14. Let n = 25 - a. Let o = n - 7. Is 0.3 < o?
True
Let h(a) be the third derivative of -a**6/120 - a**5/12 - a**4/8 + a**3/6 - 4*a**2. Let c be h(-4). Let s = -11 - c. Do -8 and s have the same value?
True
Suppose -2*n = 0, b = 2*b - n + 1. Let a be (6/(-5) + 1)*b. Let l be (-3)/(-6)*(-4)/8. Is a != l?
True
Suppose 3*w = -0*w + 9. Let p = 4 + w. Suppose -p = -i + 3. Is 10 at most i?
True
Let p be 2/((-76)/12 + 6). Let z be -1 - -2 - (0 + -1). Suppose 3*h = 5*a - 33, -2*h + 4*a = 22 + z. Are p and h equal?
True
Let b be ((-1)/2 - 0)*-2. Let h = b - 1. Let z be 1*(-2)/63*(-12 + (-9)/(-1)). Which is bigger: h or z?
z
Let r(h) be the third derivative of -h**5/60 + h**3 + 8*h**2. Let t be r(3). Are t and -2 unequal?
True
Let b be 5 + 7/((-39536)/28248). Which is smaller: b or -1?
-1
Suppose 3 = -h, -4*k - 2*h = -5*k - 8. Which is greater: k or -23?
k
Let y = -408 + 177. Let t be (-130)/231 - (-14)/y*-3. Which is smaller: t or 1?
t
Suppose 2*k - 3 = -4*c + 3*k, -3*k = -3*c. Let t = -5.162 - -5.2. Let o = 0.138 - t. Which is greater: c or o?
c
Let t = -606 - -967. Is t > 361?
False
Let v(u) = -4*u + 27. Let m be v(6). Which is smaller: 10 or m?
m
Let q be -2*(-1)/(-1) + 7. Let u(s) = 9*s**3 - 9*s**2 + 4. Let a(y) = 8*y**3 - 9*y**2 + 3. Let f(m) = -6*a(m) + 5*u(m). Let g be f(3). Which is smaller: g or q?
g
Let m = -1711 + 2415. Let c be 2/3 + m/(-48). Do 1 and c have the same value?
False
Let w = 54 - 52. Suppose 5*l = 4*h + 7, w*l - 1 = -3*l + 2*h. Which is greater: l or -1/13?
-1/13
Let h be (15/(-35))/((-2)/14). Suppose h*c = 2*c + 9. Is c >= 9?
True
Let v = 78 - 77.43. Let n = -0.07 + v. Which is greater: -0.1 or n?
n
Let k(x) = x**2 - x - 3*x**2 + x**2 + 15. Let j be k(0). Let n be (j/(-10))/(66/(-8)). Are n and 0 non-equal?
True
Let b(z) = z**3 + 22*z**2 - 8*z - 14. Let g be b(-22). Let h = g - 4375/27. Which is greater: h or 1?
1
Suppose 188 = -31*d - 184. Which is bigger: -13 or d?
d
Let d(p) = -p**3 + 9*p**2 - 6*p - 15. Let i be d(8). Which is bigger: i or -7/33?
i
Let r(x) = -62*x**3 - 2*x**2 + 1. Let m be r(1). Let k = m - 73. Let g be k/36 + 4/(-18). Which is greater: -6 or g?
g
Let i = 1461 + -1715. Which is bigger: -252 or i?
-252
Suppose 91 = 5*z - 34. Let j be 15/z + (-16)/10. Which is bigger: j or -0.09?
-0.09
Let j = 0.3 - 0.52. Let x = j + 0.32. Is 0.1 greater than or equal to x?
True
Let j be (8 - 12) + (-2110)/(-525). Which is smaller: j or 1?
j
Suppose 4*v = 2*q + 22, 5*q - 4*v + 20 = -5. Which is greater: -2/937 or q?
-2/937
Let o = 0.206 - 10.106. Let l = o + -8.1. Which is greater: 2 or l?
2
Let y = 39 - 28. Let h = y + -4. Suppose 4*w + w + 5 = 0. Which is bigger: h or w?
h
Suppose 2*a + 2*i + 264 = 0, -i - 510 - 33 = 4*a. Which is greater: a or -136?
-136
Let n = -0.0464 - -20.4464. Is n less than 2/7?
False
Let k(y) = 19*y**3 - y**2 - 2*y - 1. Let j be k(-1). Let x = j + 19. Let u be (-1)/4 + 19/(-20). Which is smaller: x or u?
u
Suppose -752*f + 744*f = 0. Let u(r) = -r + 4. Let i be u(3). Which is smaller: i or f?
f
Suppose 79*k - 83*k + 148 = 0. Let z = k + -38. Which is bigger: 3/13 or z?
3/13
Let q = -2 + 1. Let d = 13.2 - 11. Let x = d - 2. Is x at most as big as q?
False
Let g(a) = -a**2 - 6*a + 2. Let m be g(-6). Suppose 3*t + 66 = -t - 2*d, -42 = m*t - 2*d. Let q = t + 18. Is q not equal to 1/6?
True
Suppose 63*f - 990 = 52*f. Which is bigger: 89 or f?
f
Let g = -2 + 1. Let j(b) = -b**3 - 9*b**2 + 14*b + 6. Let r be j(-10). Which is smaller: r or g?
r
Let c = -30 + 15. Suppose -64 = -8*m + 12*m. Is m <= c?
True
Let d = 367 + -420. Is d less than or equal to 1?
True
Let y = 10.3 + -0.3. Let g = 1988 - 1987.9. Is g smaller than y?
True
Let c be (-2 + 6/4)*4. Suppose k - 2*l - 3*l - 104 = 0, -3*k + 260 = -2*l. Let r = -90 + k. Which is greater: r or c?
c
Suppose 4*l = -41 + 125. Let n be (1836/(-81) - -15)/((-2)/6). Is l not equal to n?
True
Let v be 32/(-8) + 4 + -1. Let m be 0 + (10 - -4) + -4. Which is bigger: m or v?
m
Let y be (-10432)/(-66) - (-2 - 0). Suppose -3*i + 2*g + 0*g + 474 = 0, 2*g + 634 = 4*i. Let f = y - i. Which is greater: f or -1?
f
Let i be (-12)/310*((-13 - -11) + 7). Are i and -0.1 non-equal?
True
Let t be 4*(-3)/24*-6 + -4. Which is smaller: -4/221 or t?
t
Suppose -5*o + 2*m - 1 = 0, -3 = -3*o + m + 2*m. Which is greater: o or -0.037?
-0.037
Suppose 5*x - 2*c - 25 = 3*c, -1 = 3*x + 5*c. Let p be 4 + (x + -13)/5. Suppose 5 = 2*k + 3*k. Is k <= p?
True
Suppose 4*p = -2*m - m + 26, 0 = 4*m - 4*p + 12. Let x be (-14)/(-95) + (4/(-10))/m. Which is bigger: x or -1