y) = y**3 + 4*y**2 - 4. Let c be a(-4). Let o = -4 - c. Are -2 and o unequal?
True
Let t = 162 + -193.12. Let b = t - -31. Let u = b + -0.08. Is u less than 3?
True
Let k be (0/1)/((-348)/(-87)). Which is bigger: k or -20?
k
Let c(y) = -2 - 7 + y + 0. Let o be c(4). Let j be 1*6/(6/o). Which is smaller: j or -3?
j
Let w = -3 + 4. Let z(t) = -t**3 + 3*t**2 + t + 3. Let y be z(4). Let f be 11/y - (6 - 7). Which is smaller: w or f?
f
Let g = 558.2 - 558. Is g less than or equal to -122?
False
Let q = -547 - -513. Are -35 and q non-equal?
True
Let i be 42/(-4)*(-12)/9. Let m = i - 3. Is 9 equal to m?
False
Let j = 14 + -8. Suppose 8*q = j*q. Suppose u = 2*x + 2*x + 12, q = -3*u - 2*x - 6. Is -2/7 bigger than u?
False
Let r = 7 + -5. Let s = -428 + 435. Which is smaller: s or r?
r
Let q = 0.053 - -0.347. Suppose 15 = 6*f - 3*f. Suppose -f*j - 2 = -3*j. Are j and q nonequal?
True
Let t = 209 + -87. Is 124 greater than t?
True
Suppose -q = -4*y - 0*q + 13, -3*q = 15. Suppose 18*g = 29*g - 44. Let n be y/(12/(g + -1)). Which is smaller: n or 0.09?
0.09
Suppose -13*v = -11*v - 2*k, 0 = -k + 1. Is v bigger than 1.95?
False
Let f(u) = u**2 + 11*u - 61. Let i be f(4). Which is smaller: -4/121 or i?
i
Let o be (1/(-5))/(35/(-3535)). Which is smaller: o or 21?
o
Suppose -4*m - 3*l = 41, -3*l + 31 = -5*m - 27. Let t = -73/6 - m. Which is smaller: t or -1?
t
Let o = 713 + -822. Which is smaller: -441/4 or o?
-441/4
Let l = 676.8 + -613. Let r = -70 + l. Let t = -6 - r. Is t greater than or equal to -0.1?
True
Let n = 44 - 112. Let s = n + 69. Do s and 0.02 have different values?
True
Let z be (-2 + -1)*1*-2. Let i = 3 - z. Let o = 3 + i. Are -1/22 and o nonequal?
True
Suppose 6*s + 620 = 8*s - 3*b, 2*b + 920 = 3*s. Is s greater than 306?
False
Suppose 2*r - 196 = -5*r. Let x be (-4)/14 + (-636)/r. Suppose 89 + 3 = -4*o. Is x greater than or equal to o?
True
Let c = 3/404 - -9675/2828. Let b = -137/42 + c. Which is smaller: b or -8/3?
-8/3
Suppose 40 = -b - 3*b. Which is greater: b or 2?
2
Let s be (2 - 1) + (-2178)/126. Let x = s + 16. Which is smaller: x or -58?
-58
Let q(m) = -17*m**3 - 3*m**2 - 10*m - 7. Let t be q(-3). Which is smaller: t or 456?
t
Let t be (-31)/(-10)*2 - (-14)/(-70). Let g = t + 66. Are 73 and g unequal?
True
Let z = 1244 + -1244. Which is greater: 399 or z?
399
Let k = 1781695/14729 - 75/1339. Let n = k - 121. Is 1 greater than or equal to n?
True
Let q(t) = 5*t - 28. Let g be q(10). Let x be ((-22)/6)/(10/(-60)). Are g and x nonequal?
False
Suppose -5*u = -3*g - 1262, 1228 = 5*g + 3*u + 3388. Let x be 1 + 1 + 864/g. Let d = 316/2145 + x. Is d greater than or equal to -1?
True
Suppose d - 3 = 2. Suppose -d*k + 4 = -k. Is k bigger than -2/11?
True
Let n = -1111.702 + 1112. Which is bigger: 2/5 or n?
2/5
Let j = 46 - 47. Let u be 24/90*2/(-4). Which is greater: u or j?
u
Let t be 22*(-1 - 0)*-3. Suppose -8*r + 5*r + t = 0. Let z be r*(-3)/((-144)/4). Is z at most as big as 2?
True
Let z(c) = c**3 - 6*c**2 + 2*c + 11. Let y be z(5). Let s be (y/(-6))/(176/(-23256)). Let x = s - -88. Which is smaller: x or 1?
x
Let m = 194 - 329. Is m at most -136?
False
Let o = -8 - -2. Let r = -65 - -73. Let k = o + r. Which is smaller: k or 4?
k
Let p(v) = 2*v**2 + 54*v - 501. Let x be p(9). Are x and 147 nonequal?
False
Let w be ((-15)/13510*-4)/((-18)/(-378)). Is -1 not equal to w?
True
Suppose -5*g + 5*t = 155, 8 + 77 = -3*g - 5*t. Let j be 170/(-6) - (-1)/3. Let s be j/(-154) - g/(-44). Which is bigger: s or -4?
s
Let z = -298 - -308. Is 10 equal to z?
True
Let a = -1743 + 1724. Which is smaller: a or -9/7?
a
Suppose 389*h + 10560 = 411*h. Is h smaller than 478?
False
Let q = -45 - -67. Let g = 45 + -65. Let s = g + q. Is -8 < s?
True
Suppose 0 = 10*f - 34 - 276. Let m(p) = -p**3 - 4*p**2 - 2*p - 3. Let h be m(-5). Are f and h equal?
False
Suppose -8*r + 42 = 13*r. Which is smaller: 15/22 or r?
15/22
Suppose -3*f = -5*n + 20, -5*f + 0*n = 3*n - 12. Suppose -5*o - 65 = -0*j - 3*j, -5*j + 25 = f. Which is bigger: o or -9?
-9
Let u(j) = -18 + 17 + 0*j - j**3 - 5*j - 6*j**2. Let t be u(-5). Let c be (-12)/132*(5 - t). Are -2 and c non-equal?
True
Let j = 26 + -26. Which is bigger: 31/2 or j?
31/2
Let s = 58.9 + -56. Let h = -2.1 - s. Which is smaller: 6 or h?
h
Suppose 2*h + 5*q = 35, 3*q + 2*q = 5*h - 35. Let v = -8 + 10. Suppose -3*g = v*g - 50. Is h less than g?
False
Let h = -3/4574 - -36787/297310. Which is bigger: 0 or h?
h
Let p = 2898/1045 - 332/55. Is p != -4?
True
Let l be 218/12 + 3/(-18). Suppose 0 = 9*u + 1173 - 1371. Is l < u?
True
Suppose 0 = 5*z - 2*m + 600, 0*z + m = -z - 113. Let s = 50496/7 - 7332. Let o = z - s. Are -2/23 and o nonequal?
True
Let o = -20371 + 20372. Let m = 189/19 + -10. Is m greater than o?
False
Let j = 6.626 + -85.566. Let d = j - -79. Is d != 1/2?
True
Let d = 19 + -19. Let x be d/(-2 - (0 + -4)). Is 3/25 > x?
True
Suppose 4*a = 7*a. Let x be (-3)/12 - (a + 68/(-16)). Which is smaller: x or 0?
0
Let a = 107 + -962/9. Let u be -2 + 3/((-63)/(-48)). Which is smaller: u or a?
a
Let t = -1.3 + 0.3. Let d = 4 - 15. Let z = d - -12. Which is smaller: z or t?
t
Let i = 210 - 315. Let f be (-5)/(i/6)*(-2)/(-2). Let a = -1 - -1.1. Which is greater: a or f?
f
Let v(s) = 2*s**2 + 41*s - 247. Let z be v(8). Is 1052/5 at most as big as z?
False
Suppose l + 94 = -v, -7*l + v + 193 = -9*l. Which is smaller: l or -96?
l
Let q be (-1 + 10)*(2 + (-1 - 0)). Let r be (12/477)/(q/((-18)/(-4))). Is -1 at most as big as r?
True
Let w = -540 - -538. Which is greater: w or -73?
w
Let h be ((-30)/18)/(2/(-90)*-3). Which is bigger: -50 or h?
h
Suppose x + 3 = -2*n, -5*x - 18 = 3*n - 3. Suppose -5*d + n*d + 15 = 0. Suppose z + 5*m + 3 = 3*m, 0 = 2*z + m - d. Is 12/7 not equal to z?
True
Let b(v) = 3*v**2 + 10*v + 6. Let s be b(-4). Suppose 0 = o + s - 38. Are 24 and o unequal?
False
Let z = -0.06 - 0.24. Let x = 32 + -44. Let v = 12 + x. Is v less than z?
False
Suppose 2*b + x + 5 = 1, -2*b - 4 = 5*x. Which is smaller: b or 11?
b
Let n be (((-2)/(-5))/(-1))/2. Let z = 269 + -261. Which is smaller: z or n?
n
Let b = 10.2 - 8.8. Let d = 11.4 - b. Which is smaller: d or -2?
-2
Let v = -0.92 + 1.6. Let h = v - 5.58. Let j = h - -5. Is -0.03 at most j?
True
Let s = 11939/4 + -1253543/420. Let d = s - 2/35. Is d bigger than 1?
False
Let j = 30 + -27. Let v be (j + 1 + 2)/2. Are v and 0 unequal?
True
Let n(p) = -2*p - 1. Let d be n(1). Let v be (-37)/(-4) + d/(-6). Let m = v + -73/8. Which is bigger: m or 0?
m
Let f(j) = j**2 + 8*j + 2. Let w be f(-7). Let x be ((-54)/w)/((-3)/(-10)). Let u be (-11)/(-4) - 27/x. Which is smaller: u or 1/5?
1/5
Suppose 2 = -47*g + 48*g. Suppose 18*a - 16*a + g = 0. Which is smaller: -2/59 or a?
a
Let a = 190 + -172. Is a < 17?
False
Let d = 65317/59 - 1107. Let v = d - 229/767. Is -1 not equal to v?
True
Let r(q) = -209*q + 29. Let y be r(7). Let n = y - -78868/55. Suppose -a = a. Which is smaller: n or a?
n
Let h = -0.2 + 0.36. Let y = 1 - 0.89. Let j = y - h. Which is smaller: 0.1 or j?
j
Let j be 1/1 - 102/3. Let b(y) = -y**2 - 5*y + 3. Let q be b(4). Do q and j have the same value?
True
Let h be 4/6 + (-12)/14. Let r = 771 + -770. Which is smaller: r or h?
h
Let m be -2 + 2/1 + 2. Suppose 3*u + 8 = 2*c + 5*u, -c + m*u - 5 = 0. Let p = 4258 + -55351/13. Is p at most as big as c?
True
Let y be ((-54)/(-3))/(-4 + (-20)/(-8)). Let k be 1 + 20/y - 58/21. Is k at least as big as -4?
True
Let z = 9 + -8.2. Let r = -2.8 + z. Let n = 0.18 - -0.02. Is n greater than or equal to r?
True
Let r = 2.32 + -2.47. Is 0.9 >= r?
True
Let m = 50 - 37. Let f(r) = r**2 - 12*r - 25. Let h be f(m). Let g be ((-1)/(h/117))/(-3). Which is bigger: g or -4?
g
Suppose 0*a - 18*a = -882. Is a at most 50?
True
Suppose -32*q = 6 - 294. Suppose 0 = -0*l + 3*l - 3. Which is smaller: l or q?
l
Let v(d) = d + 5. Let a be v(-5). Let t be (-1)/17*-2 + 79376/(-935374). Is t at least a?
True
Let h(k) = 12*k - 7. Let j be h(1). Is 11/3 >= j?
False
Let q = -215.8 - -216. Which is bigger: q or 26?
26
Let k(m) = m**2 + 51*m + 441. Let y be k(-40). Let n be 50/(-144) - (-2)/9. Which is smaller: y or n?
n
Let s(c) = 312*c - 1167. Let f be s(6). Is f >= 706?
False
Suppose -2*k - 33 = 3*j + 27, -3*k - 60 = -3*j. Which is smaller: -124/5 or k?
-124/5
Sup