ller than j?
False
Suppose -t + 883*w = 887*w - 129, 0 = -2*t - 4*w + 282. Which is bigger: 769/5 or t?
769/5
Let c = -10908 + 10421. Is -492 at most as big as c?
True
Let g = -268 - -505. Let h(b) = 88*b + 588. Let w be h(-4). Is g equal to w?
False
Suppose -3*l = -3*u - 87, -5*l + 5*u - u + 143 = 0. Suppose -18*b = l*b + 45. Is -2/2281 >= b?
True
Let m(g) = 3*g + 1. Let c be m(2). Suppose -4*f + 15 = 3*j, -5*j - 3 - c = -5*f. Which is greater: 2/189 or j?
j
Let k(v) = -v**3 - 49*v**2 + 100*v - 102. Let d be k(-51). Is d less than or equal to 2/8565?
True
Let t = 10.3 + 39.7. Let h = 76.75 + 6.05. Let d = h - 82.9. Which is greater: t or d?
t
Suppose 30*t = -53*t + 86*t. Which is smaller: t or 47/84?
t
Let r = -475 + 8821. Which is smaller: r or 8345?
8345
Let i = -1055.3 + 1035.221. Let j = i + 20. Is j <= 1?
True
Suppose 5*y - 4 - 11 = 0. Suppose 13 = y*b - 14. Suppose -11*u - 63 = -13*u - 5*u. Is u at most as big as b?
True
Suppose y + 3*h - 254 = 0, y - 260 = -2*h - 2*h. Is 230 at most as big as y?
True
Let y = 300609 - 2112007/7. Are y and -1107 equal?
False
Let d = -11 + 17. Let v be (-224)/(-48) + (-4)/d. Let z be (176/(-40) - -2)*15/(-14). Which is smaller: v or z?
z
Suppose -3*v + 18*v = 5*v - 210. Is -116 not equal to v?
True
Let l = -820619542564/5665 + 144857819. Let o = -1/515 + l. Suppose -2*f + 6 = -2*r - 0, 4*r + 4 = -4*f. Which is smaller: f or o?
o
Suppose 5*s + 1 = -r, 12*s - 12 = 8*s - 4*r. Let i be (-51 + 51)/(s - -2). Let x be 1/3 - 118/138. Is x != i?
True
Suppose 70 = -2*u - u - 5*h, 2*h + 40 = -2*u. Suppose 5*c - 4*y + 92 = 0, c + 0*y + y = -13. Which is smaller: c or u?
c
Suppose 108*t = 105*t + 5*a - 275, 4*t - 5*a + 370 = 0. Which is smaller: -377/4 or t?
t
Let t(l) = -l**2 + 5*l + 9. Let j be t(7). Let c be 2 + 4 + j + 4. Suppose -6*s + 12*s - 48 = 0. Is c at least s?
False
Let r = 1/123512 - -30869/1111608. Suppose 3 = 5*l - 2. Is l < r?
False
Let m = -29 - -32. Suppose m*a = -64 + 19. Let l be 2 + 24/a + (-464)/1260. Which is smaller: l or 0?
0
Let x(f) be the third derivative of f**5/20 - f**4/8 + f**3/3 + 18*f**2. Let i be x(1). Suppose 2*g - 30 = 3*q, -i*g + 0*g + 2*q = -28. Does g = -0.1?
False
Suppose -4*z + 3468 = 4*n, -496*z - 2641 = -499*z + 5*n. Are 876 and z non-equal?
True
Let z be 4 - (2 - 0) - -3. Suppose 0 = z*g - y + 4, -g + 4*y - 16 = 2*g. Which is smaller: -8/23 or g?
-8/23
Let m(h) = -h - 44. Let y be m(-11). Let g = -23 - y. Let s be (-15)/21*1 + g/(-35). Is s <= -17?
False
Suppose -472 = -11*b + 815. Suppose 7*i + 260 = 5*s + 8*i, -3*i + b = 2*s. Is s equal to 53?
False
Let w = -1431.457 + 1431.4. Is w at least as big as -10/3?
True
Let p be 4/50 + 377377/(-25025). Do -335/21 and p have the same value?
False
Suppose -6*i - 16 = -2*i. Let q be 979/(-4851) + i/(-18). Let w(h) = 2*h**3 + h**2. Let r be w(-1). Which is smaller: q or r?
r
Let r = 4845924322290073003/23 - 44450368928928678368825232173/210972854170. Let m = r + -7/9108970. Let p = m - 195/19. Which is smaller: -1 or p?
-1
Let s = -456 + 162. Let o = -297 - s. Are 94 and o equal?
False
Let w = 2149 + -3246. Which is greater: -1095 or w?
-1095
Let q be 5*(-3)/36 - 11*(-6)/(-264). Let a = 9.1 + 0.9. Is a greater than q?
True
Let p(r) = 475*r + 3344. Let d be p(-7). Is d greater than -4?
True
Suppose -2*k + 123*k - 36336 = -3303. Which is bigger: 267 or k?
k
Let d = -2.1 - -2. Let f = -0.516 + -228.484. Let l = f + 228.1. Are d and l equal?
False
Let z = -49 - -179. Let n = z + -129. Do 29 and n have the same value?
False
Let a = -1 - 39. Suppose 5*h - 3*s - 95 = 7*h, -4*h + 2*s = 166. Let t = a - h. Are t and 3 nonequal?
False
Let a = -172 + 173. Suppose -3*i = 20 + 10. Which is smaller: i or a?
i
Let u be 996/(-111)*7/((-84)/(-18)). Which is greater: -13 or u?
-13
Let x = 945.2 + -467.4. Let i = 521 - x. Let m = -43 + i. Is m at most 1/2?
True
Let g = -3 + 6. Let s = -15.6 + -6.4. Let m = -21.6 - s. Is m smaller than g?
True
Suppose 3*m - 7*m + 421 = -3*d, 3*m - 294 = -5*d. Let v be (-4)/14 + (-16)/(-7). Suppose -v*c - 53 = m. Which is bigger: -77 or c?
-77
Let k(d) = d**3 - 21*d**2 + 24*d - 61. Let n be k(20). Suppose n*f - 368 = 88. Is 26 >= f?
True
Let h = 0.26068 + -6.26068. Which is bigger: h or -1768?
h
Let v be 64/(-276)*(-1)/4. Suppose -14 = 4*h - 10. Do h and v have the same value?
False
Suppose -3*c + 4*r - 2904 = 1733, -4627 = 3*c + r. Is -1545 at most as big as c?
True
Let b(i) = 10*i**2 + 218*i + 64. Let l be b(-15). Which is greater: -962 or l?
l
Let z = -40 + -11. Let q(n) = -n**3 - 4*n**2 + 19*n + 91. Let a be q(-6). Suppose -a = v + 2. Do z and v have different values?
False
Let l(w) = -w - 35. Let c(v) = 3*v + 105. Let y(z) = -4*c(z) - 14*l(z). Let m be y(-11). Suppose -4*o - m = 4*o. Is o at most as big as -1?
True
Let l(o) = o**2 - 4*o + 2. Let i be l(3). Let r be 4/(-18)*121/110. Let k = r + 107/315. Which is smaller: i or k?
i
Let w = -58 - -98. Let s = w - -8. Let x = s - 48.58. Which is smaller: -0.1 or x?
x
Let y(w) = -w**3 + 26*w**2 + 12*w - 111. Let l be y(26). Let f = 196 - l. Is f at most as big as 1?
True
Let t = -2265 - -2389. Is 107 bigger than t?
False
Let w be (26/7)/((-22)/(-77)). Which is smaller: w or 71/6?
71/6
Suppose 29*n - 4680 = 94*n. Which is smaller: n or -46?
n
Let j = -687.8 + 60.8. Let k = -628 - j. Is 1/2 bigger than k?
True
Let r = 11763 + -11762. Is 2511 less than r?
False
Let d be 162/(-4) + (-1)/(-2). Let z = 48.6 - 92. Let b = -44.4 - z. Is b smaller than d?
False
Suppose -3 = k + w + 1, 0 = 5*k - 3*w + 20. Let r be 1/k + 4*(-2)/(-288). Let u be 1 - 10/((-20)/(-4)). Which is bigger: r or u?
r
Let n be 234/195*15/2. Suppose -n*p + 4*p = -50. Which is greater: 12 or p?
12
Let x be 495/(-66)*(2 - 76). Which is greater: x or 2223/4?
2223/4
Let u = -9/10 - -877/930. Let f = 9/31 + u. Let k = -1 - -1. Which is smaller: f or k?
k
Let m = 286 - 205. Let q be 1/(-2) + m/2. Which is smaller: q or -1?
-1
Suppose 2*j - 3*j = -27. Let b = 2/549 - -9872/2745. Let n = 136/35 - b. Is j equal to n?
False
Suppose -2*m - 5*n - 30 = 0, 4*m + 131 = -n + 107. Let p(k) = 6*k**2 + k + 2*k**3 - 5 - k**3 + 3*k. Let y be p(m). Are y and -1.4 nonequal?
True
Let m(h) = h**2 + 14*h - 6. Let i(b) = -3*b**2 - 28*b + 11. Let z(u) = 4*i(u) + 7*m(u). Let k be z(-3). Is 6/5 smaller than k?
False
Suppose -16*n - 284 = -268. Are n and 5/284 unequal?
True
Let q be 198/(-297) + 2098/(-3). Is -699 equal to q?
False
Let b be (-38)/(-7) + 21/(-49). Suppose x = -j - 51, 315 = -b*x - 4*j + 57. Let v = -936 + 937. Which is greater: v or x?
v
Let t be 8879/130 - 9/30. Let k be 0 - (-17)/(t/(-96)). Which is smaller: k or -0.1?
k
Let t(y) = -17*y + 5*y**2 + 39*y - 61*y. Let c be t(8). Which is greater: 9 or c?
9
Let m be (10/(-3))/(23582/(-39)). Let h = m + -49033/9977. Let q(c) = c**3 - 9*c**2 - 2*c + 14. Let f be q(9). Are f and h equal?
False
Suppose 897*w - 936*w + 14157 = 0. Is w smaller than 378?
True
Let g(k) = -947*k + 613. Let s be g(-3). Which is smaller: 3455 or s?
s
Let b(m) = 117*m - 17. Let k be b(1). Suppose 2*g - k = -2*g. Are g and 31 equal?
False
Let g(l) = -255 - 20*l**3 + l + 256 + l. Let w be g(-1). Suppose h + 3*q = -68 + 77, -4*q - 12 = 0. Is w less than or equal to h?
False
Suppose 86*w - 62*w - 233 + 401 = 0. Is w at least as big as -543/70?
True
Let f be (-79688)/196*(-14)/4. Which is greater: f or 1422?
f
Let c = -10 - -7. Let k be (c - -2)*(-4)/(-15). Suppose -101*g = -297*g - 588. Which is greater: g or k?
k
Suppose 0*b + 4*b = 5*h - 27, 5*h = 2*b + 1. Let i(o) = -28*o - 43. Let z be i(-3). Let x = z - 53. Which is smaller: x or b?
b
Let r(w) = w**3 - 3*w**2 - 13*w + 52. Let s be r(5). Do s and 268/7 have the same value?
False
Suppose -5*m + 4*q - 6*q = 3800, 3*m - 5*q = -2280. Are m and -762 unequal?
True
Let u be -5*((-30)/(-50))/3. Let r be 1 + (-10)/6 + 1. Which is smaller: u or r?
u
Let a(z) = z + 2. Let q be a(-2). Let i = 18483243/77 + -240042. Which is smaller: q or i?
q
Suppose 0 = -30*a + 33*a - 387. Suppose a = -6*r + 21. Which is smaller: r or -15?
r
Suppose 213*h = 53*h. Which is bigger: -18/53 or h?
h
Let v be (-10)/15 + 3956/(-6). Let l be 5*(-414)/v*-2. Are -7 and l unequal?
True
Let a be 13/(-65)*25/(-10). Let h = -16 + 2. Which is smaller: a or h?
h
Let a be (-134)/(7/(-4) + (-4)