*n + 2*a - 5 = 0. Which is smaller: x or n?
n
Let t = 15/124 + -2231/19468. Which is greater: t or 1/4?
1/4
Let r = -117 + 202. Which is bigger: r or 83?
r
Let n(d) = -2*d**3 - 3*d**2 - d - 2. Let w be n(-2). Suppose w*p = -5 + 1. Let m be p*2*(-2)/4. Are m and 6 nonequal?
True
Let a = -3 + 3. Suppose a*s + 112 = -2*s - o, -3*o = -4*s - 224. Let p be s/(-66) - (-4)/(-22). Is p >= -8?
True
Let p = 326 + -194. Let v = p - 132. Which is smaller: -18 or v?
-18
Let t = -1883 + 1884. Which is bigger: t or -1/667?
t
Let b(g) = 7*g**2 + 8*g + 9. Let j(i) = -3*i**2 - 4*i - 4. Let v(k) = 2*b(k) + 5*j(k). Let y be v(-6). Is -13 < y?
False
Let s be 4 + -1 + (3 - 0) + 4. Let a be 1 + (1 - (-4)/(-4)). Which is greater: s or a?
s
Let c be 2 - (-2)/5 - 2. Suppose -15*b = -18*b. Suppose b = -3*g + 4*g. Which is smaller: c or g?
g
Let w be 8 + (-3 - (-2 + 6)). Suppose 2*z = -z + 156. Let h be (-1)/3*6/z. Which is smaller: w or h?
h
Let s be 2*(-1)/(-2) + 30 + 257. Do s and 287 have different values?
True
Let c be 92/28 + -3 - 0. Let k = 0.1 + 0.5. Let m = -1 + k. Is c less than m?
False
Let p be 1/(-4)*(-64)/(-936). Is p > -1?
True
Let b be ((-152)/(-16))/(2/(-4)). Let u = b - -7. Let x be (9/u)/(78/(-16)). Which is smaller: 0 or x?
0
Let t = 0 - 0.2. Let s(k) = -4*k**2 - 2*k + 7 - 3*k + 3*k**2. Let o be s(-6). Which is smaller: t or o?
t
Suppose -66*k - 144 = -870. Is 149/12 less than k?
False
Let q = -32179/13 + 2473. Which is bigger: -1 or q?
-1
Let y(f) = f**2 + 9*f + 11. Let s be y(-8). Suppose 0 = s*v - v - 16. Is v smaller than 8?
False
Let i = 870 + -819. Suppose -2*r = -0*r - 4. Is r <= i?
True
Suppose -410 = 21*h - 22*h. Is h at most 409?
False
Suppose -n - 4*i = -15 - 24, -5*n - 5*i + 120 = 0. Is n equal to 10?
False
Let z = 601 + -609. Is z less than or equal to 0?
True
Let u(t) = 4*t**2. Let z be u(-1). Suppose 2*x - 43 = -4*b + x, -4*x - 28 = -z*b. Suppose q - 8 = o, 69 - 11 = 5*q + o. Which is greater: b or q?
q
Let k = -145 + 145.3. Which is smaller: -22 or k?
-22
Let w(a) = -a**3 - 6*a**2 - 6*a - 9. Let o be w(-5). Let g(b) = -b - 9. Let s be g(o). Which is greater: -7 or s?
s
Let z be (-17 + 15)/(4/(-6)). Suppose -z*m + 80 = 4*r - 7*m, 3*r + 4*m - 60 = 0. Let x = -12 + r. Is 10 at most x?
False
Suppose 3 = -5*w + 6*w. Suppose w = -y + 4*p, -y + 5*y + 57 = p. Is -17 <= y?
True
Let g be ((-114)/(-22) - 5) + 180896/(-2015926). Let x = g + 2/2131. Which is smaller: 1 or x?
x
Let a be (96/84*-7)/((-49)/2). Is -1 bigger than a?
False
Let j = 3.4 - 0.4. Let s = j + -2. Let w be (-6)/8 + 0 - 24/32. Which is smaller: w or s?
w
Let k = 12 - 17. Suppose 2*l = -6, -4*u + 2 = -2*u - 2*l. Which is bigger: u or k?
u
Let a(n) = 8*n**2 - 2*n - 2. Let r be a(-1). Suppose r*i - 9 + 41 = 0. Which is greater: i or 2?
2
Let i = -70 - -56. Let d = -10 - -12. Suppose 5*p = 5*k - 80, d*k - 16 - 2 = p. Is i less than p?
False
Let t be ((-6)/(-5))/(6/30). Let u(d) = 2*d - 11. Let f be u(t). Do 6 and f have the same value?
False
Let q = -6.313 + 0.273. Let m = -6 - q. Let r = m + -1.04. Which is bigger: r or 0?
0
Let t = -41 + 41.06. Let j = 0.92 - -0.08. Which is smaller: t or j?
t
Let h = -362 - -362. Which is greater: -12 or h?
h
Let m = 2.52 + -2.62. Is m smaller than 4?
True
Let m = 117 + -81. Let y = m - 38. Which is smaller: -8/15 or y?
y
Suppose 49*a + 4731 = 30*a. Is a > -247?
False
Let y = -38.7 + 25.8. Let v = -12.6 - y. Which is smaller: -0.28 or v?
-0.28
Let z = -11 + 3. Let a be (4/(-2))/((-4)/z). Let o be (-3)/12 + 39/a. Is -9 smaller than o?
False
Suppose -t = -2*i - 16, 6 = -t - 4*i - 2. Suppose 2*r + t = 3*v - v, -19 = -v + 4*r. Is v at least as big as -6/5?
True
Let t be 2/(-1)*4 - -9. Which is smaller: t or 1/313?
1/313
Suppose -m = -5*b - 16, 0*m + 4 = -2*m - 2*b. Suppose -3 = -2*x + m. Let i be 10/x - (-1 - -4). Is i greater than -4?
True
Let z = -424801/288 + 1475. Is -1 at least z?
False
Let d be -11 - (-2)/(4 - 2). Suppose -2*h - 96 - 6 = -3*y, 0 = -2*y + 3*h + 63. Suppose r - f - y = 5*r, 5*f = r + 9. Do r and d have the same value?
False
Suppose 19 = 4*r + 3*c, 0 = 5*r - 0*c + 4*c - 23. Suppose -36 = r*a + 41. Which is smaller: 1 or a?
a
Let d = -95/9 + 457/45. Is d smaller than -172?
False
Let o be 4/16*-1*(-3 + 7). Do -36/109 and o have different values?
True
Let z be -2*((-25)/10)/1. Suppose -4*x = -3*a - 31 + z, -15 = -3*x. Is -11/13 smaller than a?
False
Let q(j) = -j**3 - 7*j**2 - 7*j + 2. Let t be q(-5). Let z = t + 10. Suppose 2*m + 7 = 1. Is m at most as big as z?
True
Let f(l) = -l + 10. Let r be f(10). Let o = -2898177/11011 + 306/847. Let w = o + 263. Is w equal to r?
False
Let o = 11.9 + -17.9. Which is smaller: o or -3?
o
Let u(l) = l**3 + 18*l**2 + 15*l - 31. Let m be u(-17). Let k be 6*1/(-2)*4/m. Which is greater: k or -26/5?
k
Let n = 228 - 75. Let k = n + -768/5. Suppose 5*m + 5 = -5. Are k and m non-equal?
True
Let x = 1241 - 1241.009. Which is greater: 2 or x?
2
Let s = 99 - 541. Let v = -917/2 - s. Are -16 and v unequal?
True
Let s be ((-786)/15 - 15/25) + 3. Is s equal to -51?
False
Let p(k) = -k**3 - 3*k**2 + 5*k + 5. Let m be p(-4). Suppose -5*n - 3*j = -m, 2 = -0*j + j. Is 4/17 < n?
False
Let s = 21/46 - 9127/20194. Which is greater: 1 or s?
1
Let t(v) = v - 3. Let f be t(0). Let u be 2 + f - (-2 - 2). Suppose -u*i + 5 = 2*i. Which is bigger: 2/5 or i?
i
Suppose 3*m + 37 - 1 = 0. Let y be 3/(-9) + (-16)/m. Which is bigger: y or 13/6?
13/6
Let u(n) be the first derivative of n**2 + 13*n - 7. Let a be u(-6). Is -2/61 equal to a?
False
Suppose 0 = -4*u - 51 - 41. Which is bigger: u or -21?
-21
Suppose 267*x = 269*x - 4. Is x bigger than 7/12?
True
Let i be -12*1 + (-35 - -30). Is i less than 7?
True
Suppose 0 = -2*w - 3 - 9. Let d = 43/5 + w. Let z(t) = t**2 + 2*t - 1. Let v be z(-3). Which is smaller: v or d?
v
Let j(q) = -5 - 8*q - 9*q**2 + 1 - q**3 + 3. Let s be j(-8). Let i be 0 + (-2 - 6) + s. Do -7 and i have different values?
True
Let l = 8387.01 + -8426. Let s = -39 - l. Is s at most 0.1?
True
Let h = -17 - -27. Suppose 4*s + 10 = -2*b, -s + 3*s - 2*b - h = 0. Suppose 5*y - 11 = -3*x, -2*y + y + 4*x + 16 = 0. Are s and y unequal?
True
Let w(i) = -2*i**3 - 9*i**2 + 10*i + 2. Let r be w(3). Is -105 smaller than r?
True
Let o be (16/(-6))/(856/108). Which is smaller: 0 or o?
o
Let g = 302 - 450. Is -148 at most g?
True
Let w(t) = 4*t - 2. Let o be w(2). Suppose -23*f = -27*f + 16. Suppose o*q - f*q = 0. Which is bigger: q or -1?
q
Let r = 25/4 - 51/8. Let q be (30/28)/1*336/288. Is r >= q?
False
Suppose 218 = 9*h - 10*h. Let i = -879/4 - h. Is -3 at most i?
True
Suppose -9*k - 26 + 62 = 0. Suppose 5*i + 2*t + 2*t - 226 = 0, -k*i = 3*t - 181. Which is greater: i or 47?
47
Suppose -4*m + 44 = h - 5*m, m = 5*h - 212. Suppose u = -u + h. Let x be (-9)/u + 46/(-56). Is -2 at most as big as x?
True
Let f = 822 + -1240. Let j be (-55)/f*(-1)/(-5). Is 1 at least as big as j?
True
Let w(g) = -g**3 - 15*g**2 - 12*g - 32. Let l be w(-14). Let m = l - -64. Is 2 bigger than m?
False
Let i = 0.3 + -0.2. Suppose 5*b = -g + 2*g + 32, -164 = 4*g - 2*b. Let q be 1/(-2) - 12/g. Is q at most i?
True
Let x(u) be the first derivative of -u**3/3 + 5*u**2 - 3*u + 2. Let a be x(9). Suppose q - a + 0 = 0. Is q bigger than 6?
False
Suppose 10 = 5*i + 2*q, 1 = i - 2*q - 1. Suppose -i = 2*h - 6. Suppose -h*c + 3 = 7. Which is smaller: -4 or c?
-4
Let k = 145 + -132. Which is bigger: k or -6/5?
k
Suppose j = -0*j + b - 5, 0 = j - 2*b + 9. Let c = 5.61 - 0.61. Which is smaller: j or c?
j
Suppose -7*z - 329 = 35. Does -52 = z?
True
Let r be (-16900)/58905 + (-4)/(-14). Which is bigger: 1 or r?
1
Let p(h) = -h**3 - 24*h**2 + 50*h + 10. Let w be p(-26). Is w smaller than 61?
False
Suppose 10 = -k - 6. Let x be -9 - (8/1 + 3 + -5). Do x and k have different values?
True
Let d be (4/18)/1 - 2054/90. Let c = -140 + 118. Do d and c have different values?
True
Let o be 2 + (-451)/113 - -2. Let v(n) = n**3 - 4*n + 3. Let m be v(1). Which is smaller: m or o?
m
Suppose -54 = 3*j - 2*j. Let g = j - -84. Let s be 12/16*(-16)/g. Does 0.1 = s?
False
Let g be (-17 + 2)*(-2)/3. Let x = 142 - 130. Is g greater than or equal to x?
False
Let x = -122/5 + 1352/55. Let o be (296/(-185))/(4/(-10)). Suppose 5*h - 24 = -o*k, -4*h + 8 = -8. Which is greater: x or k?
k