o?
o
Let v be (3*(-878)/117)/((-28)/(-2058)). Let y = v + 1645. Is y greater than or equal to -10?
True
Let j = 1006329/617 + -1631. Let d = 33470561 - 185862023981/5553. Let r = j - d. Which is smaller: -1 or r?
-1
Suppose -2*j - 4*x - 10 - 8 = 0, x + 7 = -3*j. Suppose -61*k + 71*k - 40 = 0. Suppose 5*y + 5 = -3*d, -6*y + 3 = -9*y - k*d. Are y and j unequal?
False
Suppose -47*x = 18*x + 6*x + 40896. Is -570 at most as big as x?
False
Let p be ((-40)/28)/(6/42). Let n be p*1/28*32/40. Which is bigger: n or -28?
n
Let l = -829.294 + -0.706. Let b = l + 652. Is b < -0.2?
True
Let x be (27 - 54/9)*17/(51/(-2)). Suppose 5*t = 2*j - 38 + 6, 4*j = t - 8. Is t not equal to x?
True
Suppose 34*m = 51*m - 2754. Which is greater: m or 152?
m
Suppose -47*g = -57*g + 80. Suppose -11*i - g*i - 10*i = 0. Is i at least as big as 1/47?
False
Let d(q) = -164*q - 86 + 361*q - 176*q + q**2. Let s be d(-20). Which is smaller: s or -107?
-107
Let g(x) = -x**2 - 80*x + 3. Let o be g(0). Is 90/37 > o?
False
Let i be 3458/20 - -5 - -9. Which is bigger: i or 188?
188
Let f = -51813/5 - -10458. Which is smaller: f or 94?
94
Let k = -0.1 + 0.1. Suppose 8*c - 11*c = -4*m, 5*m = c. Suppose m = -11*u - 237 + 215. Is k at most u?
False
Let t = -1550.91556 - 0.08444. Which is smaller: 1/4 or t?
t
Let m = 72 + -105. Let d = -14 - m. Let k(b) = -94*b + 2087. Let t be k(22). Are d and t non-equal?
False
Let a = 62549 - 16950745/271. Is a at most 1?
True
Let c(u) = -7*u + 37. Let f be c(-9). Let j = f + -102. Let n(z) = 19*z + 13. Let r be n(j). Which is greater: -23 or r?
-23
Let j = -158 + 159. Let d = -8.1 - 35.9. Which is bigger: d or j?
j
Let z = -119 + 235. Let v = z - 119.3. Let u = v - -0.8. Is 0.1 smaller than u?
False
Let f(h) = -h**3 - 5*h**2 - 2*h - 16. Let u(q) = -2*q**3 - 11*q**2 - 5*q - 33. Let o(v) = -7*f(v) + 3*u(v). Let z be o(-4). Is -18 >= z?
False
Suppose -71*n - 27664 = -52*n. Is -1456 at least n?
True
Let z = 18597 + -409039/22. Which is greater: z or 5?
5
Let o = -18773 + 35533/2. Is -1008 <= o?
True
Let i = -7 - -2. Let o = -4.93 - i. Let r be (-276)/(-345) - (-2)/10. Which is smaller: r or o?
o
Suppose 476*r - 22984 = 307*r. Is 12 > r?
False
Let s = -10370034 + 114152543/11. Let i = -7465 + s. Which is smaller: 6 or i?
i
Suppose -2*a - 28*l + 24*l + 162 = 0, 3*a = -2*l + 259. Suppose -5*r + 20 = 0, -c + 2*r + 437 = 4*c. Do a and c have different values?
False
Let d = -28.77 - -28.97. Let r = -5.44 - -10.4. Let u = r + -5. Which is smaller: u or d?
u
Suppose -5*v + 6 = v. Suppose -486 = 6*z + 2334. Let h be -5 + 12*z/(-1125). Which is smaller: v or h?
h
Suppose -2*l = -2*z + 288, 249 + 173 = -3*l - 2*z. Which is smaller: l or -990/7?
l
Let z be (8/((-8)/3))/(-8*(-8)/192). Let s(t) = -t**3 - 9*t**2 - 7*t + 10. Let r be s(-8). Suppose 2*k - r*n = -0*k - 8, 0 = k - 2*n - 1. Is z > k?
False
Let i(q) = q**2 - 6*q - 19. Let t be i(-8). Which is smaller: 95 or t?
t
Let t = -487.8 - -15.9. Let i = t - -505. Let o = i - 34. Which is greater: o or 0.1?
0.1
Let g be (1 + -1 + -1)*19. Let w = -67.183 - -0.183. Let h = w + 67. Are h and g unequal?
True
Let c(y) = -7*y + 21. Let p be c(11). Let f = 89 + p. Suppose 5*r - 2*r - 3*q = -3, -f = 5*r + 2*q. Which is greater: r or -4?
-4
Let i = 485 - -37. Suppose -6*z - i - 180 = 0. Is -116 less than z?
False
Suppose 3*p - 5*w - 39 = 0, -4*p + 4*w = 2*w - 52. Suppose 2*t - 5*x = 12, -5*t - x = -5*x - p. Let m be (t + (-4)/6)/(1/(-3)). Is -9 <= m?
True
Let n = -4985 + 4986. Which is smaller: n or 39/31?
n
Let j(s) = -71*s + 199. Let p(i) = -140*i + 398. Let d(b) = -5*j(b) + 3*p(b). Let z be d(3). Is z < 22?
True
Suppose 7*s - 846 - 5482 = 0. Suppose s = -400*d + 396*d. Are -226 and d nonequal?
False
Suppose -109967 = 2554*j - 651*j + 28952. Let m(l) = -l**3 - 9*l**2 - 7*l - 6. Let u be m(-6). Which is smaller: u or j?
j
Let h(q) = q**3 - 31*q**2 + 27*q - 48. Let i be h(30). Let g = -125 - i. Which is smaller: g or 15?
g
Let v be ((-32)/(-10))/(10/50). Let g be (493/(-68) - -6) + (-101)/(-4). Which is greater: v or g?
g
Let w be 1463457/7657140 + 2/(-8) + (-67)/(-1139). Is w less than or equal to 1?
True
Let a be 10/(-15) - (20/(-3) - -1). Let l be a + -1 - (-5)/((-35)/26). Which is smaller: l or -0.13?
-0.13
Let z = 1873 + -324031/173. Which is bigger: -1 or z?
z
Suppose f - 5*a + 115 - 15 = 0, -f - 5*a = 160. Which is greater: -132 or f?
f
Let a be 5798/(-3576) + 335/201. Is a <= -1?
False
Let k = 18673/508 + -147/4. Let d = -505/381 - k. Is d equal to 0?
False
Let r be 6/268*2514/9*(2 - 3). Is -6 greater than r?
True
Let r = 192 - 118. Suppose 12*n + 160 = 10*n. Let k = n + r. Which is smaller: k or 4?
k
Let l(t) = 9*t**2 + 7*t + 8. Let b be l(-2). Suppose -32*q + b*q + 10 = 0. Suppose 32*u - 27*u = -q. Which is greater: -3/41 or u?
-3/41
Let v = 3.2 - 3. Let q = v + -0.2. Suppose -38 + 3 = 14*s + 357. Is q at most as big as s?
False
Suppose -220 - 728 = -t - 4*u, -3831 = -4*t - 3*u. Is t > 959?
True
Let d be 1/(((-18)/(-99))/((-44)/(-2))). Let b be 704/d - (-2)/11. Suppose 0 = -15*t + b*t. Is t at most -6/55?
False
Let o = -33.1 - 156.9. Let w = 188.77 + o. Let y = -0.43 - w. Which is smaller: y or 2?
y
Suppose 33 = -3*d - 5*c, 31*d - 27*d + 4*c = -36. Which is smaller: d or 12?
d
Suppose 14 = -5*v + 74. Suppose 0 = -5*i + i + v. Let t be i*(-30)/35*7. Which is smaller: -19 or t?
-19
Let h(q) = -12*q + 127. Let b be h(25). Let t(i) = 5*i**3 - 5*i**2 - 8*i - 17. Let u be t(-3). Is u at least as big as b?
True
Let w = 98 - 66. Let i be ((-16)/3)/(10/180*-3). Are w and i unequal?
False
Let h be (-135)/56 - ((-425)/136 + 3). Are -50 and h equal?
False
Let a = 4.89 - -0.11. Let t = -637.3 + 396.6. Let d = 241 + t. Is d <= a?
True
Let l be 8*(-112)/(-12)*3/2. Let a be (-4 - 42/(-9)) + l/(-6). Let m = a + 116. Are 97 and m nonequal?
True
Suppose 2*v - 4 + 162 = 0. Let q = -45 - v. Let k be 6/(-9) - q*25/30. Is -28 less than or equal to k?
False
Suppose 11 = 3*g + c, -4*g - 4*c + 24 = -5*c. Suppose g + 9 = 4*y - 2*s, y - 26 = -4*s. Which is bigger: 12 or y?
12
Let h = 433 - 481. Is -836/17 less than or equal to h?
True
Suppose 0 = -561*q + 448*q - 173342. Which is smaller: q or -1541?
-1541
Suppose -26*p = -3234 + 18158. Do p and -576 have different values?
True
Suppose 11*m - 36 = 8*m. Suppose n + 24 = -n - g, n + g + m = 0. Let k be (-10)/n + 24/72. Is 2 >= k?
True
Suppose l = -2*p + 2, -4 = 3*p + 8. Let u be l/(-55) + ((-800)/(-22))/2. Which is greater: 5 or u?
u
Suppose 781108 = -203*v - 978090. Do v and -8665 have the same value?
False
Suppose 5*u - 176 = -5*g + 7*g, 0 = -2*g - 6. Suppose 2*f - f = -2*c - u, -4*c + 10 = -f. Which is bigger: -23 or f?
-23
Let t = 33840 - 34597. Which is bigger: t or -760?
t
Let g(f) = -f - 2. Let a be g(6). Let v(l) be the second derivative of l**4/6 + 17*l**3/6 + 7*l**2/2 - 4*l - 2. Let b be v(a). Is b at least as big as 3/4?
False
Let n(j) = 7*j**2 - 3*j. Let t be n(2). Suppose 0*f = -f + t. Let b(y) = 2*y**2 - 11*y - 41. Let q be b(9). Does f = q?
True
Let s(c) = -c**3 + 436*c**2 - 1742*c + 3. Let x be s(4). Let q = 15055/3 + -5071. Are x and q unequal?
True
Let a(x) = -x**3 - 5*x**2 - 2*x - 49. Let z be a(-7). Which is smaller: z or 51?
51
Let g = -444 + 228. Let p be g/88 - 2/(-1). Is p less than -1?
False
Let h = 15.7 + -15.749. Let z = -1.049 - h. Is z greater than or equal to -116?
True
Suppose 77 - 86 = -9*p. Let f be p/2 + (-23)/94. Is f < -1?
False
Let d = -435532 - -8269499/19. Let x = d + 295. Which is greater: -1/6 or x?
-1/6
Suppose 27 = 5*p + 4*z, -p + 0*z + z = -9. Suppose g = p + 26. Suppose 3*u + g = 6*u. Is 11 equal to u?
True
Let x be 2/(-5) - (-378)/70. Suppose -x*r - 14 = 216. Is r > -46?
False
Let h(r) = -4*r**3 - 6*r**2 - 17*r - 40. Let v(w) = -7*w**3 - 12*w**2 - 33*w - 79. Let z(n) = 5*h(n) - 3*v(n). Let c be z(-6). Are -48 and c nonequal?
True
Suppose w + 3*w = 5*i + 1290, w = 4*i + 317. Suppose -17*n + w = -22*n. Let t = 51 + n. Is 0.1 greater than t?
True
Let c = -296.5 - -268. Let i = 26.8 + c. Is i greater than -0.1?
False
Suppose -207*i = -212*i + 200. Suppose -14*c = -i*c. Is 2/123 bigger than c?
True
Suppose 101511 = -291*a - 37005. Which is bigger: -473 or a?
-473
Let h(f) = 3*f**3 - 4*f**2 + 5*f - 2. Let k = 3 + 0. Let l be h(k). Suppose -77381*s + 7738