 -2 + (-45)/21 + 4. Suppose -4*j + 15 = j. Suppose 2*h + 1 = j. Is n > h?
False
Let g(a) = a**2 - 2*a - 9. Let v be g(6). Suppose 5*k - 30 + v = 0. Suppose -k*d = -15, 3*d = 4*n - n + 39. Does -9 = n?
False
Let y = -195 + 196. Which is greater: 6/401 or y?
y
Let t = 8 + -9. Suppose 3*n + 13 = u + 2*n, 5*n = 0. Is t equal to u?
False
Let n(p) = -6*p**2 - p - 1. Let f be n(-1). Let i be ((-4)/f)/(6/(-27)). Let b be ((-108)/16)/i*12. Do b and 28 have the same value?
False
Suppose -270*s + 273*s = 1002. Is s < 334?
False
Let l(k) = -k + 1. Let t be l(3). Let o be (-96)/46 - 1*t. Let s = -0.021 - -1.021. Is o <= s?
True
Suppose -5*w - 2*i + 9 = 0, w + 5*i = i - 9. Let r = -30 + w. Let x be 1/(4 + r/7). Is 7 != x?
False
Let q(r) = -r + 10. Let y be q(2). Let d(m) = m**2 + 4*m - 3. Let w be d(-5). Is w < y?
True
Let k be ((-3081)/39)/((-2)/12). Which is smaller: k or 475?
k
Let q be (2 - (-274)/(-136))*-2. Let o(b) be the second derivative of b**3/2 - 9*b**2/2 - 11*b. Let y be o(3). Is q at most as big as y?
False
Let w(n) = -12*n - 6. Let o be w(2). Let f = 75 + o. Let k be (5/f*6)/15. Do 1 and k have the same value?
False
Suppose -28*m = -m. Which is smaller: m or 6?
m
Let p be 8*(9 - (-597)/(-66)). Is p at most as big as 16?
True
Let p = -2.8 + 16.8. Let v = p - 7. Let l = 7.1 - v. Are -3/5 and l unequal?
True
Let g be 5*26/(-2) + 3. Which is smaller: g or -60?
g
Let q be ((-56)/44 - -2)/(-66). Let x = -578/13431 + q. Which is smaller: 0 or x?
x
Let x = -601 + 407. Which is bigger: x or 0?
0
Let c be 8/(-40) + 16/5. Suppose 5 = 5*l + 2*p - 3, -c*l - 2*p = -8. Which is bigger: l or -6?
l
Let q = 20 + -7. Let j(w) = 7*w - 2. Let r = 2 - 0. Let d be j(r). Are d and q equal?
False
Let h be (1 - 4)/(-3) + -1. Suppose 9*i = 4*i + 20. Suppose -5*c + 5*f + 5 = h, 2*c - i*f + 3 = 1. Are 2/7 and c non-equal?
True
Let h = 5.3 - 1.3. Is -0.1 at most as big as h?
True
Let t = 0.86 + 0.24. Let g = 27.1 - t. Which is smaller: -0.1 or g?
-0.1
Let l(d) = -d**2 + 11*d - 6. Let p be l(7). Let u be (529/161)/((-1)/(-7)). Which is smaller: u or p?
p
Let s(a) be the first derivative of -a**4/2 - 5*a**3/3 + a**2 - 2*a + 33. Let c be s(-3). Let v = -19/16 + 5/4. Is v < c?
True
Let y = 63788/19 - 3360. Is y greater than -2?
False
Let i = -41.3 + 41.19. Let c = 3.9843 - 0.0943. Let k = i - c. Which is smaller: k or 3?
k
Let i(r) = -r**2 + 2*r. Let s be i(2). Let u = -1/4 + s. Let y = 0.03 - -0.04. Is u smaller than y?
True
Let s = -8.015 - -0.015. Is 0.23 smaller than s?
False
Let i = 1817 + -1820. Let m be ((-1)/(-1))/((-3)/6). Is i greater than m?
False
Let g = -23 + 14. Suppose -35*n - 72 = -27*n. Is g at most as big as n?
True
Let f be (-1 + (-5)/(-2))/(58/4). Suppose -5*h + 2 + 3 = 0. Which is bigger: f or h?
h
Let a = 186 - 205. Which is bigger: -7 or a?
-7
Let j(g) = g**2 - 6*g - 8. Let p be j(7). Let u be 0 + (-2)/(-4)*p. Which is smaller: 1 or u?
u
Let r = 7.1 + -14.1. Let j = r - -5. Which is smaller: 14 or j?
j
Suppose 1710 = -2*o + 250. Is o < -730?
False
Let n = 7.78 - -0.22. Let b = -9 + n. Which is bigger: 11 or b?
11
Let y = 1346 + -776. Which is greater: 569 or y?
y
Let k be ((-36594)/1932)/(-19) + -1. Which is smaller: 0 or k?
k
Let v = -0.1 - -0.1. Let s = 27.8 + 7.2. Let g = s + -36. Which is bigger: g or v?
v
Let l be 9/(-4)*8/(-48). Let w(o) = -6*o - 30. Let a be w(-9). Let n = a + -25. Which is smaller: n or l?
n
Let x be (-3 - (-27)/21)/(10/(-35)). Is x smaller than 0.11?
False
Let r be -53 - ((-12)/2 + 2). Is r bigger than 4?
False
Let t = 82 + -76. Suppose -9 = 4*d + 3*y, t*d - 2*d - y = 3. Which is greater: 2/267 or d?
2/267
Let u = 1172 + -1189.94. Let f = 18 + u. Let x = f - 0.16. Is 12 less than or equal to x?
False
Let f = -12 - -15. Let c = -4 - f. Let v = -8 - c. Does v = -1?
True
Let a be 3 + 45/(-21) + -1. Let m = 234 - 235. Is m at least a?
False
Let p be (-2)/(4400/(-1096) + 4). Is p at least 137?
True
Let l = -15/77 - -212/693. Which is smaller: 2/21 or l?
2/21
Suppose a - 2*v = 16, -2*a + 3*v - 16 = -3*a. Let y be (-1)/(-1)*8/a. Which is bigger: 0 or y?
y
Let h be -3*1420/2850 + 2/(-5). Do h and -2 have the same value?
False
Suppose 3*k - 5*i = 12, 5*i - 6 = -k - 2. Let o = -829/4 + 210. Is o less than or equal to k?
True
Let r = -1.12 - 43.88. Let j = -44.9 - r. Which is greater: -1/9 or j?
j
Suppose -3*u = -5*o + 2*o - 81, o + 29 = 3*u. Let j(p) = p**3 + 5*p**2 + 5*p - 2. Let s be j(-5). Is o < s?
False
Let n be (-1 - (-150)/22) + 6/33. Let a be (3/n)/(-4 + -1). Which is greater: a or -1?
a
Suppose 0 = v - 0*v - 2. Suppose 2*x + 4*z = 40, 0*z + 58 = 3*x + 4*z. Suppose -v*d - x = -2*q, -d - 3*q - 2*q + 21 = 0. Is d less than or equal to -2?
True
Let c = 3372 - 269643/80. Let m be 471/240 + 0 + -2. Let x = m - c. Which is greater: -3 or x?
x
Suppose -k - 1768 = -3*t, 65*t + 584 = 66*t + k. Which is bigger: t or 586?
t
Let w = -1.263 - 1.737. Which is smaller: w or 7.8?
w
Suppose -8 = 2*j, 17 = -x - 4*j - 188. Which is smaller: -187 or x?
x
Suppose -3*g - 2*g + 12 = k, k = -g + 4. Suppose -4 = -k*y - 0. Let l be 1/y*(6 + -4). Is 2/15 >= l?
False
Let d(z) = 8*z - 32. Let t be d(6). Is 1 at most t?
True
Let h(x) = -105*x**2 - x. Let b be h(-1). Let z = 105 + b. Is 2/215 at least z?
False
Suppose 0 = -3*d - 13 - 50. Is d less than 1?
True
Let g = 139.173 + -139. Let p = g + -0.273. Let j = -1/330 - -673/4290. Which is bigger: p or j?
j
Let p(i) = 9 + 2*i + 0*i + 0 + 0*i. Let l be p(-4). Is 1 at least l?
True
Let g be (-294)/(-2)*(-15 + 3332/221). Is 10 not equal to g?
True
Let y be (38/(-4))/(6/12). Let f = y + 27. Which is smaller: f or 4?
4
Let r = -3.57 + -0.03. Let q = r + 1.9. Let b = -2 - q. Are b and 0.2 unequal?
True
Let l = 169/660 - 1/165. Suppose 0 = -4*k + 2*t + 2, -5*k + 3*t = -2*k. Which is greater: l or k?
k
Let v = 290566217992/13029 - 22301498. Let f = 8/129 - v. Is f > 0?
True
Let m(z) = z**3 + 12*z**2 + 23*z + 9. Let t be m(-10). Which is greater: -22 or t?
t
Let q be (4 + -4 + 2)/5. Let u be 33/(-33)*7*6/1. Let y = u + 42. Is q equal to y?
False
Let w = 32851 + -32870. Let m = -2.1 - -2. Are m and w unequal?
True
Let k be (-100)/(-5)*(-9)/18. Let y = -1 - -0.9. Is y at most as big as k?
False
Let u = -359 + 369. Let o = -1 - 0. Is o at least u?
False
Let r = 101 + -108. Is 4 != r?
True
Let w = 3 + 8. Suppose -2*k + k - w = 0. Let i(g) = -g**2 - 13*g - 16. Let j be i(k). Which is bigger: j or 7?
7
Let i = 0.04 + 13.96. Let y = 74 - 88.1. Let v = i + y. Which is smaller: 5 or v?
v
Let c be 10825/64590 - ((-3)/18)/(-1). Which is greater: c or 0?
c
Let c be 140/8*(-12)/28*4. Let t be ((-27)/(-6))/((-6)/40). Is c at most as big as t?
True
Let f be 3 + 694/(-220) + (-18)/(-99). Which is bigger: f or 2?
2
Let h be ((-10)/15)/(12/(-4)). Are -0.01 and h nonequal?
True
Let k(p) = p**2 - 2*p - 4. Suppose -9*r + 12*r - 9 = 0. Let g be k(r). Suppose -2*i = -4*n - 7*i + 7, 4*n + 4*i = 4. Are g and n nonequal?
True
Let f(v) = 10*v + 3. Let w be (-3 - 7)*2/(-5). Suppose -2*n = w + 2, 0 = 5*h + 4*n + 27. Let s be f(h). Which is smaller: -28 or s?
-28
Suppose -2*v - 46 = -2*d, 3*v + 3*d = -37 - 8. Is -18 smaller than v?
False
Let i = 2/477 - -275/48177. Which is smaller: i or -1?
-1
Let b be 24425/60 - (-4)/16. Let t = b - 646. Let s = t + 242. Is 2 at most as big as s?
True
Let i = 22 - 11. Let a = -11.1 + i. Let p be 4/10 + (0 - 1). Is p at most a?
True
Let u = -1.74 + 1.736. Is u greater than -0.4?
True
Suppose -15*f - 573 = 2817. Which is smaller: -225 or f?
f
Let o = -152 + 149. Is o equal to 19?
False
Suppose 0 = 2*v + 4*b - 1266, 5*b = 2*v - 1533 + 231. Is v less than or equal to 641?
True
Let u be 2*758/(-52) - (-242)/1573. Is -1/2 equal to u?
False
Let r be ((-46)/(-12))/23 + 251/6. Suppose 0 = r*d - 46*d - 60. Is d != -15?
False
Suppose -r + 14 = r - z, 4*z + 8 = 0. Suppose -3*y + 7 = 31. Let h = y - -15. Is r >= h?
False
Suppose -13*y + 19*y + 558 = 0. Let c = y + 88. Is c less than or equal to -3?
True
Let h(x) = x**3 + 7*x**2 + 10*x + 15. Let f be h(-6). Let b = f - -40. Are b and -2/7 nonequal?
True
Let t = 10.7 - 10. Let x(u) = u**3 - 2*u + 2. Suppose 0 = -0*n + 5*n. Let c be x(n). Does c = t?
False
Let d = 53 + -94. Let u = 41.03 + d. Let q(g) = -g**3 + 4*g**2 - g - 3. Let y be q(3). Which is smaller: y or u?
u
Let 