 -193. Let q be 1 + -1*y + 455/7. Are 63 and q equal?
False
Let c = 28/9 + -311/45. Suppose j = -295*j - 1480. Which is bigger: j or c?
c
Let j(x) = -4*x**3 - x**2 + x - 4. Let s be j(-3). Let w be 5 - -3 - (-2036 - -11). Suppose 24*c = w + 175. Are s and c equal?
True
Suppose 112*o - 31*o = -15*o - 34752. Which is bigger: o or -384?
o
Let d = -2960.78 + 2964. Do d and -0.1 have different values?
True
Let r = -665.128 + -0.872. Let b = 665.938 + r. Which is smaller: -0.4 or b?
-0.4
Let u be (-1359)/(-39) + 4/26. Suppose -5*b + 5 - u = 0. Suppose 3*i = -3*z + 24, 8*i + 20 = 2*z + 4. Which is bigger: i or b?
i
Let f = 45675 - 3699752/81. Which is smaller: -2 or f?
-2
Let r = 4.3 - 4.603. Let w = 0.003 + r. Which is greater: 4 or w?
4
Let x be 8*(-1)/(-3)*(630541/(-212) - 19). Which is greater: x or -7985?
x
Let y be 26/(-3) + (-4)/(-6). Suppose 5*f + 7*p - 6*p + 86 = 0, 4*f + 66 = 2*p. Let o be (-18 - f) + (-102)/15. Which is greater: o or y?
o
Let i be (-60835)/30 - (-1)/(-6). Let x be ((-260)/i)/(16/(-6)). Does x = 0?
False
Let g = 5973 - 5988. Which is greater: 31.4 or g?
31.4
Let t = -72 - -792. Let b = t + -705. Is -4 bigger than b?
False
Let c = 988 - 700. Suppose -11*f + 9*f = c. Let i be 2/f*3*2. Which is smaller: i or 1?
i
Let f = 12805642/171 - 74887. Which is smaller: f or -1?
-1
Let a = 384.47 - 493.47. Let c be 3/(3*(-7)/2). Which is greater: a or c?
c
Suppose -3*j - 106 = 4*z, -7*j - 16 + 2 = 0. Are -9 and z nonequal?
True
Let j = 15.3 - -30.7. Let d = j - 45.11. Let s = d - 1. Which is smaller: s or 5?
s
Let a = -4873 - -4872.986. Is a bigger than -0.32?
True
Let f be 20/6 + 3/(-9). Suppose -5*x + l - 1239 = 0, -35*x + f*l + 995 = -39*x. Which is smaller: -250 or x?
-250
Let p = -10890 + 10896. Which is bigger: p or -5?
p
Let v(w) = -10*w - 12. Let h be v(-9). Suppose -10*a - 5*q + 57 = -9*a, -4*a = 5*q - 288. Which is greater: a or h?
h
Suppose 9*q = -7598 + 6347. Which is greater: q or -20?
-20
Let a = -6613.4 - -6604.4. Let t = 7/9 + 23/9. Which is greater: a or t?
t
Suppose 7581 = 4*n + 5*g, 5*n = 8*n - g - 5662. Which is smaller: 1888 or n?
1888
Let d = -2 + -4. Let r be 2*(4 + 4/(-28) + -4). Let b = -4/7 - r. Which is greater: b or d?
b
Let o = -335 + 110. Let n = o - -53. Is n at most -173?
False
Let u(l) = -l**3 + 115*l**2 + 227*l + 1099. Let x be u(117). Let i = -24 - -22. Is i >= x?
False
Suppose 2*g = -18 - 2. Let h be (25 + -9)*(-1 + (-28)/16). Let k(u) = -2*u - 96. Let y be k(h). Is y less than or equal to g?
False
Suppose 1 = 5*k - 2*a, 9 = 3*k + 11*a - 8*a. Which is greater: k or 11/177?
k
Let s = 9 - 9. Let x = 411/28 + -122053/8316. Which is smaller: x or s?
s
Suppose -11*h - 12222 = -371*h + 10098. Is h != -15?
True
Let a = 1/943369 - 4588007749/943369. Do -4863 and a have the same value?
False
Let w be (-1279)/4*-2*(-84)/(-18). Do w and 2984 have the same value?
False
Let d = 134 + -55. Let q = d - -62. Is 140 at least as big as q?
False
Suppose 2*z - 38 = 4*g, g - 2*z = 2*g + 7. Suppose -12*i - 10*i = -44. Suppose -3*f - 5*u - 55 = 0, 0*f + 5*f = i*u - 40. Does g = f?
False
Suppose -3 = 9449*j - 9451*j - 5. Which is smaller: 3/16654 or j?
j
Let n be 2035/407 - (0 + (-1194 - -1)). Which is smaller: 1 or n?
1
Let b = -57 + 9. Let s(r) = r**3 - 15*r**2 + 35*r + 10. Let p be s(12). Let z be (b/84)/(p + 1 - -3). Which is bigger: 0.3 or z?
0.3
Let z = 46 - 41. Suppose -z*h + 4*l + 16 = 0, 2*l + 8 = 3*h - 8*h. Suppose h = i - 5 + 4. Which is greater: -1 or i?
i
Let w(y) = y**3 - 39*y**2 + 36*y + 20. Let x be w(30). Is 2/5 greater than x?
True
Suppose 0 = -p - 58 + 67. Let u be (p - 5) + (-19 - 0). Let a = -16 - -3. Are a and u non-equal?
True
Let c = -67 + -60. Let q = c - -32. Let r = q - -95. Which is smaller: -1/23 or r?
-1/23
Let u be (25 + (-280)/20)/(1/(-20) - 0). Which is smaller: -222 or u?
-222
Let r be 3 - (840/4 + (1 - -2)). Let b = 208 + r. Which is smaller: b or -16/7?
-16/7
Suppose -12*s + 550 = 10*s. Does -24 = s?
False
Let j be -1 + (-8610)/40 + 6/(-8). Let p = j - -637/2. Which is bigger: 102 or p?
102
Let q = 27000779/158 - 170891. Let a be (-2)/(-7) + (-2)/7. Is a <= q?
True
Let n(o) = -9*o**2 + 181*o - 361. Let i be n(18). Let s be (-170)/8 + (-1)/(-4). Which is greater: i or s?
i
Let s = 12 + -25. Suppose 257*j - 182*j + 825 = 0. Which is smaller: s or j?
s
Let a be (-17 + (-208)/(-13))*2/(6/(-303)). Suppose 2*t + 4*y = 212, 0*y + 97 = t - y. Are a and t unequal?
True
Let r = 56686 + -56690. Let h be 1/(-4) - 54/40. Which is greater: r or h?
h
Let s(b) = b**3 - 3*b**2 - 2*b - 3. Let n be s(4). Suppose 4*t + 40 = n*p, -4*p + 3*t = 6*t - 1. Let m be p/((3 + 8/(-4))/(-1)). Is -5 at least as big as m?
False
Let f be (11 - 2340/135)/((-2)/3). Is -0.055 less than f?
True
Let y be -4 + 8 - 6 - 3/(-1). Suppose -2*j = -m - 3, 5*m + 22*j = 25*j - y. Which is greater: 466 or m?
466
Let t(s) = -6*s**2 - 111*s - 46. Let f be t(-15). Let p be (52/26)/(f/89 + -3). Suppose 0 = -2*q - 7 + 185. Is p > q?
False
Let s = -34 + 10. Let v = 266/11 + s. Let d be (-6992)/9568 - 3/(-13). Is v at most as big as d?
False
Let a(s) = -s - 9. Let m be a(-9). Let l = -1142/285 + 66/19. Let y = l - -2/15. Which is greater: y or m?
m
Let b = -365659538276183/12883695 - -312197310/11. Let v = -1/10365 - b. Is -1 < v?
True
Let v = -5839 + 8536. Which is smaller: v or 2?
2
Let y = 480778 - 480796. Let p be (-13)/(-2) - 1/2. Is y != p?
True
Let l = 766 + -865. Which is smaller: -0.07 or l?
l
Let j = 958 - 543. Let x = 1.362 + -0.362. Are x and j unequal?
True
Let z = 4 + -4.2. Let w = 9851 - 9712. Is w greater than z?
True
Suppose -4 + 0 = 4*t. Let w = -1399 - -765. Let i be (1 - -5) + 3808/w. Is i less than t?
False
Let r = -7.867 + 7.867. Which is smaller: 4970 or r?
r
Let f = -0.3053 - -0.3053. Is f not equal to 2022?
True
Let p = 2/38603 - 77212/115809. Which is bigger: -3.934 or p?
p
Suppose -4*o = -3*b + 1698, 3*o + 1276 = 7*b - 6*b. Let c = o - -430. Suppose -19 = -p + 3*p - 5*v, 0 = 4*p - 4*v + 8. Which is smaller: c or p?
p
Let c = 124 - -140. Suppose 4*m - 5*o + 125 + c = 0, o = -m - 86. Which is greater: m or -92?
m
Let s(b) = b**2 - 72*b + 898. Let m be s(16). Is 0 less than m?
True
Let r = 35932 - 24563. Which is smaller: r or 11368?
11368
Let d = 45 + -53. Let c be 15/(180/d) + (-164)/(-30). Let n = 29/30 - 3/10. Do c and n have different values?
True
Suppose -5 = 5*k, s - 92*k - 730 = -89*k. Suppose 4*f - 4*i - 840 = 0, -4*i + s - 90 = 3*f. Which is greater: 212 or f?
212
Suppose i + i = -5*k - 37121, 0 = -3*k - 3. Let g = i + 111589/6. Is g greater than or equal to 40?
True
Let b be ((-2)/(6/(-15))*-1)/1. Let r be (-139)/b + (14 - 10)/20. Are r and 28 non-equal?
False
Suppose j - 9*j - 328 = 0. Let l = -21 - 6. Let r = l - j. Which is greater: -1 or r?
r
Let z be 4/22 + ((-36)/(-99))/(-2). Is z at least -2/9327?
True
Let g = -33275/37 + 899. Let f(d) = -d + 11. Let v be f(8). Let k be -3 + (7 - (v + -1 + 1)). Is g less than or equal to k?
True
Let b be (-6)/(-24)*2*6. Suppose -2*p + 13 = 4*g + 21, -b*p + 32 = -5*g. Let k be 401/(-990) + g/(-10). Which is greater: 1 or k?
1
Suppose 3*f = -16*o + 19*o + 1149, -4*o = 3*f - 1163. Suppose f*x = 387*x - 874. Is x less than 437?
False
Let r(z) = -z**3 - 2*z**2 + 4*z + 6. Let i be r(-8). Which is greater: 359 or i?
359
Let n = 711607/236 - -4541/59. Which is smaller: 3091 or n?
3091
Let x = 97593 + -98103. Let u = -781 - -270. Which is bigger: x or u?
x
Suppose 1197 = 2*r + 3*n, 2967 = 5*r - 64*n + 63*n. Let i = r + -4160/7. Let a = -451/364 - 1/91. Is i > a?
True
Let k(s) = s**2 - 6182*s + 24712. Let q be k(4). Let w be -1 - (-3)/(132/14). Which is smaller: w or q?
w
Let i = 0.0045 - 2.1745. Let p = 2.14 + i. Which is smaller: p or 18?
p
Suppose 11*o = 3*o - 1424. Let s be o/(((-2)/(-5))/(4/20)). Which is smaller: s or -87?
s
Suppose 0*q = 3*q - 18. Suppose -4*v + s = -6, -4*s = -4*v - q*s. Let k = -1021 - -13279/13. Does v = k?
False
Let o be 1/(-2 + 1912/952). Are 136 and o non-equal?
True
Let j = 27.705206 + 0.027794. Let z = 14.76 - j. Let v = z + -0.027. Is v greater than -1?
False
Let a = -159 + 165. Let z = -17 + 19. Suppose -2 - z = -d. Which is smaller: d or a?
d
Suppose 29*b - 45*b = 7056. Which is greater: -430 or b?
-430
Let n be ((-75)/(-100))/((-15)/(-24)*6