s bigger: 1 or t?
1
Let a = -285.89 + 286. Let m = a - -0.19. Let l = -2.06 - -0.06. Do l and m have different values?
True
Let c = -280 + 281. Let w be (-15)/4*15/4. Let n = w + 20523/1456. Do n and c have different values?
True
Let f = -2143 - -1301. Let y = f - -466. Is y >= -376?
True
Let q = 56731 + -31776. Is 24955 equal to q?
True
Let m be (-3*12/81)/(10460190/(-1755)). Which is bigger: 1 or m?
1
Suppose 5*x + 30*s = 34*s - 2497, -s - 2482 = 5*x. Is x at most -491?
True
Let y = 10547496/797 + -13234. Let b be 0/((6/(-30)*-5)/1). Which is smaller: b or y?
y
Suppose 1015*a = 938*a + 462. Which is greater: a or -381?
a
Suppose 0 = -d + 3, 0 = y - 6*y - 4*d - 8098. Is y bigger than -1623?
True
Let k = -3299 - -6601/2. Let p(y) = y**3 - 7*y**2 - y + 9. Let c be p(7). Is c < k?
False
Let x = 26 + -17. Let t(y) = -y**2 - 28*y - 167. Let h be t(-9). Suppose -5*b + h*b = -x. Is 11 greater than b?
True
Suppose 10*n + 15 = 13*n. Suppose 0 = -n*j + 3*c + 722 + 547, 3*c + 261 = j. Let x be 2/(-8) - (-135)/j. Is 0 smaller than x?
True
Let j be (6/12*16)/2. Let s be 5/3 + -1 + j/3. Let l be -3 - s - (3 - 8). Which is bigger: -1/59 or l?
l
Let b = 572827/51 - 11232. Which is smaller: b or -1/29?
b
Let d = 17658 - 17769. Which is greater: d or -40?
-40
Suppose 21*y = 20*y - 51. Let p = y + 26. Which is greater: p or -27?
p
Let z = 39 - 42. Let x be 6/(1 + z) + 3. Suppose -26 = -3*c + 2*c + 5*s, x = -4*c - 5*s - 21. Is c less than 1/2?
False
Suppose 0 = 9*k - 4*k + 2*v - 772, -2*k = 5*v - 313. Are k and 160 equal?
False
Let b be (-1 + 5/15)*129. Let s = 32 + b. Is -53 at most as big as s?
False
Suppose 0 = -4*m + 16, -5*y + 4 = -2*m + 2. Suppose -10 = 5*j + g + 4*g, -y*j + 10 = -5*g. Which is smaller: j or -2?
-2
Let r = -1564/11 - -4802/33. Which is greater: r or -7.6?
r
Let n be ((-4)/(-8) - 1)*-6. Suppose 57*k - 56*k = n. Let v be 1 - (-15)/k - 1. Is v > 8?
False
Suppose -13305 = -f + 4*l, f - 5*l + 2*l - 13309 = 0. Let z = f - 306445/23. Which is smaller: -4 or z?
-4
Let u = 37 + -33. Suppose u*v - 4*k = 4, 5*k + 4 = 9*k. Suppose -v*n + 26 + 38 = 0. Which is smaller: n or 33?
n
Suppose -2*t - 5*v - 7 = 0, 3 - 2 = v. Let y = t + 26. Let n be (156/1001)/(y/(-14)). Is n > -1?
True
Let u = 8.5029 + 1.5971. Which is bigger: 1 or u?
u
Let b = -0.106 - -10.806. Let g = 681.3 + -693. Let d = b + g. Is -19 < d?
True
Suppose -3*z + z = -6, 4*z = 5*i - 338. Suppose -4*p + 36 = -5*w - 46, -i = -4*p - w. Let h be (p/8)/3 + 944/64. Is 15 < h?
True
Suppose 136*v = -32*v - 162120. Is -6 bigger than v?
True
Let d be 231425/(-2275) + 4/26. Let n = d + 3539/35. Is n <= 1?
True
Let s(f) = -629*f + 630. Let m be s(1). Is 15/64 equal to m?
False
Suppose 5*u = 137 + 13. Let v be 1752/u*(-70)/(-28). Which is smaller: v or 147?
v
Let r = 21 + -81. Let a = 41 + r. Let u(q) = -10*q + 21. Let v be u(4). Are v and a non-equal?
False
Suppose 2*l - 1753*c = -1750*c - 801, -3*l = -5*c + 1199. Which is bigger: l or -405?
-405
Suppose -17 = 35*j - 64 + 12. Which is smaller: j or -22/237?
-22/237
Let y be (-8 + 6)/(3 + -1) - 119. Let z be y - -126 - 2/2*-1. Suppose -k + 0*k = -9. Are z and k equal?
False
Suppose 10*p - 199 = 81. Let v(s) = -2*s - 41. Let b be v(p). Let w = b - -64. Which is smaller: w or -34?
-34
Let d = -0.024 - 0.436. Let a = d + 0.06. Let h = -23/4 - -203/36. Which is smaller: a or h?
a
Let f = -152 + 151. Let i = 23.3 + -23.284. Which is smaller: f or i?
f
Let c = 48.96 + -48. Let v = -8954.96 + 8955. Let m = c + v. Which is smaller: m or 4?
m
Let a = 21 - 16. Let l be (-4)/28 + (-15)/(-7). Suppose j + 8*h - 3 = 4*h, l*h = -j + a. Which is smaller: j or 39/5?
j
Suppose -2175 = -31*o - 187*o + 6327. Suppose s - 11 = 27. Which is smaller: o or s?
s
Let h = -18712.36 + 18717. Which is smaller: h or -25?
-25
Let o(g) = 4*g - 11. Let n be o(5). Let j = n + -1. Suppose 4*y = 2*h - j, 3*y + 6 = -2*h - 2*h. Which is greater: 46 or h?
46
Let b be (-4)/(-20) + 351/45. Suppose -1437 = b*w + 203. Is -205 not equal to w?
False
Let t = -3752193/3598 + 7300/7. Is 1/4 less than or equal to t?
False
Suppose -f - 1 = -0*f. Let r = 4037/31143 - 51/1483. Which is smaller: f or r?
f
Let k = 833/10 + 591/5. Suppose -4*m + 2*o + 822 = 0, -8*m - o - 817 = -12*m. Which is smaller: m or k?
k
Let n(h) = h**3 - 6*h**2 + h - 7. Suppose -13*l + 6 = -10*l. Suppose -6 = t - l*t. Let a be n(t). Which is smaller: a or 2/5?
a
Let v = -149719/239576 - 2/29947. Suppose 2*n - 22 = -6. Suppose 0 = 4*u + n. Is v bigger than u?
True
Let n = -39628/4185 + 294/31. Is n greater than 4?
False
Let r = -8.225 - -7.225. Which is greater: 1807 or r?
1807
Let w(d) = 15*d + 224. Let i be w(-11). Let s = 4 + -2. Suppose 2*b - b + 119 = s*o, 121 = 2*o + b. Which is bigger: o or i?
o
Suppose -5*c - 492 = 3*a, 36*c - 34*c - 3*a + 222 = 0. Suppose 0*k - 2*k - 200 = 0. Which is greater: k or c?
k
Let i be (-1)/(-3) - 750/2574. Which is smaller: i or 0?
0
Let u = -421 - -425.04. Let k = u - 5.04. Which is greater: k or 1.6?
1.6
Suppose 8*o = -o - 99. Let y be (-6)/(-13) + (-923)/169. Is o != y?
True
Suppose 0 = 27*y - 325*y + 75990. Are y and 18 equal?
False
Suppose -2*n + y = -3*y + 478, 1171 = -5*n + 4*y. Let s = n + 230. Which is smaller: -2/153 or s?
s
Let v = 19211 - 19211.28. Is -62 equal to v?
False
Suppose 8*k - 13*k = -65. Let l(j) = -12*j**2 - 1. Let q be l(-2). Let a = -34 - q. Is a >= k?
True
Let q be 24/(-1) - (-2 + 1). Let a = 133152 - 133177. Is q >= a?
True
Let z(l) be the third derivative of -131*l**4/24 + 23*l**3/6 + 23*l**2 + 2. Let f be z(1). Which is bigger: f or -110?
f
Suppose 0 = -4*x + 3*n + 140, -3*x + n + n + 104 = 0. Suppose 5*b - x = -37. Let g = -23/3 - -193/24. Which is smaller: g or b?
b
Let t = 195 + -190. Suppose -2*u = -4*u + t*i + 370, -5*u + 991 = 4*i. Which is bigger: 194 or u?
u
Let j(s) = 3*s**2 + 20*s + 0*s**2 + 6*s**2 + 24 - 4*s**2 + 30*s. Let i be j(-11). Which is smaller: i or 81?
i
Suppose 0 = -2*w, 3*z - w - 714 + 120 = 0. Let j be (-3)/(-18) + (-429)/z. Is j at most 50?
True
Suppose -2*p - 3*p = -285. Suppose -4*h + 101 = -131. Which is greater: p or h?
h
Let l be 6/(-608)*1*2. Let t(h) = -9*h**2 + 261*h + 1531. Let x be t(34). Which is smaller: x or l?
l
Let a be -1*50*10/18. Let v = 28 + a. Is 10 less than v?
False
Let v = -1.249 - 638.751. Let d = -643 - v. Suppose 2*c - c - 26 = 3*y, y = -4. Are c and d non-equal?
True
Let z = -612.02 + 590. Let o = z + 22. Which is smaller: -1 or o?
-1
Let k = -1792.14 + 1792. Is k bigger than 23/5?
False
Let k(c) = -28*c - 24. Let d be k(-1). Let o be -11 + (d - -6) - (0 + -2). Which is greater: 6/187 or o?
o
Suppose 82*k = 71*k + 22. Suppose -k*b + 8*m = 3*m + 70, -4*b + m = 158. Let r be (-4)/(-10) - (-404)/(-10). Is r less than b?
False
Let v be (-20)/(-14)*(3 - (2 - -22)). Which is smaller: -8 or v?
v
Suppose -342*i + 320*i = 16698. Is -759 not equal to i?
False
Suppose 238 = 4*p - 14. Let k = 97 - p. Suppose a - 3*a = 0, -4*s + 128 = -5*a. Which is smaller: k or s?
s
Let y(o) = 11*o**3 + o**2 - 95*o - 27. Let i be y(8). Is 4907 >= i?
False
Let g be 166/(-2 - (2 + -1) - -1). Let b = g - -106. Is b > 21?
True
Let i(v) = -14*v - 55. Let j be i(-4). Is j <= -2/3705?
False
Let d = -699/473 + 16/11. Let n(y) = y - 6. Let r(l) = -l. Let q(x) = -n(x) - 2*r(x). Let v be q(-5). Which is bigger: d or v?
v
Let j(o) = -o**3 + o**2 + 8*o - 1. Suppose -a = -4*f + 38, 4*a - 12 + 38 = 2*f. Let g be j(f). Let p = 1133/2 + g. Is p >= -11?
True
Let a = 54 - 45. Let w = a - 20. Which is smaller: w or 2/7?
w
Let y = 897 - 896. Which is bigger: -2/967 or y?
y
Let q = -126.5 - -156. Let d = 31.5 - q. Let g = -0.04 - 0.04. Which is smaller: g or d?
g
Suppose -10*l - 14 = -44. Do 25 and l have the same value?
False
Let j = -4445 + 4445.2. Are -1.1271 and j equal?
False
Suppose -19*w - 350 = -33*w. Suppose -b + 4*f = -w, 2*b - 10 = -4*f + 2*f. Which is bigger: b or 1.3?
b
Suppose -4*m = 36*m + 12*m. Is 1/1898 >= m?
True
Let g(u) = 55 + 823*u + 93 - 409*u - 410*u. Let z be g(15). Do 209 and z have different values?
True
Suppose 3*d = 22*d - 304. Suppose -c + d - 9 = 5*h, c - 3*h = -17. Do -4 and c have the same value?
False
Let a = 70 + -11. Let h = 59.082 - a. Let k = h - 0.382. Is 9 <= k?
False
Let f = 0.0302 + 0.0588. Which is smaller: f or 8?
f
Let 