ppose j = d + 19 + 12, 2*d + 4*j + 44 = 0. Is r at most d?
True
Let p = 0.071 + 31.929. Let f = -3.936 - 0.064. Let n = 3 + f. Is n greater than p?
False
Suppose 161 = -315*q - 28 - 126. Are q and 7/23 nonequal?
True
Let b = -2009 + 2006. Are b and 318 nonequal?
True
Let n be (-13)/(-130) + 242/(-20) + -209. Is -222 < n?
True
Let r be (-6)/56*(-2054)/39. Is 5 bigger than r?
False
Let w = -121 - -71. Let p = 265 - 227. Let o = p + w. Which is bigger: o or -1?
-1
Let t be 1158/9*(-39)/26. Let q = t + 194. Which is bigger: q or 2/539?
q
Let j(r) = 140*r**2 + 3*r + 3. Let s be j(-1). Suppose -w = -2*t - 222, -s = t + 5*w - 29. Which is greater: -110 or t?
-110
Let a = -55420471/2065 + 26838. Which is bigger: -1 or a?
a
Let f(w) = -w**2 + 9*w - 13. Let o be ((-153)/(-21))/1 - (-6)/(-21). Let q be f(o). Let j be -9 + 5 + 1*(-1)/q. Which is smaller: j or 0?
j
Let k(b) = b**3 - 10*b**2 - b + 14. Let l be k(10). Suppose 0 = 2*q - l*y + 20, 4*y = -3*q - 3 + 23. Suppose n - 3 = 4*t + 4, -2*t = q. Is 9 not equal to n?
True
Let i(f) be the first derivative of f**2/2 + 22. Let q be i(-9). Let g(m) = m + 8. Let r be g(q). Which is smaller: r or 1?
r
Let c = -11/42 + 2/21. Suppose 0 = -4*h - 5*o + 193 - 19, 2*h = 3*o + 98. Let j = -45 + h. Which is greater: j or c?
j
Let j = -92.02 + 92. Let a = j + 9.52. Let l = 5.5 - a. Which is bigger: 5/4 or l?
5/4
Let l = 24.474 + -24.478. Let b = -2 + 2.1. Which is greater: l or b?
b
Let z = -60.25 + 62.25. Is -322 at most as big as z?
True
Let i = 13612 - 13612. Is 63/68 <= i?
False
Suppose 7*z - 317 + 211 = 113*z. Are -17/24 and z equal?
False
Suppose -39 = 506*r - 467*r. Is -5809 >= r?
False
Let w be (-5640107009)/606090450 + (-2 - -5). Let l = w + 7/1731687. Let f = -44/7 - l. Is f greater than -1?
True
Suppose -21*v + 45 = -18*v - 5*t, 4*v + 5*t = -45. Do 2/99515 and v have different values?
True
Let a(z) = 28*z**2 - 6*z + 91. Let v be a(0). Let k be 15/(-9)*(-55 - -1). Which is smaller: v or k?
k
Suppose 3*m - 3*p = 3, -5*m + 2 = -m - 3*p. Is m less than 5/843?
True
Let x = 931714.853 - 931339. Let k = x + -376. Are k and -2/5 nonequal?
True
Let o(v) = -2*v**3 - 15*v**2 - 17*v - 12. Let x be o(-5). Let h(f) = -8*f - 10. Let a be h(5). Is x < a?
True
Let i = -20018 - -11413. Do -8606 and i have the same value?
False
Let d(o) = o**2 + 8*o + 5. Let q be d(-7). Let i(m) = m**3 - 2*m**2 - 6*m - 3. Let x be i(q). Let w be -4*x/84*12/(-2). Which is smaller: w or 1/3?
w
Let t = -4 + 10. Let n be (-6)/t*(-2 - -5). Suppose -16*j = -21*j - 5. Which is bigger: j or n?
j
Suppose 1112*u - 1118*u = 210. Which is greater: -23 or u?
-23
Let i = -18.5 + 18.2. Let p = i + 0.4. Which is smaller: -2/17 or p?
-2/17
Let v = 10754 + -10790. Is v at most -36?
True
Let w be (-29)/(-3) - (-9)/27. Suppose 11*x - 6*v - 81 = -7*v, 4*x - 4*v - 60 = 0. Is x greater than w?
False
Let o be 7/(-12)*((-2)/(-10) - (-704)/(-4620)). Suppose -2*z - 2*q + 4 = 0, 0*q + 4 = 4*q. Which is bigger: o or z?
z
Let n be (-1 + (-10 - -20))*1/1. Suppose -3*v - 2*v - 50 = 0. Let l = v + n. Is l smaller than -1.6?
False
Let a(m) = -2*m**3 - 39*m**2 + 20*m. Let w = 402 + -422. Let t be a(w). Is t at least 4/217?
False
Let m = -2.0342 + 1.8342. Is m not equal to 19/6?
True
Let p = -8.728 - -1.148. Is p less than 1?
True
Let s = 4626 - 4627. Which is smaller: 13/138 or s?
s
Let w = -99 - -98.835. Let f = w - 0.835. Is -36 > f?
False
Let a = 6083 - 6068. Which is smaller: a or 59?
a
Let u be (-1316)/1113 - 28/(-21). Let v = 1.3 - 0.3. Which is greater: u or v?
v
Let p be 2*((-14)/(-4) - -2). Let d be -4 - p/(-3) - (-88)/(-825). Which is bigger: -1 or d?
d
Let i = -1109 - -1125. Which is bigger: i or 63?
63
Suppose 4 = -3*o - 5*k, 0*o - 2*o - 2*k = 0. Let t = 341.04 + -341. Is t smaller than o?
True
Let y = 2974 + -2967. Let g = 4 - 3.94. Is y greater than g?
True
Let s = 99.4 - 211.8. Let p = 18.4 + s. Let n = 53 + p. Which is smaller: n or 1?
n
Suppose 120*d = 118*d + 8. Suppose -4*l + d*u + 116 - 536 = 0, 5*l + 522 = 2*u. Which is smaller: -103 or l?
l
Let t = 16949 + -16949. Is -2/5965 bigger than t?
False
Suppose 0 = -k - 6*v + v - 13, -3*k + 4*v - 58 = 0. Let w be k*(3 + 42/(-18)). Do -85/7 and w have the same value?
False
Suppose -1897 = 383*m - 5045 - 10257. Which is bigger: m or 467?
467
Suppose d - t = 115, 2*d - 27 = t + 202. Let p be -1 - 10/(80/d). Which is smaller: p or -14?
p
Let l(i) = -i**3 - 6*i**2 - 14*i + 11. Let v be l(-8). Suppose 2*r - 196 = -4*y, 0 = -y + 6*y + 4*r - v. Let t = -44 + y. Which is smaller: 9/5 or t?
9/5
Let o = 110 - 156. Let h = -0.1607 + 44.1607. Let l = o + h. Is -15 at most l?
True
Suppose -33*n + 16065 = -152*n. Is n <= -53?
True
Suppose 12272 = -7*z - 18752. Let f be 1/4 + z/16960. Let m = -1292/2915 + f. Does m = 0?
False
Let g = 1801 - 848. Which is bigger: 3811/4 or g?
g
Suppose -4*z = -48 - 48. Let d be (27/(-6))/((-2)/(z/(-9))). Let x(q) = q + 8. Let i be x(-6). Is d != i?
True
Suppose 2*y - 89 = -2*g + 5*y, 4*g - 2*y = 198. Which is bigger: g or 47?
g
Let b(z) = -72 + 8*z - 15*z + 4*z + 13*z. Let a be b(8). Is a smaller than 8?
False
Let l(v) = 18*v**2 + 4*v + 2. Let a be l(-2). Let g = 64 - a. Let f be (2 + g)*4/(-4*3). Is f < 1/122?
True
Let s(t) = -2*t + 34. Let u = -34 - -51. Let i be s(u). Suppose i = 6*v - 3*v + 2*m + 11, 3*m = -v + 8. Which is smaller: v or -10?
-10
Let y = 258 + 404. Let r be ((y/(-4))/(7 - -1126))/(-1). Let d = r - 1/103. Is d < 1?
True
Let p(i) = -15*i**2 + 321*i - 123. Let j be p(21). Suppose 3*g + 2*g = 240. Suppose 2*n = -2*c + 5*c - g, j*c + n = 48. Is 3 not equal to c?
True
Suppose y = 46 - 40. Let g(n) = -3*n - 89. Let f be g(y). Which is smaller: -105 or f?
f
Let s(p) = -p**3 - 5*p**2 + 31*p + 15. Let j be s(5). Which is bigger: j or -88?
j
Let m(w) = 147*w - 883. Let i be m(6). Is i < -12/317?
True
Let f = -131/99 + -59/33. Suppose 5*s = -4*x + 5, 0 = 19*s - 24*s + 3*x - 30. Is s at least as big as f?
True
Let z be ((-2821)/62 - -32) + 2/(-8). Suppose -67 = 5*s - 4*w, 4*s + 5*w = -9 - 61. Is z < s?
False
Let f = -93 + 52. Let p be (154/(-55))/(2/30). Are f and p equal?
False
Let m be (1/78)/(-3 + 2). Let j be -10*(7362/180 - 41). Which is greater: j or m?
j
Suppose 5*c + 625 = -0*c. Let x = c + 132. Which is greater: 46/7 or x?
x
Suppose 2*i - 38 = 2*c, -5*i + 196 - 61 = 3*c. Let s(g) = -g**2 - 1474*g + 11871. Let o be s(8). Is o at most as big as i?
True
Let g(f) = -19*f + 3. Let b be g(4). Let v = 58 + b. Which is smaller: -21 or v?
-21
Suppose -67 - 10 = -d. Suppose d*k - 71*k = 552. Let j = 211 + -119. Are k and j equal?
True
Let d be 1198/20*((-6648)/192 + 34). Is d less than or equal to -37?
True
Let f = -16.6741 - -1.6741. Let v = 0.3 + 1.7. Which is smaller: v or f?
f
Suppose -3474 + 11358 = 9*w. Let p = 876 - w. Is p > -42?
True
Let s be (32 - -5) + 0 + (-8)/2. Let w = s - 34. Let m be 0/(-1) + 65/(-208). Is m < w?
False
Let o(c) = -22*c - 44. Let h(w) = -w**2 + 9*w - 10. Let r be h(8). Let t be o(r). Which is smaller: t or 22/29?
t
Let s(o) = -50*o + 3 + 74*o - 6 + 24. Let i be s(-3). Which is bigger: -52 or i?
i
Let g = 11974.05 - 11972. Which is smaller: g or 3?
g
Suppose -5 = -5*w + 5*l, -2*w - 44*l + 40*l = 4. Is -22/1247 less than or equal to w?
True
Let h be (-81)/(-9) + (-5225)/583. Which is bigger: 0 or h?
h
Let f(b) = b**3 + 9*b**2 + 8*b. Let k be f(-8). Let n be (86/(-130) + 5/25)/(72/(-8)). Which is smaller: k or n?
k
Suppose -3*k - 40 = k. Let a be 15/k - (-39)/2. Let z be (6 + a)*(-8)/6. Is z greater than -32?
False
Suppose -s - z + 6230 = 0, -282*z = -283*z - 6. Which is smaller: 6235 or s?
6235
Suppose 4*f = 3*r + 123849, 0 = 4*r + 2*f + 23796 + 141336. Let x be (-18)/4*132/r. Is x at least as big as 0?
True
Let x = 8513 - 8497. Let w = 28151/9 - 3113. Which is smaller: w or x?
w
Let a = -46.7 + -351.3. Let m = -406 - a. Is -10 greater than m?
False
Let w be -5*(2/(-35) + 0). Let r = -6837/15892 - -9/548. Do w and r have the same value?
False
Let c be ((600/135)/(-10))/(0 + 14/3). Is 41 less than c?
False
Let a be 4*-1 - 20/(-10). Let s be ((-1)/(-2) + 1)/(a/(-4)). Is 14 < s?
False
Let l = -393 + 185. Do -210 and l have different values?
True
Suppose 5*j = -7*d - 13 - 29, -4*j - 28 = 0. Let v = 271/52 - 27905/5356. Is d at least v?
False
Let b be (-2)/10 + 