-29 - s. Is -1/126 not equal to g?
True
Let n be 5 - (160/(-56) - 2). Which is smaller: n or 10?
n
Let z be (-73 - -81)*(2/(-5))/1. Which is smaller: z or -3?
z
Let b = 0.3 + -0.5. Let d = -235.7 + 233.8. Is d != b?
True
Let d be 3 - (4 + -2 - 9/(-3)). Let a(n) = n**3 - 17*n**2 + 32*n - 24. Let c be a(15). Is d greater than c?
False
Suppose 14*g + 30031 = -45*g. Which is smaller: -510 or g?
-510
Suppose 2 = a - 0*a. Suppose -15 = a*j + 3*j. Let y be ((-1)/(2 + j))/(-1). Which is smaller: y or -12/7?
-12/7
Let a be -1 + 2 + (-352)/(-16). Let l = a + -22. Which is greater: l or -3/16?
l
Let z(x) = x**2 + 14*x - 114. Let y be z(-22). Which is smaller: 245/4 or y?
245/4
Let c be 23/(-3) - (-3)/(-9). Let t = -18 - c. Let y be (-742)/70 - (0 - (-3)/(-5)). Is y at most t?
True
Let x be ((-170)/66)/((-3)/(-36)). Which is greater: x or -30?
-30
Let k be (-24958)/8318 - 9/3*-1. Is k less than or equal to 1?
True
Let z(l) = -71*l**3 - l + 2. Let h be z(1). Let x be 1/((7/h)/((-2)/55)). Is x at most 0?
False
Let o be 280/(-12)*(-42)/5. Which is bigger: o or 193?
o
Let i be 2/(((-1962)/(-60))/((-30)/(-25))). Which is greater: i or 0?
i
Suppose 8 = -5*m - d + 50, -d + 2 = 0. Which is smaller: m or 2/29?
2/29
Let m = 0.88 - 0.78. Let t = 56 + -55.66. Do m and t have different values?
True
Let g = -1799 + 79157/44. Suppose -2*f = -2*v + 4, 4*f - 2*v + 3 = -1. Is f at most g?
True
Let c = -296 + 205. Do c and 1 have the same value?
False
Let s(v) = v**3 + 7*v**2 + 12*v + 12. Let j be s(-5). Suppose -3*w - 4*k - k = 13, -k = -j*w. Is 0.09 at most as big as w?
False
Let c be 2*((-477)/1680 - 2). Let a = -61/8 - c. Let t = a + 20/7. Which is bigger: 2/9 or t?
2/9
Let x = -0.2 - -2.2. Let t(l) = -3*l**3 + 2*l**2 - 3*l - 6. Let r be t(2). Are x and r equal?
False
Let a be (-2)/21*(-9)/(-3). Let v(c) = -c. Let y be v(2). Let s = 1 + y. Is s at least a?
False
Let b be (-3)/(-36)*36/3. Which is greater: b or 2/3?
b
Let g be (3 + 6)/(-3 + 4). Suppose -61 - 173 = g*k. Is -28 != k?
True
Suppose 90 = -2*d + 10*t - 14*t, -3*d - 135 = t. Which is smaller: d or -47?
-47
Let r(t) = -t**2 + 9*t - 9. Let j be r(9). Let n be (-3 + 4)*-9 + 1. Is n < j?
False
Let z = 27 - 24. Suppose -6*o + 9*o = z. Is 1 at least as big as o?
True
Let i(b) = b**3 + 5*b**2 - 5*b + 7. Let l be i(-6). Let a be l/5 + 0/(-11). Is 0.2 >= a?
True
Let w = -9 - -21. Let k = w + -40. Let j be (26/k - 1) + 2. Is 0 less than or equal to j?
True
Let m = -78 + 76. Let l be -2 - ((-3)/m)/((-4)/8). Is l smaller than -4/57?
False
Let w = -204195/4 - -50754. Let c = w + 297. Which is greater: c or 3?
3
Let d be 1217/4966*(-204)/8. Let u = 2/2483 - d. Is u at most 5?
False
Let n be 1/(4 + 522/(-132)). Let p be 10*n/(-132)*(-9)/2. Suppose l + 1 - 8 = 0. Is l at least p?
False
Let d be (-17)/(170/18)*(-5)/1. Is 5 at least d?
False
Let c be (2 - (-160)/(-81))/(1/(-30)). Is c < -1?
False
Let w(z) = z**3 + 8*z**2 + 10*z - 2. Let f be w(-6). Let p be f/55 + 471/132. Which is smaller: 3 or p?
3
Let w(g) = 6*g + 2. Let t be w(-2). Let k = -7 - t. Suppose u + 4*c - 23 = 0, 0 = -2*u + 2*c + k*c - 19. Which is greater: u or 0?
u
Let a = -1 - -2. Let u be (34 + -2)/(-3*(-6)/9). Suppose -n + 9*n + u = 0. Is a <= n?
False
Let a = 20772/14965 - 17/365. Which is smaller: a or 2?
a
Let w(a) = -3*a + 31. Let t be w(10). Which is smaller: t or 53?
t
Let z(x) = -4*x**2 - 8*x - 2. Let a be z(2). Let c = -271/8 - a. Is -0.3 less than c?
True
Suppose 832 = 2*r + 1012. Is -535/6 bigger than r?
True
Let u = -3446/9 - -384. Let j = u + -86/45. Let a be (1 - 1)/(-2)*(4 - 3). Which is greater: a or j?
a
Let a = 14 + -12. Is 4/7 > a?
False
Let a(z) = -z + 9. Let s be a(4). Let j(x) = x**3 - 7*x + 0*x**3 + 2*x**2 + s*x**2 + 9. Let l be j(-8). Which is smaller: 1.1 or l?
l
Suppose 0 = 2*p - 18 - 28. Let c = -9 + p. Let u(v) = v**3 + 5*v**2 - 8*v + 3. Let f be u(-6). Is f greater than c?
True
Let z(r) = -r + 1. Let f be z(5). Let o be -4 + f + 536/68. Is o smaller than 0?
True
Let x = 65 + -65. Suppose x = -3*c + 4*d + 10, 2*d - d + 10 = -3*c. Which is bigger: -5/8 or c?
-5/8
Suppose -118 = 5*j - 23. Is -17 greater than or equal to j?
True
Let k = -272.1 + 272. Which is greater: k or 123?
123
Let i = 27 - 8. Let g = i + -18.94. Which is bigger: g or 2?
2
Let y = -941 - -1747. Is -2 < y?
True
Let d be 2 - ((-915)/(-9) - 4/(-3)). Let n be ((-2)/(-5))/(d/(-20) + -5). Let c be 6*1*3/2. Are n and c unequal?
True
Let q(i) = i**3 - 6*i**2 - 7*i - 2. Let c be q(7). Let l be c/(-1)*10/(-5). Let t(g) = -5*g + 1. Let f be t(1). Does f = l?
True
Let r be -3 + 26 + 3/(-1). Let b = r + -20. Suppose -4*t = -3*w - 0*w - 7, -4*t - 4*w = b. Is 1 greater than t?
False
Let c be 21/54*5/448*12. Is 0 at most as big as c?
True
Let b = -339265/186 - -1824. Which is greater: b or 0?
0
Let h be (12/10)/(48/(-240)). Which is bigger: h or -16?
h
Suppose -40 = -0*i + 5*i. Suppose -11*u + 15*u = 24. Let k be (-4)/u + 76/(-12). Which is bigger: i or k?
k
Let a(c) = 24*c**2 - 7*c + 3. Let x be a(-2). Which is bigger: 116 or x?
116
Let p be 1/(((-36)/(-246))/6). Do p and 198/5 have different values?
True
Let t(z) = 5*z + 5*z - 15 - 10 - 36. Let x be t(6). Is -3 >= x?
False
Suppose 3*b - 6 = -2*t - 0, t = -3*b + 3. Let r be (-2)/4*(-16)/(-26). Is r less than b?
True
Let l be (-21)/45 + (23/(-15) - (-20)/15). Let q(v) = v**3 + 6*v**2 + 6*v + 3. Let d = -5 + 0. Let g be q(d). Which is bigger: l or g?
l
Let a(o) = o - 1. Let t be a(5). Suppose -c + 3 = u + 4*u, 0 = 4*u + t*c + 4. Let d = 0 - -1. Do u and d have the same value?
True
Let y(x) = -x - 4. Let n be y(-3). Let d(h) = -h**2 - 10*h - 9. Let o be d(-11). Let t be 12/o + (-9)/(-165). Is t at least as big as n?
True
Suppose 14 = 5*m + 4. Let w = -6 - m. Suppose 0 = 147*c - 157*c - 70. Is c bigger than w?
True
Let s be (-1)/3 + (40384/(-12))/(-16). Is 211 greater than or equal to s?
True
Let l(c) = -20*c + 40. Let s be l(2). Which is smaller: s or -3/479?
-3/479
Suppose 2*s + 55 = -41. Let z be 4/s*(-16)/6. Are z and -1 unequal?
True
Let p be (-12)/(-102) - (-1)/((-17)/155). Is p at most as big as -9?
True
Let t be ((-1)/40 - 0)*2. Suppose -4*k = -3*x - 11, 0 = 2*k - 6*k + 5*x + 21. Which is smaller: t or k?
k
Let w = -6.6 - 36.4. Which is smaller: -0.1 or w?
w
Let s be (-2)/(-7) + -8324*(-3)/(-84). Which is bigger: s or -298?
s
Let z = -42.914 - 0.086. Is -0.1 bigger than z?
True
Let r = -57 - -11. Which is greater: r or 1/2?
1/2
Let k = 1591 - 1849. Which is smaller: -259 or k?
-259
Let u be (-350)/11 + (70/(-55))/7. Is u smaller than -158/5?
True
Let g be 0*(-2)/(-3 + 7). Let r be 10 + g + (2 - 4). Let y = -6 + r. Is 3 smaller than y?
False
Suppose 19 = -4*c - 5*s, -3*s = -22*c + 26*c + 13. Which is smaller: c or 40/39?
c
Let u = 11 - 82. Let o = -283/4 - u. Is o at least 15/2?
False
Let h = -84 + -85. Are -169 and h nonequal?
False
Let y(v) = 20 - 2*v**3 - 10*v**2 + v**3 - 2*v**2 - 2*v**2. Let p be y(-14). Let x = p + -8. Is 11 at least as big as x?
False
Suppose 4*r + 2*n = 6*r + 16, -3*r + 4*n = 26. Let c = 15 + -4. Let u = 4 - c. Is r at least u?
True
Let v = -470 - -452. Which is bigger: -15 or v?
-15
Let k(r) = r**3 + 11*r**2 + 12*r + 22. Let t be k(-10). Suppose -t*n = 2*n + 8. Which is smaller: n or -6?
-6
Let h(c) = -c**2 + 2*c - 3. Let l be h(3). Let p be (-56)/22 + (-4 - l). Suppose r = 2*r. Does r = p?
False
Let s = 5 + -8. Let n = s - -2.8. Let u be 1*-4 - 99/(-22). Is u != n?
True
Let q = 11/41 + 1705/369. Is 2/27 < q?
True
Let d = 118 + -122. Let z = -3.89 - d. Are -2 and z nonequal?
True
Let w be (-1)/2*20/2. Let p = -49 - -52. Suppose -3*a + a - 2*h = 16, 3*a + 12 = p*h. Which is smaller: w or a?
a
Let i = 74.6 - 84. Let d = 1.4 + i. Which is smaller: 2 or d?
d
Let n = -2587 + 2651. Which is smaller: 68 or n?
n
Let h = -331 - -1657/5. Which is smaller: h or -6.2?
-6.2
Let t = 9 + -20. Let s(q) = -q**3 - 10*q**2 - 7*q + 7. Let o = 13 + -22. Let g be s(o). Do t and g have the same value?
True
Let l be (0 - -2)*80/256. Is 1 less than l?
False
Let a = 439.7 + -462. Let r = -22 - a. Let n = r + 1.7. Which is greater: n or 0.8?
n
Let p be (-3 - (-10)/4)*-2. Suppose -5*r = p - 11. Which is smaller: -1 or r?
-1
Suppose 28 = -4*t + m, 35 = -t - 5*m + 7. Let h be (-4 + 1)*8/t. Suppose -h*r - 32 = r. Is -9 less than