erent values?
False
Let k = -0.16 - -0.54. Let x(l) = -10*l**2 + 63*l - 54. Let q be x(1). Which is smaller: k or q?
q
Let l = 8736 - 8736. Is l at least as big as 18/4033?
False
Let t = -0.176 - -116.176. Let v = t - 107. Is -0.3 greater than v?
False
Suppose 6 = -4*s + c - 9, 3*s + 10 = c. Let r be s*8/(-280)*(14 + 1). Which is greater: r or 1?
r
Let n(x) = 24*x - 1277. Let h be n(53). Which is greater: h or -575?
h
Let i = 209 + -113. Let q = 238082 - 238083. Which is smaller: q or i?
q
Let r be (11/(209/(-38)))/(-2). Is r >= 22/379?
True
Suppose 0 = -3*j + 1480 + 101. Suppose -16*d = -2817 - j. Which is bigger: d or 208?
d
Let s be 2 + 2 - (1 - 554/(-10)). Suppose -22*d - 1309 - 476 = 13*d. Are s and d nonequal?
True
Suppose 0 = 3*l + 5*d + 11, 10*l - 2*d = 5*l - 8. Let q(z) = -2*z - 9*z - 6*z - 4 + 21. Let j be q(1). Are j and l nonequal?
True
Let i(l) = 5*l**3 + 14*l**2 - 23 + 0*l**2 + 12*l**3 + 11*l - 16*l**3. Let v be i(-13). Let x be ((9/66)/(v/4))/2. Do -1 and x have different values?
True
Suppose 175*h + 196 - 21 = 0. Which is smaller: h or -2/19509?
h
Let s = -2511 - -2511. Which is smaller: 15/167 or s?
s
Let y be (-1180)/(-6)*(-15)/(-10). Which is smaller: y or -2?
-2
Let b be (0*5/25)/1. Let j be b - ((-3)/6 + (-3)/6). Let r be j/(-2)*(0 + 2). Which is smaller: -1/139 or r?
r
Suppose 142*q - 1987489 - 606993 = 0. Is 18271 < q?
False
Let c be 1*(10 + -13)*7. Let p be -1 + 66/(-2 - 1). Which is smaller: p or c?
p
Let k = -21 + 15. Let w be 2*(-154)/k + 5. Let t = w + -56. Is -57 at most as big as t?
True
Let i = 124325/40393566 + -13/10841. Is i equal to 0?
False
Let g = 249 + -341. Let v = g + -225. Is v at most as big as -316?
True
Let z = -0.099 + -0.006. Let q = z - 19.595. Let x = -20 - q. Is x > -3/4?
True
Suppose -2*r + 21 = -5*b, 5*r = -12 + 27. Let f(g) = -2 + 4 + 0 + 4*g + g**2. Let w be f(b). Which is smaller: w or -2/19?
w
Suppose 230*u = -36*u - 158*u. Let p(m) = -8*m + 4. Let j be p(-6). Which is bigger: j or u?
j
Let a = -67 - -95. Let l = a - 27.46. Let x = 0.46 + l. Is x smaller than 41?
True
Suppose 13 = 5*o - 3*x, -5*x = 4*o - x - 4. Suppose -o*p + 37 = -c, -4*p - 2*c - 8 = -86. Let l = 1254 + -1234. Which is smaller: l or p?
p
Let o be ((-6)/(-6))/(1/1). Let r be -39*4/8*(-4)/(-3). Let i = r - -1. Which is greater: o or i?
o
Let f = -2369421/1136 - -692677727/289680. Let u = f - 1527/5. Do -1 and u have the same value?
False
Let l = -5 - 18. Suppose -5*j = -2*j + c + 78, 4*c = -24. Are l and j nonequal?
True
Let g be 51170/25 - 6 - 8/10. Let v be (-4)/(-6) + g/(-36). Is v at most -55?
True
Let y = 39 - -5. Let f = y - 46.3. Let i = f - -0.3. Which is greater: 0.6 or i?
0.6
Let i be 3*(70/42 + -2). Which is smaller: i or 2/5391?
i
Suppose -5*k = -2*k + 9, -3*b + 2*k + 54 = 0. Let c = -21 + b. Let w(t) = -t**2 + 5. Let i be w(c). Is i < -21?
False
Let j be ((-10)/(-6))/((-8)/240*55). Let d = 26 - 32. Let v be (-3)/d*4/6. Which is smaller: j or v?
j
Let d = -354.242 - -348. Let t = 0.242 + d. Is t greater than 1/3?
False
Let j be (-3)/(1 + 0 + 6 + -2 + -2). Is 4/413 bigger than j?
True
Suppose -30*x + 5309 = 4649. Let f = -33 + 57. Which is smaller: x or f?
x
Let s be 384/4376512*98/21. Is -1 smaller than s?
True
Let z = 0.02 + -3.02. Let p = z + 5. Let b = -70957.76 - -70958. Which is smaller: p or b?
b
Suppose 0 = -4*d + d. Suppose d = p - 5*p - 4. Let l be 6/(-83)*46/138. Is p less than or equal to l?
True
Let v(j) be the second derivative of -j**5/20 + 5*j**4/4 + 8*j**3/3 + 3*j**2/2 + 21*j - 3. Let t be v(16). Is t bigger than 1?
True
Let m be -114 - -35*(-2)/(-10). Which is bigger: m or -102?
-102
Suppose -28*w = -33*w - 75. Let o be w/(-3) - 9/3. Suppose -4*x - 14 = -o*u, x - 5 = 5*u + 5. Which is bigger: u or -19/6?
u
Let s = 268 - 268. Suppose -3*v - 22 = -4*c + 35, s = 2*v - 2. Suppose 0 = 2*o - 17 - 11. Is c greater than o?
True
Suppose 5*r + 48 + 27 = 0. Let s be (0 - (-1 - -2)) + r. Let n = 72852 - 72869. Is n >= s?
False
Let x be -6 + -4*25/20. Let l be (x/(1265/15))/(111/(-2)). Is 1 equal to l?
False
Let x(z) = z**3 - 20*z**2 - 32. Let v be x(20). Let f = v - -33. Which is bigger: f or 18?
18
Let o(g) = g**2 + 32*g + 3. Let d be o(-33). Suppose 0 = -4*q - 4*v - d, -4*q - 1 = -5*v + 8. Suppose u - 3*u = 12. Is u at most as big as q?
True
Let f = -1254 - -1240. Let g(i) = -i**2 + 6*i + 2. Let z be g(6). Let s be (z - (-24)/f) + (-108)/231. Do s and 0.3 have different values?
True
Let u = -427 - -471. Which is smaller: 134/3 or u?
u
Suppose -3824*g - 60 = -3814*g. Is 80 < g?
False
Let n = 3155 - 1373. Let j be 68/(-25)*45/n. Let x = -1/45 + j. Which is smaller: 0 or x?
x
Suppose 141 = 8*c - 35. Let d = -73 + c. Suppose -85 = 2*v + 17. Is v at most as big as d?
True
Let u(a) = 4*a**2 + 403*a + 1985. Let x be u(-5). Which is greater: 71 or x?
71
Let z be 1285/771*(-4)/10. Which is smaller: 1802.5 or z?
z
Let q be (1166/(-178981))/(-1 + 26/22). Which is greater: 0 or q?
0
Suppose -3*g = -4*d + 38, d - 14 = 5*g + 4. Suppose -5*z + 3 = d. Let x(c) = -c**2 + 3*c + 6. Let b be x(5). Does b = z?
False
Suppose -b = -4*h - 6, -13 = b + 5*h - 10. Suppose r = 3*d - 25, -36*r - 20 = -b*d - 32*r. Suppose 5*x + 2 = 27. Which is smaller: d or x?
x
Let i be 59890/(-6441) - (-3 + 1 - 8). Is i greater than or equal to 1?
False
Let h = 5579 + -5578. Which is bigger: h or -733?
h
Suppose 0 = -6*u + 6 - 0. Let f be u + (50/(-64) - -3). Let l = 33/32 + f. Is 5 at most as big as l?
False
Let n = 5 + -1. Suppose 214*l - 444 = 212*l. Let b be (6 - 32/6)/(n/l). Do -2 and b have the same value?
False
Let r be (-10035)/4014 + (-86)/(-28). Let b be 5990/12 - (-1 - -2). Let c = -497 + b. Which is bigger: c or r?
c
Let q(y) = y**3 + 8*y**2 - 2231*y - 13454. Let f be q(-6). Let r(a) = 3*a + 7. Let i be r(-5). Is f not equal to i?
True
Let o(z) = -z**3 - 4*z**2 + 5*z + 5. Let h be o(-5). Suppose b = h*b. Let u(l) = -1904*l - 41890. Let f be u(-22). Is b at most as big as f?
False
Let l be (-15)/(-2 + 1 + 0). Suppose -t + 0 = -l. Let k = -0.8929 - -1.8929. Which is greater: k or t?
t
Let w = 29171 + -29169.9. Which is bigger: w or 238?
238
Let j be (56/4872)/((-2)/(-90)*-3). Which is greater: j or -2?
j
Let v = 23 + -2. Let r = -959 - -963. Let g be (-17 - r/(-2))/((-57)/76). Which is bigger: g or v?
v
Let x(t) = -220*t**2 + 130*t - 1318. Let z be x(11). Are -26508 and z equal?
True
Let c = -37 + 28. Let j be 4/(-7) + c + (-1602)/63. Suppose -2*m + 3*m + 2*k + 40 = 0, -4*m = -5*k + 121. Which is bigger: m or j?
m
Suppose -34*m - 10503 = 3*m + 27755. Is m smaller than -1034?
False
Let l(d) = -d**3 + 23*d**2 - 65*d + 61. Let p be l(20). Is p < -36?
True
Let y be (-3 - (-3 + 0))/1. Suppose 0 = 6*k - 3*k - 117. Let m = k - 38. Is m greater than or equal to y?
True
Let y be (-8)/(-6) - -232719*4/1980. Let c = 4722/11 - y. Which is greater: c or -43?
c
Let c = 169.1 - 23.1. Let p = 6254 - 6256. Is p smaller than c?
True
Let c be (-1 - -12) + (-12)/6. Suppose b - c = -3*v, 4*v = 5*b - b + 28. Suppose 3*y - 54 = -2*d, y = 4*d - v*y - 130. Is d greater than 30?
False
Suppose 0 = h - u + 23, 5*h - 4*h = 4*u - 14. Suppose 12*s = -227 - 61. Is h at least as big as s?
False
Let b be 2/((-711)/(-177) - 3) - (14 + -20). Which is smaller: 9 or b?
b
Let w = -1208501/250 - -4834. Which is bigger: 4 or w?
4
Let f be (-138831)/(-45) + (-8)/60. Which is smaller: f or 3086?
f
Let m be ((-2)/4)/((-57)/(-12) - 5). Suppose z = -m*z + z. Which is greater: -7/16 or z?
z
Let j = -17610 + 14096. Do j and -3514 have different values?
False
Let l = 65 + -60. Suppose -3*f = l*y + f - 9, -3*f = -3. Let d be (1 - 2*y)*16/(-24). Is -4/7 at most as big as d?
True
Suppose 45266*x = 45255*x + 22. Is x != 137/234?
True
Let q be ((-2)/(-3))/(22/(-33)). Suppose -6*d + 3*d = 5*r - 364, -2*d + 3*r = -230. Let y = d + -60. Is y != q?
True
Let j = 34198/95 + -360. Which is smaller: -6/11 or j?
-6/11
Let m = 11/86 - -29/1118. Which is bigger: 49 or m?
49
Suppose 92*q = -68*q. Which is greater: q or 7/874?
7/874
Let m = -40 + 41. Let h be (11/(-33))/(m/(-732)). Let j = h - 1711/7. Which is smaller: j or -1?
-1
Let v be 20/8*(1 + -3) + 22. Let c = 30/1601 + 297456/17611. Is c > v?
False
Suppose -20*c - 236993 = -87933. Which is smaller: c or -7455?
-7455
Suppose 0 = 40*n - 14*n -