uppose 4*r = -118 + 2. Which is smaller: r or n?
r
Let d = 0.024 + -2.624. Let b = 2.44 + d. Which is smaller: 1 or b?
b
Let s = 1.11 - -0.1. Let r = s + -0.21. Which is bigger: r or 20?
20
Let q be (-20)/80 + (-26)/(-8). Suppose -3*b - 21 = -2*p, 12 + q = -5*p. Which is smaller: b or -1?
b
Suppose 6*i - 2*i = 12. Let k be i/(-7) + (-6)/(-14). Is k <= -10?
False
Let c(a) = a**2 + 9*a + 3. Let h be c(-9). Let k be 8072/30*h/296. Let z = 27/10 - k. Which is bigger: z or 0?
0
Let r = 524 + -565. Which is greater: 7 or r?
7
Let i(n) = n**3 + 5*n**2 - 9*n - 3. Let m be i(-6). Let r be 54/(-4) - (-9)/(-18). Let p = r + m. Which is greater: 4/19 or p?
p
Let h = -2007 - -1499. Is -0.1 equal to h?
False
Let m(b) = 3*b - 4. Let z be m(2). Let w be 4/2 + 12/(-6). Suppose n + 5*f - 12 = w, -2*f + 3*f = 2*n - 2. Is n smaller than z?
False
Suppose r + 22 = -5*h, -3*r = -5*h - 8*r - 30. Let o = 43 + -38. Suppose -o*d = -2*u + 3*u + 6, -5*d = -3*u + 2. Which is smaller: u or h?
h
Let q = 0.71 - -46.29. Let o = 40 - q. Which is bigger: o or -1/2?
-1/2
Let g(h) = -h**3 - h**2. Let a be g(0). Let l be a - (4 - (-4 + 75/3)). Which is bigger: 15 or l?
l
Let u = -0.06 - -0.06. Let v = -3 - u. Let i = 1.48 + -1.48. Is v at most i?
True
Let u be -1 - 2/(-4)*-2. Let z be (u/1)/(2 + 0). Let n be (-22)/(-2) + -8 + (-8)/3. Which is smaller: z or n?
z
Let p(c) = -c**3 + 5*c**2 + 11*c - 13. Let j be p(6). Let i(r) = -r**3 + 17*r**2 + 2*r - 22. Let d be i(j). Is d not equal to 10?
True
Let l be (-4 - -1) + (2012016/(-486))/2. Let d = l + 2073. Is 0 less than or equal to d?
True
Let s be -2 + (-4)/(464/(-234)). Let x(r) = 12*r + 23. Let f be x(-2). Is f less than or equal to s?
True
Let r(l) = l. Let o be r(-6). Let w be (-1 - (2 + o))*(-10)/3. Is -5 != w?
True
Suppose -9*c = -107 - 100. Suppose -3*a + 4*u + 15 = 0, 4*a + 0*a = -u + 20. Suppose c = a*p - 27. Is 2/7 less than or equal to p?
True
Let p be (-56)/(-21)*6/62548. Let n = p - 27880787/62548. Let k = -448 - n. Which is smaller: k or -2?
k
Let n be 1/(4/(12/(-2145))). Is 0 less than n?
False
Let s(o) = -2*o**3 - 22*o**2 + 11*o + 44. Let u be s(-11). Which is bigger: u or -78?
u
Let c = 7/40 + -1893/10360. Is c at least as big as 1?
False
Let y = 67 - 66. Which is greater: y or -3/89?
y
Let c(g) = 148*g**2 - g - 75*g**2 - 77*g**2. Let w be c(1). Is w greater than or equal to -1?
False
Suppose 0 = -3*d + 140 - 233. Which is smaller: -1 or d?
d
Let g = 0.086 + -75.086. Let w = -76 - g. Which is greater: 1.2 or w?
1.2
Suppose 5*b = -4*j + 3*b + 6, -4*j = b - 11. Let m = 12 + -32. Let p be (m/(-6) - j)*4. Are p and -4 unequal?
True
Let h be 0 + -3 + 1066/(-28). Let g = -429/28 - h. Let p = 26 - g. Is 2 at most as big as p?
False
Let j(v) = v**2 + 7*v - 1. Let q be j(-7). Let x = -1778/23 + 232/3. Which is smaller: q or x?
q
Let s be (-7 - 605/(-10))*(-2 + 4). Which is smaller: s or 106?
106
Let q be ((-3)/(-2))/((-1590)/8). Which is greater: 0 or q?
0
Let h(s) = s**2 + 7*s + 8. Let p be h(-6). Let w(n) = n - 2. Let a(v) = 3*v - 4. Let m(u) = p*a(u) - 5*w(u). Let j be m(-4). Is j at least as big as 3?
False
Let z = 23 - 32. Let k be 3/z - (-12)/9. Which is greater: 10/13 or k?
k
Let l = 0.3 + 3.7. Let v = l - 4.2. Let a = v - 0. Is a at most as big as -0.1?
True
Let f(l) = -l**3 - 8*l**2 - 8*l - 7. Let r be f(-7). Let t(j) = -j**2 + 2*j + 28. Let w be t(r). Which is bigger: 0 or w?
w
Let l = 345 - 13801/40. Let o be 12/(-9)*453/604. Is o less than or equal to l?
True
Suppose 238 = 5*r - 3*j, -5*j - 5 + 47 = r. Suppose -46*n + r*n = 5. Are 5 and n nonequal?
False
Let p be 4/(-8)*14 - -3. Let v be (85/(-34))/((-2)/(-4)). Are p and v unequal?
True
Let k = 104.78 + -104. Let z = k + 7.22. Is 2/7 greater than z?
False
Let b = 9 + -7. Suppose 0 = b*d - 3*d - 1. Let i be (d/1 - -3) + 0. Is 3 greater than or equal to i?
True
Let v = -1122/5 + 224. Let s(u) = u**3 - 10*u**2 + 10*u - 6. Let c be s(9). Suppose 3*t - 2 = y, -2*y + c*y = t. Is t smaller than v?
False
Let q = 146 - 276. Does q = 2/7?
False
Suppose 2*o = -l - 7 - 2, 5*o = -10. Let u = -15 + 10. Is l at least as big as u?
True
Let u = 431/8694 - 5/161. Let w(a) = a + 26. Let s be w(-25). Is u <= s?
True
Let z be 3*9 - ((-8)/2 - -3). Suppose -433 = -9*d - 181. Is d greater than z?
False
Let l be (-298)/10*34/6. Let k = l - -169. Let a = -0.32 - 0.68. Is a at least k?
False
Suppose -5 = -5*o, 2*q - 2*o = -5*o + 11. Let k = q + -1. Suppose -k*d - 5 + 2 = 0. Do d and 0 have the same value?
False
Let n(g) = -2*g**3 - 2*g**2 + 29*g - 18. Let c be n(-9). Do c and 1017 have the same value?
True
Let f(x) = x**2 - 1. Let u(k) = k**2 + 2*k - 2. Let p(j) = -4*f(j) + 2*u(j). Let v be p(3). Suppose 8 = -4*l + 3*d, 2*d - 4 = 3*l + 3. Which is greater: l or v?
l
Let d be -1 + (-5)/(-7) + 103/(-7). Let q be 1*7 + (d - -3)/(-4). Suppose -5*y = 2*n - 4*y - 22, -2*y = 3*n - 33. Is n at most as big as q?
False
Let p = 30 + -28. Suppose 5*u = p*u - 0*u. Which is greater: 1/21 or u?
1/21
Let j be (45/(-10))/(((-3108)/16)/(-7)). Which is bigger: 3 or j?
3
Let m = 4 - -1. Suppose -4*o + 14 = m*g, 0 = 5*o - 3*g + 7*g - 22. Let n be 6*((-4)/o - 0). Which is smaller: 2/9 or n?
n
Let g be (8 - 6)*(2/(-2836))/(-1). Is g bigger than -1?
True
Let l(y) = -3*y**2 - 20*y - 38. Let f be l(-13). Is f less than -285?
False
Let j be ((-16)/12 + 1)/((-35)/(-45)). Is -4 at least j?
False
Suppose 117*x - 4*r - 604 = 113*x, 2*x = -5*r + 330. Is x < 466/3?
True
Let u be -1 - (-1 + 4/62). Let w(r) = r - 8. Let p be w(10). Suppose -3*g - p*g = 0. Is g equal to u?
False
Let c(n) = n**3 - 16*n**2 - 13*n - 66. Let a be c(17). Which is smaller: a or 8?
a
Let w = -147 + 63. Let o be (0 - 368/w) + 0 + -4. Which is smaller: o or 2?
o
Let c be 1 + -1 + (0 - -4). Suppose -c*z = 5*x - 2*x + 2, x = 3*z + 8. Let j be -2 - (-2 + x) - -2. Which is bigger: j or 3/7?
3/7
Let g be ((-73)/(-3))/((23/(-6))/(-23)). Is 147 <= g?
False
Let k = -599 + 58106/97. Is k equal to 1?
False
Let t(p) = p**3 + 6*p + 21. Let j be t(-2). Let h = 9402/19 - 495. Which is bigger: j or h?
j
Suppose -v + 5*v = 3*v. Is v smaller than 1/458?
True
Let y = 233/454 - 3/227. Let i = 0.9 - -0.1. Does y = i?
False
Let k = -22.7 + -4.3. Let o = 15.1 - 15.3. Is o less than k?
False
Let l = -5 - -4.77. Let q = 51.87 - 51.9. Let w = l - q. Are 1 and w unequal?
True
Suppose -2*d - 6 = 4*b, 6*b + 12 = b - d. Let s be 7/44 + b/12. Let l be 0 + 2 + (-28)/12. Which is smaller: s or l?
l
Suppose -649 + 95 = -4*u - 2*o, -2*u = -5*o - 295. Suppose 0*s - u = 14*s. Which is smaller: -5 or s?
s
Let p(m) = 3*m**2 + 1. Let q(b) = 2*b - 6. Let a be q(4). Suppose -5*k + 2*k + a*h = 7, -4 = -2*h. Let u be p(k). Which is bigger: 5 or u?
5
Suppose 0 = 93*y - 28*y - 780. Which is smaller: y or 59?
y
Let x = 520 + -519.95. Which is greater: x or -92?
x
Let f = 6 + -11. Let w = -2 - f. Suppose -w*m + 5*r = -0*r + 19, -3*m - 4*r - 1 = 0. Which is greater: m or -4?
m
Let g = 25.5 - 2.5. Let m = g + -32. Is -2 > m?
True
Let a = 0.1 - 25.1. Let v = 24 + a. Which is bigger: v or -22?
v
Suppose -3*q = 5*b - 50, -3*q = -7*q + 3*b + 28. Is q bigger than 8/3?
True
Let d = 0.126 + -0.06. Let x = d + 0.934. Suppose -2*v = 3 + 1. Is x <= v?
False
Suppose 33 = 3*b + 6. Let t(z) = 3 + 0 + 3 + z - b. Let j be t(4). Are -6/19 and j equal?
False
Let f = -1943/2 + 21565/22. Is f at least as big as 10?
False
Let x be (5/((-5)/(-138)))/(-1 + 2). Suppose -3*z - 3*z = -x. Are z and 23 equal?
True
Let n(y) = -4*y - 36. Let s be n(5). Let g = 55 + s. Which is bigger: g or 7?
7
Let z = -6 - -10. Let g be ((-2)/(-3))/(91/(-105) + 1). Which is smaller: g or z?
z
Let d be (-13)/(-5) - 4/(-10). Suppose 2*k - d*f = f - 6, f + 3 = 2*k. Suppose a = k*a. Is a less than or equal to 0?
True
Let o = 218 + -213. Which is greater: o or -3/4?
o
Let w be (0 - 2) + -1 + 6. Suppose w*c - 28 = 5. Suppose 4*s = a + c, 0 + 5 = s - a. Which is greater: 7/4 or s?
s
Let v = -3039 + 3059. Is v > 2?
True
Let o = -1018 - -1001. Does -2 = o?
False
Let m = -33555161 + 3187609292/95. Let s = m - -1379. Which is bigger: 1 or s?
1
Let f be ((-1)/(-26))/(32/12 + -3). Is -1 < f?
True
Let a = -0.5 - -0.638. Let r = -7.138 + a. Is -1 smaller than r?
False
Let x be ((-1)/(-5))/(2/(-4)). Let v = -1.24 + 0.25. Let o = v + -1.01. Is o smaller th