= -b*d + 603. Are 202 and d equal?
False
Suppose -93 = j - 4*j. Suppose f - 5 = 0, 2*f = 3*c + 7*f - 61. Let d = c + j. Which is greater: d or 44?
44
Suppose -5*a + k + 2*k = -34, -3*a = -3*k - 18. Let f = -88 + 742. Let p = -648 + f. Which is greater: p or a?
a
Let k = 0.0097 + 9.4303. Let h = k + -1.54. Let w = 8 - h. Is 9 less than or equal to w?
False
Let o be (333/(-9) + 16)*325/(-15). Which is smaller: 462 or o?
o
Let l = 27 + -13. Let j be (1 + 10/(-5))/((-1)/38). Suppose j + 7 = 3*i + 3*p, -i - 4*p + 18 = 0. Is l <= i?
True
Suppose -z - 30 = -5. Let n = z - -28. Let i be n*(4/3 + -1). Are i and -1 equal?
False
Let o(l) = 137*l + 1234. Let t be o(-9). Does t = -9/626?
False
Suppose 3*y + 1 = h - 0, -4*y + 16 = 3*h. Suppose z - 5 = -2*s, 0*s + h = -2*z + 3*s. Does 78 = z?
False
Let z = 2 - 2. Let n be 15 + -1 - 4/(-1). Let w be (n*(-2)/(-8))/(102/2). Which is smaller: z or w?
z
Let i = 184 + -184.04. Is 18/31 greater than or equal to i?
True
Suppose -s - 2*u = -4*s, -s = 4*u - 14. Is s < 2.46?
True
Suppose 22*o = 107*o + 1785. Let l = -20 + 1. Does o = l?
False
Let d = 33 - 68. Suppose -11*y + 26*y = -45. Which is greater: y or d?
y
Suppose -7*f + 8*f + 5 = 3*x, 0 = -f - 2*x + 15. Let m be (3/2)/(f/(196/(-21))). Which is bigger: m or -6/5?
-6/5
Let x = 4248 - 4502. Suppose 0 = 2*p + 316 + 194. Which is bigger: x or p?
x
Let b = 9945 - 9706. Suppose 5*p + 15 = 0, -p + 953 = 2*d + 2*d. Is d less than or equal to b?
True
Suppose -4*b + 384 = -16*b. Suppose -784 = 3*z - 145. Let f be z/(-24) - ((-44)/b)/(-11). Is f less than or equal to 9?
True
Suppose 0 = 3*o + 3, 2*k + o = 97 - 6. Let v = -42 + k. Let u be 0 + (7 - (-186)/(-42)). Which is bigger: v or u?
v
Let k be 3 - (-4 + (-844)/(-116)). Let q = 251/174 + k. Suppose 0 = 20*y - 0*y. Which is greater: y or q?
q
Let r(d) = d**3 + 18*d**2 - 21*d - 37. Let n be r(-19). Which is smaller: n or -1/3015?
-1/3015
Let l(z) = z**3 + 2*z**2 + 3*z + 3. Let j be l(-2). Let d be j + 5 + 2*(-515)/35. Is -28 > d?
False
Suppose 5*q - j - 17 = 0, q - 29 = -4*q - 3*j. Suppose -29*r = -32*r - 3. Let g be 315/(-245) + r/(-2)*2. Is q at least as big as g?
True
Let m = 3510 - 3700. Suppose 217 = -p + 5*u, -4*u = -5*p - 6*u - 950. Which is smaller: m or p?
p
Let v = 2 + 0. Let o = -1.67 - -4.27. Let c = -2.7 + o. Which is bigger: v or c?
v
Let a = -3917.933 + 3918. Let f = 0 + -1. Which is smaller: f or a?
f
Let a = -27693 - -27695. Which is smaller: 913 or a?
a
Let z(j) = j**2 - 9*j + 2. Let q be z(9). Suppose -q*w - 5*t + 24 = 5, 2*w + t + 1 = 0. Let l = -89/36 - 1/36. Which is smaller: w or l?
w
Let y = 48 + -70. Let g = 3441/5 + -710. Which is bigger: y or g?
g
Let u be (-20)/5 - (-4 - 3). Suppose -u*i - f = -8, i - 4*f + 3 = -16. Is i less than or equal to 30?
True
Let m(u) = 4*u - 24. Let i be m(-3). Let o be (-3)/i + 944/192. Which is smaller: 1.3 or o?
1.3
Let q = 2188.33 - 2188. Let m = -7.93 + 7.1. Let a = m + q. Do -2 and a have different values?
True
Let t = 34 + 8. Let p = 5819 + -226964/39. Let x = p - -12/13. Are t and x non-equal?
True
Let l be 10200/64 + (-9)/24. Let u = 82 - l. Is u smaller than -77?
False
Suppose 24*i = 29*i - 10. Let q(k) = 10 + k**i - 18*k - 4*k + 28. Let c be q(20). Which is smaller: -3 or c?
-3
Let j = 9637 + -9418. Which is greater: -0.43 or j?
j
Let p(y) = y**2 + 14*y - 14. Let z(g) = -g**2 + 6*g - 15. Let v be z(0). Let l be p(v). Is l < 2/1335?
False
Let j = 1896 + -1084. Let y = 813 - j. Which is greater: y or -5?
y
Let l = -3257460 - -42268466/13. Let o = l - -6044. Which is smaller: o or 3?
3
Let p be ((-2)/(-4))/(((-20)/6464)/5). Let b be (-20)/p*(8/(-5))/(-4). Let o(f) = -f**2 + 7*f + 9. Let g be o(8). Do b and g have the same value?
False
Let v be 3 + -3 - -3 - -2. Let i be 0 - (-3)/3*v. Let h be (3 - -3)*(i/(-2) + -2). Is h > -28?
True
Suppose 22*q + 3*q = 1200. Let z = 63 - q. Which is smaller: z or 160/11?
160/11
Let d = -18975.03 - -18996. Is d at most as big as -0.4?
False
Suppose 9*f + 412 + 92 = 0. Which is smaller: f or 5?
f
Let v be (-84)/22*(-4)/12. Suppose -3*s + 3*c = 12, 2*c + 1 = -2*s + s. Let p be s/8 - 33/(-24). Which is smaller: v or p?
p
Suppose 5*o - o - 2*b = -2900, -5*o - 3*b - 3647 = 0. Let l = o + 774. Do 42 and l have the same value?
False
Let h(v) = v**3 - 15*v**2 + 19*v + 14. Let o = -28 + 42. Let x be h(o). Let d be ((-2)/x)/((-5)/10). Which is smaller: 1 or d?
d
Let g = 140651/1401 + -28/467. Let r(o) = -14997*o - 44892. Let m be r(-3). Is g not equal to m?
True
Let s = -3393 - -3413. Let h(u) = -25*u**2 - 3*u - 3. Let c be h(3). Let n be (-6)/(-15) + 4/(s/c). Is -47 at least n?
True
Let u = -25678 + 25678. Are u and -3/13697 non-equal?
True
Let g = 45 - 38. Let c = g + -6. Let w = 0.36 + -0.34. Does w = c?
False
Let w = -3300 - -3382. Which is bigger: w or 86?
86
Let c be (-24)/7 + (-6)/(-14). Let u = 7 + c. Suppose 3*o + 9 = 0, 48 = -u*g - 4*o - 56. Does g = -0.1?
False
Let m = 29.7 - 28. Let t = 12 - 11.3. Let s = t - m. Which is smaller: 2/53 or s?
s
Let i = 0.4 + -0.37. Let a = -1.43 - -3.58. Let p = 4.15 - a. Does i = p?
False
Let d = 3304 + -227996/69. Is 0 smaller than d?
False
Suppose 5*d + 2*z = 5456, 0 = -4*d + 6*z - z + 4345. Let f be (d/(-265))/1 + 4. Let c = f + 155/901. Is 1 at least as big as c?
True
Let a be (231/(-28) - -9)*4/(-1). Are -71/40 and a equal?
False
Suppose 5*p + 4*s = -s + 740, 3*p - 438 = -5*s. Is p at most 151?
True
Let s(y) = 2*y**2 + 11*y + 20. Let p(n) = -n**2 - 5*n - 10. Let u(z) = 5*p(z) + 3*s(z). Let x be u(-7). Let w = 7249 - 7242. Is x >= w?
False
Let r = 175.9056 - 176. Let p = r + -0.0146. Is p less than 1/2?
True
Let n be (-4352)/408*507/4. Which is smaller: -1350 or n?
n
Let p be (-11)/(-44) - (939/15)/((-16)/(-20)). Which is bigger: -36 or p?
-36
Let t be -1 + 8 - (-16477491)/(-2354271). Suppose -i + 1 = -0*i. Which is smaller: t or i?
t
Let i be (-2)/(((-2)/3)/(6 + -5)). Suppose i*r = 11*r - 144. Let c be (1 + -17)/(6/r). Is -50 less than or equal to c?
True
Let n = -19476 + 19475.9. Which is smaller: 295 or n?
n
Let p = -0.14 + 0.078. Let s = -0.038 + p. Which is smaller: 52 or s?
s
Let f = 401 - 375. Suppose -3*q - 23 = -f. Let h be (-52)/60 - (-2 + 1). Is h equal to q?
False
Let w = 10 + -6. Suppose 0 = -4*d + 3*g + 4, w = d - 2*d + 2*g. Is 36/13 smaller than d?
True
Let c = -4075997/6858800 + 9/21104. Let o = 2/325 - c. Which is greater: 2 or o?
2
Suppose 7*a - 12 = a. Suppose 16 = -4*h + 4*j, a*h - j + 1 = -2*h. Let z be (2/66)/(h - (-15)/(-18)). Is 0.24 at least z?
True
Suppose 2191 + 3344 = 15*m. Let r = m - 238. Which is smaller: 132 or r?
r
Let u(c) = 3*c**2 + 17*c + 6. Let p be u(-12). Suppose -q - 175 = 2*d, -2*d + q = p - 69. Let y = -83 - d. Which is smaller: y or 2/5?
2/5
Let b be 4/16 + (-952)/(-160). Let s = -57/10 + b. Which is bigger: s or -1/245?
s
Let m = 0.54 + -0.489. Let n = m - -0.049. Which is greater: n or 123?
123
Let q = 26 + -36. Let o = -1456.53 - -1463. Let v = o - 5.77. Which is bigger: q or v?
v
Suppose 2*z - 5*y = -4416, 62*y + 8920 = -4*z + 61*y. Which is bigger: -2230 or z?
z
Let g = 89 - -17. Let c = -1/688 + 219475/2064. Which is smaller: g or c?
g
Let k = 0.0138 + 365.9862. Let y = 365 - k. Is 7/2 greater than or equal to y?
True
Let g(t) = 42*t**2 - 11*t + 32. Let d(l) = -9*l - 60. Let k be d(-7). Let z be g(k). Is z <= 375?
False
Suppose 0*b - 9*b + 36 = 0. Suppose -3*x = 0, -4*p - 6*x = -b*x - 8. Let u be (p + -3)*(2 + 2 + 2). Which is smaller: -5 or u?
u
Let p be (-3906)/294*((6/(-3) - -3) + -2). Which is smaller: p or 12?
12
Let v = -48 + 100. Suppose w = 5*w + v. Let j be (9 - 8)*(4 + -21). Is w at least j?
True
Let v be 1/(-3) + 658435/525. Let b = -1254 + v. Suppose -4*l = 2*m + 18, -142*m + 139*m + 5*l = -28. Are m and b equal?
False
Let w(o) = -47*o - 1. Let f be w(-2). Let t = f + -116. Is -14 <= t?
False
Let m = 5954 - 6906643/1160. Is -2/7 at most m?
True
Let m be ((-1052)/(-1315))/((-95)/(-225) - (-2)/(-9)). Suppose -c = -1 - 1. Suppose 1 = -4*q - 3*s, -3*q - c = -q + 2*s. Which is bigger: q or m?
m
Suppose -a + 22*a = 10*a. Let o(y) = y**2 - 3*y - 5. Let c be o(5). Suppose c*l - 4*l = -a*l. Which is bigger: l or -1/7?
l
Suppose 2*w = 3*m + 8, m - w = -2 - 2. Suppose -5*p - 13 + 3 = m. Let c(d) = -d**3 - d**2 + 5. Let x be c(p). Is 