Let s = i - -1219/56914. Is s at most y?
True
Let z = 18945 + -94728/5. Is -38.39 > z?
False
Suppose -2*m + 4*m = 6. Suppose -g + m = -x, 7 = 5*g - x - 16. Suppose 6 - 21 = -3*o - 4*a, -g*o + a + 2 = 0. Which is bigger: o or 1/21?
o
Let j = -29713/374 + -10/187. Let n = 1415/18 + j. Does n = -2?
False
Let a be (-1324)/188 + (-4 - 22/(-2)). Which is bigger: 58 or a?
58
Let t be (-60468)/(-150) + -4 - 1. Suppose 2*h + 0*h - 796 = 0. Let l = t - h. Is l greater than 0?
True
Let t = -1601/6 - -266. Let o = 225014/865711 + -2/11243. Let x = 6/11 - o. Which is bigger: x or t?
x
Suppose 50*o - 1680 - 76 = 46*o. Which is greater: o or 436?
o
Suppose -94 = 20*r - 334. Suppose -928 = -r*x + 41*x. Which is smaller: x or -61/2?
x
Let k = 1 - 0.86. Let u = 0.23535 + -0.13535. Does u = k?
False
Let u be (12/(-345))/(1/(-15)) - 0. Suppose 15 = 5*h - k, -3*h + k - 6 = -17. Which is greater: u or h?
h
Suppose -393 = 16*v - 12793. Suppose 5*b - 2*b - 5*t = 441, 5*b + 5*t - v = 0. Which is smaller: b or 153?
b
Suppose 51*h + 8561 = -40*h - 93541. Do h and -1121 have the same value?
False
Suppose 0 = 16*h - 21*h - 960. Let p = 196 + h. Is p less than or equal to 13?
True
Let w(h) = -5*h - 22. Let j be w(-5). Suppose 3*a + 29 = u - 2*a, -j*u - a = -7. Suppose 8*c - 20 = u*c. Is 3 smaller than c?
True
Let u be 2/(-1) - (-12)/(-2). Let p = -8 - u. Let o = -141871/91 - -1559. Which is bigger: o or p?
p
Let b be (-175862)/(-89)*(4 - 5). Let j be 12/(-21) + ((-774816)/(-49))/8. Let l = b + j. Is 0 >= l?
False
Suppose 29*x = 32*x - 3. Let j be ((-1)/3)/(x/(-549)). Let r = j + -259. Is -76 greater than r?
False
Let y = -29/3180 + 139121/13511820. Is y less than or equal to 1?
True
Let o = 8532 - 14049. Are -5517 and o equal?
True
Let x be 4/(-2) - (-7 - 15). Let r be 115/x + (-1 - 10/(-8)). Let i be (-2)/8*-1*(0 + 4). Is i < r?
True
Let z be (94/(-122))/(525/(-1050)). Which is bigger: z or -0.1?
z
Suppose -a + 14 = -4*d, -652 + 702 = 3*a - 4*d. Is a != 612/37?
True
Let n(t) = -t**3 + 4*t**2 + 2*t - 3. Let m be n(2). Let z = -1130 - -1142. Are m and z equal?
False
Let c = 37405 + -31114. Is 6291 less than c?
False
Suppose -2*d - 3 = 3. Let c be ((-18)/(-12))/((-3)/8) + d. Let w = 6 - 3. Which is smaller: c or w?
c
Let n be 3 - (-4 + 695/45). Let d be ((-376)/(-14))/((-63)/(-20)). Let a = d + n. Is 0 at most a?
True
Suppose -12*l = 2*l - 70. Suppose 5*c = -4*a + 193 - 1363, -3*c - l*a - 715 = 0. Is c bigger than -230?
False
Let x(s) = s**3 - 7*s**2 - 2*s + 14. Let r be 2*((-18)/12 + 5). Let o be x(r). Which is smaller: 2/87 or o?
o
Let z = 612292 + -4276633/7. Is z smaller than 1344?
False
Let t(c) = c**2 + 5*c - 79. Let h be t(7). Let v be (6/15)/(8/(-1296)). Let l = 2403/35 + v. Is h > l?
True
Let y be (-7 + 11)/((-28)/37415*-5). Is 7478/7 not equal to y?
True
Let k = 488 + -513. Let r be (20/k)/(-1) - 38/35. Let o = -0.03 - -0.041. Which is greater: r or o?
o
Suppose 0 = 94*i + 8*i. Which is bigger: -3/33362 or i?
i
Suppose -5*f - 1323 = 4*x, 2*f + 2*x = -f - 793. Is f bigger than -270?
True
Suppose 3*r = 4*n - 188, -328 = 5*r - 156*n + 153*n. Which is bigger: r or -20?
-20
Let i = -0.5288 - -1.4288. Which is smaller: i or 321?
i
Suppose 8*h - 4*h - 8 = 0. Let z be ((-81)/h)/((-3)/((-6)/1)). Let g = 43 + z. Which is greater: -39 or g?
g
Suppose 0 = -25*y - 2 + 27. Let w = 17/12 - 149/156. Which is smaller: y or w?
w
Suppose 3*p - 211 = 4*r, 5*p + 70 = -4*r - 165. Is r not equal to -29?
True
Let j be 10/(-12) - 94732/(-264). Which is smaller: j or 357?
357
Let i = 12452497/989 + -12591. Is -1 > i?
False
Suppose 0 = 8*t - 4*t. Let i = 230 + -233. Let q = i - 3. Is q at least as big as t?
False
Suppose 12*j + 9849 + 1903 = -16220. Is j > -2331?
False
Suppose -9*k + 12*k = -3*s - 78, -k + 2 = 0. Let y(x) = -x**3 - 27*x**2 + 27*x + 1. Let o be y(s). Is 23 at least as big as o?
False
Suppose -4*x = 5*w - 64, 0 = 4*x - 275*w + 279*w - 64. Suppose 0*a - 32 = -2*a. Is a at least as big as x?
True
Suppose 3*z - 19263 = 11*a - 12*a, 19245 = 3*z + 4*a. Is z greater than or equal to 6424?
False
Let k(g) = -11*g + 10. Let l be k(1). Let i = l - 47. Is -143/3 greater than or equal to i?
True
Suppose -10*s + 1 = -9*s. Suppose 7656 = -3*t - t. Let z be (-2)/(-2)*(-33)/t. Is s at most z?
False
Let o be ((-2)/(-3))/(4 - 715/117). Which is greater: o or 4/19?
4/19
Suppose -5*f + 155 = -2*i, -f + 239 = -2*i - i. Let w = i - -55. Let m be (-2)/(-10) - (-255)/w. Is -9 at most m?
False
Let s = -2501 + 2500.943. Which is smaller: 4/9 or s?
s
Suppose 11*p + 613 = -421. Let n = p + 136. Is 44 at most n?
False
Let i(c) = -4*c**2 - 51*c + 14. Let h be i(-13). Let s be 4*h + -21*6/(-6). Which is smaller: s or 28?
s
Let d = -25559/44 + 581. Let r be 0/(-7 - -2*(-110)/(-20)). Which is bigger: d or r?
d
Let u = -93 + 95. Suppose -2*d - t = -27, -u*d + 45 = d + 3*t. Suppose -4*w - 52 = -n, -5*n + 10 = -3*w - d. Do -14 and w have the same value?
True
Let w = 35499 + -35381.024. Let k = w + -118. Let i = -0.124 - k. Is i at least -44?
True
Let p = 7347/5 + -1469. Suppose 2*o - o = 3. Suppose -o*c = -c. Is p not equal to c?
True
Let y = 4/169 + -523/676. Let d be -5*((-23)/5 - -4). Suppose 0*j - 2*s = -j - 1, d*j + 2*s = -3. Is y at least j?
True
Let g be ((-12362)/4)/(182/(-52)). Which is bigger: g or 884?
884
Let y = -4 - -23. Let x(q) = 123*q - 2196. Let r be x(18). Which is bigger: y or r?
y
Suppose -c - 5*c = -30. Suppose -1 = 3*h + 5*n - 37, c*n = -4*h + 53. Which is smaller: h or 15?
15
Let p = 1269281/7406 + -544/529. Is 171 less than p?
False
Let h(u) = 6*u - 13. Let s be h(0). Let l(k) = -k**3 - 12*k**2 - 11*k + 11. Let r be l(-11). Let j be 32/22 + s + r. Which is smaller: 0 or j?
j
Let c = -0.012 - -8.212. Let b = -11.2 - c. Let m = b - -11. Is 0 at least as big as m?
True
Suppose 1108 = 6*t + 1078. Suppose -t*n + 991 = 5*p - 374, 0 = -4*p + 8. Which is smaller: 270 or n?
270
Suppose 101*j = 92*j. Suppose j*t + 3*t = 2*z + 931, -4 = -4*z. Which is bigger: t or 312?
312
Suppose 10*x - 5*x + 3840 = -3*w, -3*w - 15 = 0. Is -765 <= x?
True
Let r = -4106 - -4840975/1179. Let u = -4669/55413 - r. Is u <= -1?
False
Let f(l) = 7*l**2 + 173*l + 114. Let p be f(-24). Let n = -803/7 + 109. Is p < n?
True
Let d(u) = -u**3 + 7*u**2 - 3*u - 11. Let l be d(6). Suppose -o = 3*p, -5*o + l*p = 3*p. Suppose 5*r - 4*m = -o*r - 77, 5*r = m - 68. Which is bigger: r or -17?
r
Suppose -q + 0*q + 2 = 0, -5*r - 60 = -5*q. Let c be 1/2 + 285/r. Let u = 4072 - 4101. Which is smaller: u or c?
u
Let j(k) = k**3 + 3*k**2 + 2*k - 1. Let s(d) = 2. Let m(p) = 10*p - 36. Let x(u) = -m(u) - 4*s(u). Let g be x(3). Let t be j(g). Are 1/135 and t non-equal?
True
Let k = 3271 + -3269. Which is bigger: k or -44?
k
Suppose 2*l - 2250340 = 261352. Let v = l + -26377907/21. Let i = v + 725/3. Which is bigger: i or -2?
-2
Let z be 3/1 - 196/28. Let d be (-2)/((z + 100/24)*4). Which is smaller: 6 or d?
d
Suppose 0 = -3*c - 79 - 8. Let d be (-24)/156 + (-2)/(-13). Suppose -7*i - 210 = -d*i. Does i = c?
False
Suppose -h - 74 = -4*x, 5*h + 14 = x + 7*h. Let y be (-2)/12 + (-789)/x. Suppose -3*k - 197 = -65. Is y at least k?
True
Let l be 6 - (-24)/(-36)*(-3)/(-2). Let v be 7/2695*1984 + 3/l. Let a = -68/11 + v. Which is smaller: a or 3?
a
Let l = -443/526 - -90/263. Is -5696 != l?
True
Let o = 5097 - 5097. Let b = 0.4 - 0.4. Does b = o?
True
Let z be (7/(-26))/(((-425)/(-102))/25). Let m be (-2)/5 + 14/10. Is m >= z?
True
Let r = 109 - 105. Suppose 22 = d - 3*t - 19, 0 = -d + t + 39. Let o = d - 35. Which is greater: r or o?
r
Suppose 1495*d = 1456*d - 936. Let g be (3 + -6)*(-2)/(-18). Which is smaller: g or d?
d
Let n = -64 - -66. Let s be (n/3)/((-4)/(-30)). Suppose s*q + 4*k - 6 = 0, -3*q - 4*k = 4 - 14. Is q < -3?
False
Let v be -716 + -1 - ((-48)/(-4))/4. Let y be 3/(-2)*20/v. Let u = -25 + 25. Which is bigger: u or y?
y
Let o = -447698/93 + 4814. Let p = 28509 + -28510. Which is smaller: o or p?
p
Suppose -7 = 3*f - 10. Let m be (f*2)/((80*-1)/10). Let c(p) = -9*p. Let g be c(3). Which is greater: g or m?
m
Suppose -3*m = 6, d - 4*m - 1829 + 463 = 0. Which is greater: d or 1360?
1360
Suppose -4*u - 80 = -2*p + 4*p, 64 = -4*u + 2*p. Let g be ((-147)/(-7))/1 - -12. Let s be ((-3)/g)/((-6)/u). Which is bigger: -1 or s?
s
Suppose 68*z