ch is smaller: 65 or c?
65
Let y = 157 + -157.007. Let q = y - -0.007. Is 142 at most as big as q?
False
Suppose -3*t + 11935 + 661 = 4*v, -v + 3149 = -3*t. Which is smaller: v or 3150?
v
Suppose 0 = 1627*n - 1643*n - 4080. Is n at least as big as -1019/4?
False
Suppose 8*h + 957 = 37*h. Which is bigger: h or 21?
h
Let c = -193283/328 + 9/328. Let d = -266 + -320. Let z = d - c. Do 2 and z have the same value?
False
Let r = -5 - -9. Suppose r*h - 70 = -2*b, 4*b - 6*b + 2 = 0. Let k = h + -17. Which is greater: k or 3/10?
3/10
Let b = 62 - 299. Let c = b - -235. Which is smaller: c or -4?
-4
Let u = -2768 - -2914. Is u != 145?
True
Let o = 8378 + -142317/17. Do 7 and o have the same value?
False
Suppose 34*a + 31*a = 64*a + 55. Is 52 at least as big as a?
False
Let x = 124.18 - 124.08. Is x bigger than -2746?
True
Let a = 5928105/131 - 45253. Is a less than or equal to 1?
True
Suppose -7*c - 64 = -4*c + 4*r, 2*c + 41 = -3*r. Which is bigger: c or -19?
-19
Let a = 4437 - 4479. Is -251/6 at most a?
False
Let h be (-102 + 103)/(2/1298*-1). Which is smaller: 0 or h?
h
Let u(l) = -261*l - 345. Let i be u(-8). Does i = 1744?
False
Let c = -2344 + 2342. Let m = -5.91 - 0.09. Is m != c?
True
Let w be -4 + -2*(-1)/(-2). Let p(y) = y**2 + 3*y + 10. Let z be p(w). Is z != 20?
False
Let r = 43697/5 - 8771. Which is smaller: 1/2 or r?
r
Suppose -3*n + 4*d = -0*d - 123, -5*n = 4*d - 237. Let f = -2 - -8. Let x(i) = 2*i**2 - 2*i - 14. Let a be x(f). Is a <= n?
False
Let n = -2.8 + 4. Let r = -120.6 + 161.4. Let m = n + r. Which is greater: m or -0.1?
m
Let l be (-3)/12*(-22)/33. Let i = -72 - -72.6. Do i and l have different values?
True
Let p be (10 - 41/4) + 1986/8. Suppose -p*l = -254*l + 6. Which is greater: -6/281 or l?
l
Suppose -5*n = 3*m - 67, 0 = -5*n - 7 + 32. Suppose -6*t = 2*v - t + m, -11 = 3*v + 5*t. Suppose -v*r - 32 = -r. Is -17 greater than or equal to r?
False
Let o be 1*(-17637)/3531 + (4 - 2/(-2)). Is o bigger than 0?
True
Suppose -638*d + 1295 = -645*d. Let i = 202504 + -2630143/13. Let z = d + i. Is z greater than 0?
True
Let h = -116119/3410 - -1070/31. Let o = h + 14281/990. Is o >= 14?
True
Let x(n) = 11*n**3 + 3*n**2 + 2*n + 4. Let p be x(-2). Let v be (154/(-4))/(4/8). Let u = v - p. Is 1/21 > u?
True
Let w be ((-6)/(-8))/(1 + 122/(-120)). Let n be 5*((-6)/w + 4/15). Suppose 0*f + 6 = n*f. Which is bigger: 6 or f?
6
Let w be (-7)/((-49)/(-42)) - (-2 + -2). Let h be (-23)/(-874)*(-10)/w*4. Which is bigger: -0.1 or h?
h
Suppose -51*v + 53*v - 74 = 0. Let h = -19 + v. Let m(a) = -3*a - 10. Let w be m(-10). Which is bigger: w or h?
w
Suppose -78*q = -33*q - 45. Are 2 and q equal?
False
Let c(j) = -2*j**3 - 50*j**2 - 2*j - 45. Let v be c(-25). Suppose 5*g + 26 = -v*n - 174, 0 = n - g + 34. Are -39 and n nonequal?
True
Suppose -274*w = -254*w - 80. Which is greater: w or -3?
w
Let j be ((-26988)/(-24393))/(2/(-4)). Which is bigger: -1 or j?
-1
Let k = 32695 + -32694.88994. Is k > -0.1?
True
Let w = 186.59 - 186. Let l = -14.59 + w. Let g = 16 + -33/2. Is l <= g?
True
Let l(q) = 3*q**3 - 42*q**2 - 13*q + 119. Let i be l(-9). Is i smaller than -5352?
True
Let y(m) = 6*m - 55 + 103 - 55. Let x be y(2). Let v be (-5)/x*-2 + -3. Which is smaller: 3/23 or v?
v
Suppose -63 + 15 = 105*o + 57. Is 3/1213 bigger than o?
True
Let m(i) = i**3 - 49*i**2 + 286*i - 155. Let l be m(39). Is -4212 less than l?
True
Let i = 9 - 3. Suppose -3*f + 8*f - 9 = -3*o, -2*f = -o + 14. Let t be 17/i - (12 - o). Is -2 at least as big as t?
False
Let q be ((-2)/4)/(1/(-2)). Suppose 645 = 8*w - 11*w. Let t = w + 6234/29. Which is bigger: q or t?
q
Let s = 119.3 + -226.9. Let z = s + 29.6. Is z <= -1/3?
True
Let u = 0 + 0. Let c be (3 - 1122/404)/((-22)/(-8)). Let s = 1/101 + c. Are s and u non-equal?
True
Suppose 140*b - 36 = 104. Which is smaller: 29/34 or b?
29/34
Let h be 0 - 3*(-10)/(-32). Suppose 735*p - 370*p + 466*p = -1662. Which is smaller: p or h?
p
Let o(a) = -a**2 - 8*a - 21. Let m be o(-5). Let r(p) = p**2 + 7*p + 10. Let i be r(m). Suppose -2*v - 14 = -f, i*f - f = -4*v + 22. Is 7 less than f?
True
Let c = 2908 + -2908. Is 1/6638 at least as big as c?
True
Let f = -375/112 + 3599/1008. Which is greater: -17 or f?
f
Let g(r) = 2*r**2 + 151*r + 1465. Let v be g(-64). Which is smaller: -240 or v?
-240
Let x(j) = -j**2 - 4*j + 13. Let d be x(-6). Let h be (-36 - 6)*(d - -1). Let n be ((-12)/10)/(h/(-60)). Is n bigger than 0.1?
False
Let h(y) = -y**3 + 74*y**2 - 62*y - 873. Let w be h(73). Suppose -5*i + 16 = 46. Is i at most w?
False
Let x be 18/(-16)*8/6. Let f be (-17)/51 + (-46)/6 - 5. Let y be 28/(-20) - (-3 - f/5). Which is greater: y or x?
y
Let m be 4/(-3)*(-9 + (-68)/(-8)). Is m smaller than 0.293?
False
Suppose -89*v - 4693 = -70*v. Which is smaller: -239 or v?
v
Let p = 4758 - 4900. Let w = -129 + -13. Are w and p nonequal?
False
Let j be (-7)/14*(96/36)/(8/6). Which is smaller: 7/359 or j?
j
Suppose -233*t - 36358 = -226*t. Are -5194 and t unequal?
False
Let l = 808.5 - 801.5. Let q = 3 - -1. Let c = 3 - q. Is l at least c?
True
Let l = 16 - 21. Suppose -s + 30 = -2*j - 0*j, 75 = -5*j - 5*s. Let q be (l/j)/((-1)/3). Is -9/11 >= q?
True
Let d(y) = 109*y + 1380. Let k be d(-12). Is k at least as big as 28?
True
Let b = -7985 - -7367. Are b and -623 non-equal?
True
Let v be -5 - (-10 + (-3537)/(-657)). Which is greater: v or 0?
0
Let q be (2/(-18))/(8 + 45/(-6)). Which is bigger: q or -0.0647?
-0.0647
Let q = 3/697 + -1111/96186. Let h = 67/276 - q. Is h < -38?
False
Let i(p) = -2*p**2 + p**3 + 8*p - 8*p - 5*p**2 + 1 + p**2 + 5*p. Let b be i(5). Is b > -2/13?
True
Let y = -143 - -185. Suppose y*c - 33*c + 558 = 0. Is c < -62?
False
Let y = 142 - 76. Let n = y - 67. Which is bigger: -74 or n?
n
Suppose 14069 = -5*v - 2*g, -3570 = v - 5*g - 740. Are v and -2816 non-equal?
True
Suppose 3*o + 4*i = -141, 21*i + 186 = -4*o + 15*i. Suppose -4*q - 250 = -5*f, -f - 3*q + 2*q + 50 = 0. Let s = o + f. Which is smaller: -3/26 or s?
s
Let o(s) = s**2 + 29*s - 67. Let m be o(-15). Let g = m + 278. Which is smaller: g or -5/22?
-5/22
Let y = -325/307 - -67951/22718. Are 3 and y unequal?
True
Let m(a) = 25 - 2*a - a - 2*a + a. Suppose 3*p + 10 = -2*x + 38, 0 = p + 2*x - 16. Let j be m(p). Is 3 less than j?
False
Let s(o) = 62*o + 203. Let p(q) = 154*q + 508. Let j(h) = 5*p(h) - 12*s(h). Let r be j(-4). Which is bigger: 6/193 or r?
6/193
Suppose r = -q - 4, 170*r - 174*r + 2*q + 20 = 0. Let u be (310/21)/5 - 0/5. Is u at most r?
False
Let c be 3 - (0 + 1 + -2). Let n(v) = -v**2 - 24*v - 22. Suppose 69 = 8*x - 11*x. Let t be n(x). Which is smaller: c or t?
t
Suppose 5*y - 1347 = -5*r - 3482, -845 = 2*r - y. Let z = 407 + r. Is z greater than or equal to -32?
True
Let r(w) = w - 1. Let d(f) = 4*f - 7. Let a(y) = d(y) - 3*r(y). Let t be a(4). Let n = -22568/37 + 610. Which is smaller: n or t?
t
Let x = -3875 - -3923. Is 38 equal to x?
False
Let i be (-22)/4 - 2/4. Let z = -239.68 + 243. Let l = 2.92 - z. Are i and l unequal?
True
Let f be 2/(-4) + (-20551)/2. Let v be 2775/100*8876/24. Let y = v + f. Which is bigger: y or -14?
y
Let n(q) = 90*q - 2789. Let r be n(31). Is 19/29 at most as big as r?
True
Let l = 72.7 + -72.137. Let q = l - -0.337. Which is bigger: q or -0.1?
q
Let b = 1751 - 71796/41. Suppose -j = 3*v + 7, -3*v + v + 3*j = -10. Is b equal to v?
False
Let s = 2721 + -4319. Which is smaller: s or -0.1?
s
Let a be (-30)/63*(536/(-30) - 8/60). Is -3 less than or equal to a?
True
Suppose 3 = -z, -2*n + 2*z = -12 + 4. Let w be (-35)/n*(-7)/(140/(-8)). Which is smaller: w or -73/5?
-73/5
Let y(x) = 24*x**3 + 1 - 19*x**2 - 42*x**3 + 19*x**3. Let r be y(19). Let k be ((-2)/36)/(1/4). Is k <= r?
True
Let b be (8/(-728)*13)/(60/854). Is -3 at least b?
False
Let z = -25 - -29. Suppose -12 = -2*y - z*i + 3*i, 5*y + 2*i = 31. Suppose 17*x - 16*x = -y. Which is smaller: x or -1?
x
Suppose 0 = 21*t - 29*t + 168. Let d = -173 + 173. Which is smaller: t or d?
d
Suppose -2*h = -96*t + 94*t, 2*h + 3 = -t. Is -1/3241 bigger than h?
True
Let n = 12.8 + -0.3. Let a = -8.0988 - -0.5988. Let y = n + a. Which is smaller: y or -0.3?
-0.3
Let t be 7*8/84 - (-4 + 974/138). Which is bigger: -1 or t?
-1
Let s = -7.216 - -0.016. Let n = s - -7.3. Let r(q) = -2*q**3 + 4*q**2 + 10*q +