. Which is greater: n or -11?
n
Let f(s) = 6*s - 23. Let m be f(5). Is m >= 25?
False
Let x = 10 - 7. Suppose -5*f + 10 = -3*a - f, -x = 2*a + f. Let y = -18 + 15. Which is smaller: a or y?
y
Suppose 4*r + 83 = -5*n + 7, 4*n + 4*r = -64. Let x = -6 - n. Which is greater: x or 8?
8
Let n = 2 - 1. Let f = -39927/56 - -713. Let i = -117/280 + f. Are n and i non-equal?
True
Let s be 3/((3/30)/((-4)/(-30))). Which is smaller: 23/6 or s?
23/6
Suppose 6*i - 9 = 3*i. Suppose 2*b + b - 13 = 4*y, -4*b - i*y = 16. Let m be (b - -2)*-4 + 3. Which is smaller: 0 or m?
m
Suppose 18 = 9*d - 27. Suppose -d*g - 14 = 31. Is -10 less than g?
True
Let t = -933 - -970. Is t greater than 25?
True
Let s = 35.009 + -35. Let m = s + -2.009. Which is smaller: m or -5?
-5
Let q = -36 + 31. Let b(w) = -w**3 - 6*w**2 - 4*w - 6. Let r be b(q). Which is bigger: -8 or r?
-8
Let c(m) = -m**2 + 8*m - 13. Let g be c(6). Suppose 0 = 2*x - 0 + 4. Let o be (x + 1)/(3/(-9)). Which is smaller: o or g?
g
Suppose 2 = -4*h + 5*s + 5, -h + 2*s = 0. Let f(m) = 12*m + 6. Let l be f(h). Is l != 30?
False
Let k(l) = 6*l**2 + 47*l - 8. Let q be k(-8). Is q < -1/584?
False
Let t = -14 + 27/2. Let y = -10 + 3. Let g = y - -10. Is t < g?
True
Let o(t) = 3*t - 35. Let x be o(12). Suppose -5*v + 1 = -19. Let f(w) = -2*w + 6. Let b be f(v). Which is smaller: b or x?
b
Suppose 6*w = 4*w + 6. Suppose 5*z + 20 = -w*l - 10, -25 = 5*z + 2*l. Which is smaller: -2 or z?
z
Let n = -23 - -61. Let t be (4 - 1)/(1083/n). Which is bigger: -1 or t?
t
Suppose 3*x + 1 = -5. Let q be x/(-7)*28/(-132). Let i = 30 + -31. Are q and i nonequal?
True
Let u = 6 - 6.53. Let b = 0.38 + u. Which is bigger: -2 or b?
b
Let u = -22 + 0. Let c = u + 28. Let j = c + -7.6. Which is smaller: 0.1 or j?
j
Let r = -7136/13 - -551. Is 3 not equal to r?
True
Let f be 38/92 + 2/(-4). Suppose 0 = 4*n - 20 + 16. Is n less than or equal to f?
False
Let x = -25 - -27.4. Let t = x - 2.1. Let g = -34/185 + -8/37. Which is smaller: g or t?
g
Let o be -10 + (-8165)/(-583) + (1 - 5). Do -1 and o have different values?
True
Let u be 4/24*(-2)/(-7 - -8). Is 146 bigger than u?
True
Suppose 0 = 2*d - 659 + 387. Which is greater: 133 or d?
d
Suppose -5*y + y + 84 = 0. Let s = -21 + y. Suppose n + 5*q - 2 = s, 5*n + 2*q - 2 = 4*n. Which is smaller: n or 5?
n
Let f = -176 + 188. Suppose 5 - 29 = -2*g. Is f equal to g?
True
Let i = -2461 + 2504. Is 34 at least as big as i?
False
Let u be (-240)/220 + 2/22. Which is smaller: -24/29 or u?
u
Suppose -47 - 26 = -3*d - 5*v, 0 = d + v - 23. Let m = d - 15. Suppose j + m = -2*j. Are -1/9 and j unequal?
True
Suppose -23*i - 102 = -56. Is i at least as big as -2/19?
False
Let c be (-3 + 3)/(14/14). Is 16/77 bigger than c?
True
Let r = 0.0362 + -0.1362. Which is greater: 355 or r?
355
Let f(p) = p + 5. Let k be f(-7). Let a be (-3)/k + 344/(-144). Is -1 less than a?
True
Let p = -450 + 450. Suppose -5*m - 67 = 188. Which is bigger: p or m?
p
Suppose -3*t + 0*q + 5 = q, -4*t - 2*q = -4. Let u be (-4)/(-6) - 11/(-6). Do t and u have different values?
True
Let x = 7 + -7. Suppose 0 = -4*d - q - 1083, -5*d + 3*d + 2*q = 534. Let h = -7832/29 - d. Is x <= h?
False
Let a = -0.903 + 0.9. Let h = 0.026 - a. Is h greater than or equal to 1/3?
False
Let w(j) = -53*j + 628. Let b be w(12). Suppose -2*v = -0*v - 4. Is b at least v?
False
Let w = -1 - -0.973. Let l = w + 0.007. Which is smaller: l or 0?
l
Let x = 387.1 + -425. Let t = -38 - x. Let w = 157/65 - 21/13. Do t and w have different values?
True
Suppose -5*o - 3*u = 1 + 2, 0 = -2*o + 4*u - 22. Let k be (-339)/126 - 5/35. Which is smaller: k or o?
o
Suppose 5*c - 31 = 2*s - 81, 2*c - 5*s + 20 = 0. Let y = -32 - c. Which is smaller: -23 or y?
-23
Let n(r) = -r**3 + 5*r**2 + 8*r. Let k be n(6). Suppose -6*f - 42 = -k*f. Are f and 10 unequal?
True
Let w be (-2)/4*(-4)/(-13). Let p = 43.9 + -44. Let r = 0.2 + p. Is r < w?
False
Let w be 1 + 2 - (1 + 1). Let j be (1 - 0)*(w + 0). Let h be 66/(-231) + (-110)/(-336). Which is smaller: h or j?
h
Let o be (-6)/21 + (-4 - (-2762)/504). Let i be (-38)/36*1 + 1. Let t = i - o. Which is greater: t or -2?
t
Let m = 0.036 + -1.536. Let f = -22.5 - m. Does 0.1 = f?
False
Let f be 3570/(-25) - (-12)/15. Are f and 0 non-equal?
True
Suppose 4*h + 2*a + 8 = 0, 0 = 2*h - a + 4. Let g be (0 - 1)/h*0. Let d be -2 + g + 1 + 0. Is d > 1/4?
False
Suppose 0 = 5*z - r - 21, -4*z = r - 29 + 5. Suppose 2*t + 16 = -4*l, -z*t + 8*l - 4*l = 68. Which is greater: -14 or t?
t
Let y = -1 + 1. Let z = 22608/5 + -4440. Let w = z + -81. Which is smaller: w or y?
y
Let o = 657/2 + -328. Are o and 7/2 unequal?
True
Let y(a) be the first derivative of -6*a**2 + a + 6. Let o be y(-1). Suppose 2*c = -3 + o. Which is bigger: c or 4?
c
Let m be (-3 + -1)/((35/10)/7). Suppose 2*s + 5*n = 18 - 4, 0 = 3*s + 5*n - 11. Which is smaller: m or s?
m
Let j = -60205017/736 + 163601/2. Let g = j + -4/23. Which is smaller: -1 or g?
-1
Suppose 0 = 2*b - l + 515, 0 = -3*b - 3*l + 2*l - 760. Which is greater: b or -253?
-253
Suppose -9 = 5*s + 16. Let b be (-6)/(-2) + -10 + s. Suppose -5*p + 0*h = 3*h + 80, 5*p - 3*h = -50. Which is greater: b or p?
b
Let y = -6503 + 32223/5. Is y smaller than -57?
True
Suppose 0 = -4*g + 9*g - 5*o + 7560, -4*g + 5*o = 6046. Let y = -27259/18 - g. Do -1 and y have the same value?
False
Suppose -3*r - 2*t = -1301, 9*r - 4*t = 7*r + 878. Is r greater than 435?
False
Suppose 5*s - 2*s = 6. Suppose -3*j - 15 = -s*y, -4*y + 27 = y - 4*j. Let n = -5 + y. Is n smaller than -5?
False
Let a = -32/21 + 692/399. Is 1.2 not equal to a?
True
Suppose -158 = 4*z - 58. Suppose -w + 3*u + u - 21 = 0, 0 = 5*w + 2*u + 127. Is z at least w?
True
Let b = -314 + 318. Suppose 2 = m + m. Let j = m - -4. Is j less than or equal to b?
False
Let g be 5 - (5 + -3) - 0. Suppose 7 + 8 = g*t. Are t and 7 non-equal?
True
Let x = 4507/4 - 1134. Let i = 133/20 + x. Do i and 0.1 have different values?
True
Let l = -0.29 - -0.09. Do l and 17 have the same value?
False
Let q = 1.44 - -0.26. Let k = q - 29.7. Are -1 and k nonequal?
True
Let p = 417/2 + -208. Let o(a) = a - 5. Let s be o(7). Which is smaller: s or p?
p
Let m = 0.049 - -0.021. Let v = -45.93 - m. Is v <= 2/3?
True
Let n be 3/(81/(-222)) - -4. Let q be (-122)/(-18)*(-20)/(-25). Let z = q + n. Is z at most 2?
True
Suppose o + 1580 = -5*h, 2*h + h + o + 950 = 0. Let r be (-2)/6 - 69/h. Which is smaller: 0 or r?
r
Let p be (-2)/(4/(-162)) - 2. Is 82 greater than p?
True
Suppose 6*s - s + 3*j = 99, 0 = -3*s + 5*j + 73. Suppose 0 = 2*z - z - s. Suppose 3*v + 6 = 0, z = -3*h - 0*v + 3*v. Which is bigger: h or -8?
-8
Let a = 163 - 235. Which is smaller: a or -71?
a
Suppose -2*c - 3 = 3. Let o be -4 + (4/(-16))/(1/8). Which is greater: c or o?
c
Let i(x) = 14*x - 56. Let l be i(3). Let p = 1.1 + -1.2. Which is smaller: p or l?
l
Let z(t) = -t - 10. Let p be (-18)/(-21)*7*-1. Let h be z(p). Is 5 != h?
True
Let t(r) be the second derivative of -r**5/20 + 2*r**4/3 + r**3/6 + 13*r**2/2 + 21*r. Let l be t(7). Does l = 70?
False
Suppose 2*g - 2 = 3*h - 13, 5*g + 17 = -3*h. Which is greater: -3/14 or h?
h
Let q = -13 + 22. Suppose 5*i = -2*y + 36, 3*i + 5*y - 39 = -i. Suppose -i*n = -n - 5. Which is bigger: n or q?
q
Let b(h) = 121*h**2 - 4*h - 3. Let r be b(-1). Is r at most as big as 122?
True
Let k = 0.736 - 0.736. Is -8/3 equal to k?
False
Let b = 268.7 - 269.33. Are -6 and b unequal?
True
Let g = 57 + -58. Let a be (-15)/30 + 2/36. Is g > a?
False
Let p be ((12/(-34))/(-2))/3. Let s(i) = 2*i**2 - 44*i - 47. Let z be s(23). Which is smaller: z or p?
z
Let s = 4 - 2. Let a be 15/10*s/(-3). Let j = 966 + -969. Is j < a?
True
Let z = 3 - 5. Suppose -96 = -6*l - 0*l. Suppose -11*k = -l*k - 30. Which is bigger: k or z?
z
Suppose 0 = x + x - 4. Suppose 2*c - 5*r = -33, -3*r - x = -c - 19. Let q be ((-1)/2)/((-7)/c). Is 1/4 < q?
False
Let h = 3 + -3.1. Let b = h - -0.09. Suppose -2*c - c = -4*c. Is c less than b?
False
Let s(r) = 76*r + 224. Let h be s(-9). Is h > -459?
False
Let t(c) = c**3 + 7*c**2 - 21*c - 4. Let j be t(-8). Which is smaller: j or 103?
j
Let q be (-2779)/5 + 41/(-205). Which is greater: q or -555?
-555
Let o = 0.2 + -0.5. Let v = -0.7 + o. Let s = 537 + -537.3. Which is smaller: v or s?
v
Let p = 367/150 + 4/