is smaller: g or o?
g
Let d be (408/16)/(-17)*24/(-15042). Is 1 not equal to d?
True
Suppose 12*q - 122 + 74 = 0. Suppose 0*r + r + 4*u + 8 = 0, 5*r - q = 2*u. Is r != -1/9?
True
Suppose -3*w - 550 = 4*v, 0 = 13*v - 16*v + 4*w - 375. Which is bigger: v or -111?
-111
Let p = 344 - 343.87. Let m = 0.33 - p. Which is greater: m or -0.25?
m
Let y(z) = -z**3 + 26*z**2 + 28*z - 25. Let s be y(27). Let x be 50/(-5) - 4/s. Which is smaller: -14 or x?
-14
Let o be 20/4 - (11 - 11). Suppose 4*k + 4*d = 360, -d - d - 450 = -o*k. Does k = 0?
False
Let b(p) = 3*p**2 - 5*p + 1. Let z = -23 + 25. Let w be b(z). Suppose w*c - 4*o = -0*o - 14, -2*c + 2*o = 12. Is -10 at most c?
True
Let j(d) = 2*d**3 - d**2 - 11*d + 1. Let n be j(5). Let w be n/(-4) - -3 - 2/8. Let t be ((-34)/(-10))/((-8)/w). Which is greater: 0.1 or t?
t
Let m(o) = -4*o**2 + 14*o + 1. Let y(b) = 2*b**2 - 7*b - 1. Let q(r) = 2*m(r) + 5*y(r). Let i be q(4). Let l be 10/6*12/13. Is l at most i?
False
Suppose 4*w = -12*s + 11*s + 124, -4*s = 14*w - 510. Which is smaller: s or 178?
s
Let v be (130760/(-1071))/10 - -12. Is v greater than 1?
False
Suppose 4*s - 4622 = 3*k, 5*s - 4*k + 527 - 6304 = 0. Which is greater: s or 1158?
1158
Let a = -16328 - -12664. Is a at least as big as -3666?
True
Let l = -1038 + 1018. Is 1.5 != l?
True
Suppose 5*m + 15023 = -2*u, 94*u - 90*u + 3001 = -m. Is m bigger than -3005?
False
Let m(v) = 2*v**2 - 9*v - 20. Let l be m(-8). Let s = -178 + l. Do s and 0 have different values?
True
Let y(u) = -2*u**2 + 13*u - 40. Let p be y(8). Let r = 167 + -231. Is r != p?
False
Let u be 2/21*-12*52/(-12). Let x = 1478/273 - u. Which is greater: -3 or x?
x
Suppose -2*j = 2*c + 906, -j + 2*c = 485 - 14. Does -459 = j?
True
Let x = -131942177/2140180 - -4/107009. Which is greater: x or -61?
-61
Let a(m) = -m**2 + 11*m - 1. Let p be a(9). Let h = 151/9 - p. Which is smaller: 18.5 or h?
h
Let x = -1082.1 - -1082. Which is smaller: -75/2 or x?
-75/2
Let k = 1/2853 - -277/114120. Suppose -2*y - 2 = f + 7, 5*f - 5*y = 15. Is f smaller than k?
True
Let l = -1.1 - 2.9. Let o(c) = c**3 + 3*c**2 - 19*c - 7. Suppose 0 = 5*t - 125 + 155. Let h be o(t). Are h and l unequal?
True
Suppose -5*o + 291 = 246, 0 = -2*c - 3*o + 53. Let l = -15 + 26. Which is bigger: c or l?
c
Let a = -2137/8715 + 82/415. Suppose 0 = 4*g + g. Suppose -6*n = -5*n - c + 5, n - 5*c + 25 = g. Is a less than n?
True
Let y(x) = -2*x - 23. Let u(w) = -w**3 + w**2 + 2*w + 39. Let q be u(0). Let v = 28 - q. Let t be y(v). Are t and -2/187 equal?
False
Suppose 0 = 4*s - 255 - 169. Suppose -5*w = -5*d - 126 + 661, d + 3*w - 107 = 0. Which is bigger: d or s?
d
Let d = -11573 + 24082. Which is greater: 12508 or d?
d
Let p be (-298)/42 + (-4)/(-6). Let g(c) be the third derivative of c**5/60 - c**4/4 - 23*c**3/3 - 49*c**2 - c. Let t be g(10). Does t = p?
False
Let d = 3240/11 + -294. Let i = -7.019 - -5.019. Which is bigger: d or i?
d
Let r = -17112 + 17094. Is -17 not equal to r?
True
Suppose 7 = -3*r + 28. Suppose 2*t = 3*t + 24. Let z be t/(-21)*(3 + 4). Which is greater: z or r?
z
Let d be (6 - 1195/(-20)) + 6/(-8). Let o = d + -3. Are o and 62 non-equal?
False
Let l = 821/37104 + -1/773. Let k(t) = t**2 + 19*t + 33. Let n be k(-17). Let r be n/4*(2 + (6 - 4)). Is l at least r?
True
Let i be (-5)/4*832/(-1591720). Which is greater: i or -1?
i
Let i be (117/(-13) + 8)/(-3 + (-3680)/(-1226)). Which is smaller: -614 or i?
-614
Let o(i) = -32*i + 570. Let z be o(6). Suppose 0 = -20*x + 14*x + 2274. Is z > x?
False
Suppose -i - 2 = -d, -2*i - 5 = 4*d - 7*d. Let f be (-7)/14*(-21 + d)/2. Suppose -5*o - 10 = 4*y + 58, -56 = f*y - o. Which is smaller: -53/4 or y?
-53/4
Suppose 250 = -4*z + 274. Suppose 4*v - 65 = 5*x, 5*x + 10 = 2*v - 15. Let g be -1 - -3 - v/(-5). Is z not equal to g?
False
Suppose -l = -4*n - 748, -3*n + l - 884 = -325. Which is smaller: -201 or n?
-201
Suppose -3*t = -3*o - 153, 0 = -4*t + 2*t - 5*o + 88. Let s(x) = x**2 - 5*x - 15. Let u be s(11). Let k = t - u. Which is greater: -18/7 or k?
k
Let t = -269.7 - -269. Let u = 1.2 + t. Which is bigger: 0.6 or u?
0.6
Let r = -0.01756 - -0.21756. Is r greater than -98/83?
True
Suppose 147*o = -42*o + 4*o - 54390. Is -296 less than o?
True
Let y = 342421737/730 + -469071. Let c = 2/73 + y. Which is smaller: -2/3 or c?
-2/3
Let p = 18 - 18. Let w(b) = b**2 - 2*b + 8. Let k be w(p). Let n be k/(-4) - (8/(-14) + -1). Which is smaller: 0 or n?
n
Let b = 0.36 + -0.54. Let d be 8/20 - (-8)/5. Let j be (2 - d) + (-2)/3. Is j equal to b?
False
Suppose 0 = -394*d + 433*d + 7480 + 1178. Suppose -4*a = 561 + 319. Is d not equal to a?
True
Let q(g) = g**2 + 8*g + 32. Let t be q(-5). Suppose -2*f - t = 15*f. Let b be 6/(-14) - (-3145)/7420. Which is greater: f or b?
b
Let o = 8004 + -8288. Is o >= -1987/7?
False
Let v(l) = 16*l**2 - 114*l + 14. Let a be v(7). Which is bigger: -28/379 or a?
a
Let g = 902/1201 + -15760439/15613. Let y = -1116 + 109. Let c = y - g. Which is smaller: 2 or c?
c
Let x be 54/36 - 23/18. Suppose 39 = -6*y + 3. Let a be 2/(y/1) - 2/(-6). Which is bigger: a or x?
x
Let y = 3180 + -3272. Is -12 != y?
True
Let n be ((-6)/4)/(-4 - 227/(-56)). Which is greater: -10 or n?
-10
Let f be 24/(-52)*(-3)/2. Let m be 1/(-4) + (-3)/(24/22). Let o be (m - -4) + -4 + (-4)/(-1). Which is smaller: o or f?
f
Let o = 0.48 - -31.92. Let d = -21.4 + o. Which is smaller: d or -0.2?
-0.2
Let y be (-6 + (-1304)/16)/(1/(-2)). Let t be 168/(-10) + (-35)/y. Is t >= -4?
False
Let y = 5.02 + -0.02. Suppose 407 = -5*q + 3*q - 3*n, q + 206 = -2*n. Let z = -193 - q. Are z and y unequal?
True
Let a = -9 - -11. Suppose 0 + 2 = a*u. Let g = -4235/23 - -184. Is g < u?
True
Let j = 0.02 - 0.22. Let w = j - -0.8. Let p = -1.2 + w. Which is bigger: p or -2?
p
Let n = 126.93 + -127. Let a = n - -0.33. Let m = 25/4 - 13/2. Which is smaller: m or a?
m
Let t = 1417/11 + -129. Suppose -4*v + g = 1, 2*v + 3*g - 6 = 11. Suppose 3*i = -2 - v. Is i bigger than t?
False
Let k = 29.607 + -0.007. Let n = -29.1 + k. Which is smaller: 15 or n?
n
Let f(i) = i**3 - 11*i**2 - 13*i + 10. Let k be f(12). Let b be k/(786/1185) - -3. Let d be (9/135)/(13/195). Which is smaller: d or b?
b
Let s be (-1512*(-27)/54)/((-3)/2). Which is bigger: s or -505?
s
Let a = 5196 + -901. Suppose 2*u - 3*w = -7765, 4*w - a - 3467 = 2*u. Let t = 307077/79 + u. Which is smaller: -1 or t?
-1
Let c be (-1128)/105*(-33)/12. Let w = c - 204/7. Which is greater: -1/501 or w?
w
Let z(t) = -35*t + 251. Let l(k) = 67*k - 502. Let u(y) = 4*l(y) + 7*z(y). Let p be u(15). Which is smaller: p or 92?
92
Let b = 2.5 - 3. Let u = -2211.5 + 2210. Is u < b?
True
Let h = -2744 - -2734. Is h at least -0.164?
False
Let o = -178 - -348. Suppose -6*t - 13 = -13. Suppose 7*m - 12*m - o = t. Is -35 bigger than m?
False
Let b = -900.1 - -897.1. Which is smaller: -19.92 or b?
-19.92
Let l = -173 - -43. Let k = 0 - -5. Let o be 15/10 - (l/(-8))/k. Which is smaller: o or -3?
-3
Suppose -26*s + 25*s + 103 = 0. Let h = 109 - s. Suppose -d - 21 = h*d. Which is bigger: d or 0?
0
Let t = 0.00425 - -2.99575. Do t and 2.9 have the same value?
False
Let d(l) = 2*l**2 - 69*l - 74. Let m be d(37). Are 112 and m equal?
False
Let n = 34 - 35. Let r = 63/50 + 6/25. Let y = -2 + r. Are y and n non-equal?
True
Let k = -140 - -49. Let w = k - -91.12. Which is smaller: -1 or w?
-1
Let r = 1/71778740 - 1120196961159/2440477160. Let y = r + 459. Is y not equal to 0?
True
Let r = 2.175 - -0.495. Let a = r - -0.73. Is a not equal to 1?
True
Let a = -18 + 8. Suppose -1324 = -4*d - 4*p, -2*d + 2*p - 3*p = -659. Let c be ((-17)/51)/(d/108 + -3). Which is smaller: a or c?
a
Let i = 14245/24 - 3209/24. Which is smaller: 461 or i?
i
Let r(d) = -4*d**3 + 3*d**2 + 2*d - 1. Let q be r(-1). Suppose q*z = -0*z + 56. Suppose b = z*b - 195. Which is bigger: b or 13?
b
Let v(m) = 2*m**3 - 21*m**2 - 15*m + 42. Let o = 583 + -572. Let d be v(o). Is d >= -12/7?
False
Let l(c) be the second derivative of -c**5/20 + c**4/2 - 3*c**2/2 + 10*c. Let v be l(7). Let z(t) = t - 58. Let q be z(7). Is q less than or equal to v?
False
Let a = -6581 - -6582. Is -8/2393 < a?
True
Let j = 83 + -46. Let s be (-12)/(-8) + -2 + 1316/32. Let d = -33/8 + s. Is d != j?
True
Suppose -173 = -93*s - 80. Is 23/150 bigger