False
Let s = -64 - -63.73. Let w(z) = z**3 - 16*z**2 + 6*z + 9. Let c be w(0). Are c and s nonequal?
True
Let m = 52 - 52. Suppose 2*r + 62 - 66 = m. Let y be -2*(r + 45/(-4)). Which is smaller: 18 or y?
18
Suppose 4*d - 5*p = -9*p - 4, -5*d - 17 = -p. Let h be (22/d + 3)/(15/12). Do -2 and h have the same value?
False
Suppose -6 = -6*a + 3*a. Suppose 0 = -5*b + a*j + 6, 3 = b + 3*j + 12. Let s be 11/(-44) + 67/284. Does b = s?
False
Let y(c) = -c**3 - 9*c**2 + 12*c + 2. Let h be y(-10). Let r(o) = -o**3 - 29*o**2 - 53*o + 3. Let p be r(-27). Let u = p - h. Which is greater: -7 or u?
u
Let d(v) = -v**2 + 64*v + 177. Let l be d(-11). Is l at least as big as -646?
False
Let r = -109 + 134. Suppose 16*a - r*a - 9 = 0. Which is smaller: -16/7 or a?
-16/7
Suppose 0 = -2*c + 4, c - 579 = -h - 584. Which is greater: h or -953?
h
Let a = -1887.21412 + 0.21412. Which is smaller: -2 or a?
a
Let a = -460 - -240. Let u = -226 - a. Which is smaller: -5 or u?
u
Let i = -677 - -1487. Suppose -i = 3*j + 1362. Let s = j - -64438/89. Which is smaller: s or -1?
-1
Let z = 454749 - 939056709/2065. Is 1 <= z?
False
Suppose 5*c = 12 - 117. Let f be (-2)/7 - 69/c. Suppose f*m = -5*g + 280, 3*g - 192 + 18 = -3*m. Which is smaller: g or 52?
52
Let k = -349/42 - -64/7. Let c = 64.102 - 64. Let l = 0.402 - c. Are k and l unequal?
True
Let o(q) = -457*q - 44. Let p be o(6). Let n = 211 + p. Let v = n - -48939/19. Which is smaller: v or 1?
v
Let i = -129.053 + 129.7. Let s = -0.347 + i. Are s and 1/3 non-equal?
True
Let r(u) = u**3 + 89*u**2 + 81*u - 617. Let m be r(-88). Let v be (3/(-9))/(278/12). Is v bigger than m?
True
Suppose 10 = -5*h - 6*c + c, 4*h + 11 = -3*c. Suppose -n + 3*n + 152 = 0. Let p = n - -72. Which is smaller: p or h?
h
Let o(q) = 2*q + 6. Let y be o(-3). Suppose y = -14*d + 16*d - 22. Suppose 75 = d*p - 16*p. Which is bigger: -16 or p?
p
Let a(w) = -5*w**2 + 39*w + 90. Let y(t) = 4*t**2 - 40*t - 89. Let g(s) = -6*a(s) - 7*y(s). Let l be g(-21). Which is bigger: 1/458 or l?
1/458
Let l = -248 - -135. Let p = 113.3 + l. Are 0.094 and p equal?
False
Suppose 3*t - 3 = -21. Let u be (3/t - 1115/(-30))/(-3). Which is smaller: -13 or u?
-13
Let f = 435.1 - 435.2026. Which is greater: f or -1?
f
Suppose 155*j - 219 = 156*j. Let f = j - -205. Which is smaller: f or -29/2?
-29/2
Let l(r) = r**3 + 6*r**2 - 5*r - 5. Let z be l(-7). Let w = z - -19. Let x be 2/5 - (-5696)/(-13840). Which is smaller: x or w?
x
Suppose 5*w - 567 + 67 = 0. Let y be 5/(w/8)*-185. Is 0.2 less than or equal to y?
False
Let v = -1/149851 - 52148111/5544487. Let i = -101231/10767 - v. Which is greater: 0 or i?
i
Let o = -14005 + 14007. Which is smaller: 129/185 or o?
129/185
Let c = -71134/11 - -6463. Are -0.2 and c unequal?
True
Let y(a) = 231 - 3*a + 5*a - 3*a. Let o be y(0). Let r be o/(-696) + (-1)/(-8). Which is smaller: 1 or r?
r
Let x(n) be the second derivative of 11*n - 1/2*n**4 + 0*n**2 + n**3 + 1/20*n**5 + 0. Let c be x(4). Which is smaller: c or -10?
-10
Let r(f) = -3 + f**2 + 28*f + 6 - 24*f - 1. Let c = 34 + -39. Let y be r(c). Is 7 != y?
False
Let w = -1647 - -1543.3. Let a = 104 + w. Let r = 0.14 - 3.14. Do a and r have the same value?
False
Suppose -8253*r - 8257*r - 5463 = -16501*r. Is r > -605?
False
Let o be 5*(-6)/(-21)*(-350)/(-10). Let t = -15 + 67. Which is smaller: o or t?
o
Suppose -8*x = -0*x - 72. Suppose 4 = 5*z + x. Let q be (16/12)/(11/(-3)). Which is smaller: z or q?
z
Suppose -c + 3*c = 92. Let u = 245 + -226. Suppose 184 = -u*f + 23*f. Are c and f nonequal?
False
Let k be (-1)/((-8)/32)*(-1 + 2). Let v be (k/(-5))/((-316)/10). Which is bigger: v or -1?
v
Let m = 7480 + -7479.7. Which is smaller: 287 or m?
m
Let z be 13/819 + ((-8)/(-42))/2. Is -0.446 less than or equal to z?
True
Let u = 56.4 + -0.4. Let w = u + -73. Which is bigger: 1 or w?
1
Let l(a) = 2*a**3 - 2*a**2 - a. Let m(q) = 11*q**3 - 21*q**2 - 19*q - 37. Let x(n) = -6*l(n) + m(n). Let i be x(-8). Which is bigger: -0.34 or i?
i
Let j be (22/(-20) - (-2)/20) + -632. Which is greater: j or -649?
j
Let s = -19.95 + 18.95. Is s less than or equal to -13/18?
True
Let c = -1213/4 + 12303/44. Let l(g) = -184*g + 4945. Let i be l(27). Is c at least as big as i?
False
Suppose 2*r + 5*d = 93, 8*r - 5*d + 127 = 11*r. Let t = -1 + 0. Let j = t - 0. Is j bigger than r?
False
Let f be (((-6)/(-16))/(36/(-24)))/((-10)/(-6040)). Is -3/2 less than f?
False
Let n = -8230 + 8229. Is 54/239 smaller than n?
False
Let o be (143 - 11)*(154/110 + (-46)/40). Are o and 411/13 non-equal?
True
Let l = -215 + 337. Let z = l - 74. Which is bigger: 50 or z?
50
Let p = -410.0673 + 0.0673. Let g = p + 420. Let m be 14/8 - (5 + -3). Which is smaller: g or m?
m
Suppose 39650 = -33*f + 40*f - 137*f. Which is smaller: -302 or f?
f
Let s be (-12)/96 + (-5)/(-200)*5. Let k be 4*-2*(-2)/4. Suppose s = 5*g + 11 + k. Is g at least as big as -12/5?
False
Let d be (0 + 3 - -2)/1. Suppose 5*t + 3*b + d = -b, 3 = -3*t + b. Let p = -35/69 - -4/23. Is p equal to t?
False
Suppose 4*b + 2*p - 46 = 0, 4*b - 56 + 1 = p. Let n be (-58012)/b*1*(-2)/(-14516). Let d = 2/3629 - n. Which is smaller: 0 or d?
0
Let t = 306728410/27 - 11358470. Let i = -1842 + t. Do -2 and i have different values?
True
Let w = -0.04407 - -26.40607. Let r = -0.362 + w. Which is smaller: r or 2?
2
Let n = -734.9743 - -735.2. Do 1 and n have the same value?
False
Let i be 2/14*9/(-1). Suppose -7*m = -4*m - 15. Suppose 4*p + 17 = -5*n, m*n + 2*p + 20 = -3*p. Which is smaller: i or n?
i
Suppose 193*j + 15*j + 756912 = 0. Which is bigger: j or 0?
0
Let o = 50.5 - 0.5. Let v = -49 + o. Let u = -25 - -24.89. Which is greater: v or u?
v
Suppose 2*i - 340 - 237 = -5*h, h - 119 = -4*i. Suppose 0 = -2*q + h + 167. Are q and 142 equal?
False
Let u(o) = -o + 23. Let s be u(20). Suppose 5*m + 4 = -y, -2*m - 5 = s*m. Is -2/183 bigger than y?
False
Let t = -0.3 - 0.1. Let c be 315/28 + 9/12*1. Let b be c/(-21)*35/(-30)*-9. Which is bigger: t or b?
t
Suppose -c = 5*x + 3*c + 1321, 4*c = 4*x + 1064. Let i = -4237/16 - x. Which is smaller: -1 or i?
-1
Let p(q) = 4*q - 7. Let k be p(3). Suppose 0 = -k*h + 2*t + 20, -3*t - 13 = -0*h + h. Let v be (-2)/(4/h)*5. Which is bigger: -3 or v?
-3
Let t be 159006/583506 + 7*18/(-462). Is t >= 0?
False
Let w(x) = -5*x + 18. Let f be w(4). Let y be (54/(-63))/(f/7). Suppose -17 = -y*a + 40. Is a greater than or equal to 19?
True
Suppose -74 - 310 = -12*b. Suppose -o - b - 43 = 0. Which is bigger: o or -1?
-1
Suppose 5 + 1 = f. Let z be (-3)/(1 + 3/f). Suppose -366*p - 91 = -275*p. Are p and z nonequal?
True
Suppose -15 = -5*s, -h - 3*s = 380 + 1335. Let m = 13829/8 + h. Is 6 at most as big as m?
False
Let d be 2/6 - (-442192)/(-696). Is d smaller than -2537/4?
True
Let u be (-20)/18*6*3969/1862. Which is smaller: u or -13?
u
Let p(n) = 4*n**2 - 2*n - 6. Let m be p(-3). Suppose -k + 56 = 3*t + 25, -4*t = 8. Which is smaller: k or m?
m
Let p(t) = t + 31. Let s(u) = 3*u + 124. Let w(o) = -9*p(o) + 2*s(o). Let y be w(-14). Suppose r - 12*r - y = 0. Which is greater: 1/26 or r?
1/26
Let w be (-300)/(-9)*(12 - 9). Let a be w/(-24) - -5 - (-1)/6. Let n = -2/563 - 1036/25335. Is a greater than n?
True
Let b be -1*(6 - (0 + 2)). Let g = -2 - b. Let z = 39950 - 439442/11. Are g and z equal?
False
Suppose -14 = -4*y - 26. Let q = -2 - -22. Let n = 18 - q. Is y <= n?
True
Let s be ((-4)/6)/(-8 - (-1503)/189). Suppose 57 = -5*h + o, -s*o = 2*h - 10*o + 36. Let a be h/24 - 43/(-38). Which is smaller: 0 or a?
0
Let c = -481960 - -10420457162/21621. Let o = c - -494880/7207. Which is greater: o or 68?
o
Let w = -9677/5 - -1937. Suppose 28*y + 4 = 30*y. Are y and w equal?
False
Let h(l) = l**2 - 351*l - 2. Let i be h(0). Which is smaller: i or 58?
i
Let c = -594 + 341. Let k = 327 + c. Is 1 >= k?
False
Suppose -4*l + 1 = 3*t - 3, 4*t + l = 1. Let p be -1*(2/(-23) + 7872/103224). Is t not equal to p?
True
Let x be (2/(-8))/(263/1252932). Which is bigger: -1192 or x?
x
Let w = -114 - -114. Let f = 170/207 + -7/9. Is f < w?
False
Let p be ((-10362)/(-785))/((-2)/10). Which is smaller: p or -78?
-78
Let q = 5479 - 5478.9. Is q equal to -2880?
False
Suppose 139*z + 2247 = 118*z. Which is greater: -97 or z?
-97
Suppose -5*m + 6 = -3*m. Let q = -31918/7 - -4564. Which i