*i = 2*x + i - 49. Is 20 < x?
False
Let n = 0.06 + -0.36. Let l = -0.3 - n. Let o = 0.08 - 0.38. Which is smaller: l or o?
o
Let i be ((-26)/(-91))/(3/(-7)). Let d(r) = -r**2 - 5*r - 4. Let k be d(-3). Let p be (-9)/(-3)*k/(-3). Which is bigger: i or p?
i
Let f = -47 + 48. Do -0.7 and f have the same value?
False
Let c = 0.62 + 3.38. Is c greater than or equal to 1/2?
True
Let j = 143 - 142. Is j less than 1?
False
Let d be (3 - 1) + 23 + -26. Which is smaller: 0.2 or d?
d
Let r = 108.1 - 108. Which is smaller: r or 94?
r
Let p be 76/8 + 1/2. Let t = 10 - p. Which is bigger: t or 1/19?
1/19
Suppose -3*c = 10*u - 5*u + 63, -4*c = u + 67. Is c bigger than 2/7?
False
Let x be (-77)/(-216) - (-9)/(-24). Is x at most 0?
True
Let a be 2 - (2 - (-1 - 0)). Is a at least as big as -1?
True
Let c = -48 - -48.19. Let v = c - 0.09. Let a = 6 - 6.3. Which is smaller: v or a?
a
Let k = 36.9 + -35. Let f = k - 2. Which is smaller: f or -2?
-2
Suppose -5*c + 4 = 2*x, 3*x - 2*c - 6 = -6*c. Suppose x*q - 1 = 5. Is q > 2?
True
Let o = -5/79 - -351/553. Let v = -2 - -2. Are v and o unequal?
True
Let m = -29 - -81. Suppose 0*z = z + 5*t + 12, 3*t = 5*z - m. Is z bigger than 8?
False
Let v(w) = -3*w**3 - 9*w**2 + 2*w + 8. Let z(m) = -m**3 - 3*m**2 + m + 3. Let p(y) = 3*v(y) - 8*z(y). Let o = 4 + -6. Let j be p(o). Which is smaller: j or -1?
-1
Let d be (-33)/(-7) + -5 + (-6)/(-21). Which is smaller: d or 86?
d
Let r = 23 - 27. Which is smaller: 0.2 or r?
r
Let o = -30069 - -180941/6. Let i = -88 + o. Which is smaller: 0.1 or i?
i
Let b = -4 - -46. Which is smaller: b or 41?
41
Suppose 4*y - 3 = -3*s, -3*s + 5 = 2*s - y. Let w be -9*(4/3 - s). Let p = 0 - 2. Is w < p?
True
Let a(l) be the third derivative of l**5/60 + l**4/24 - 5*l**3/6 + 2*l**2. Let p be a(0). Is p < -4?
True
Let u(q) be the first derivative of q**3/3 - 7*q**2/2 + 3*q - 6. Let w be u(8). Is w < 10?
False
Suppose 0*r = 2*y + 3*r + 9, 5*r + 15 = -2*y. Let i = 4082/15 - 272. Which is smaller: y or i?
y
Let b = -7 - -13/2. Let n be (-40)/28 - (-4)/(-7). Which is greater: n or b?
b
Let r be (-2)/5 - 10/(-25). Suppose -2*y + 1 = -l, 3*y + r*l + 2*l = 5. Is 1 bigger than y?
False
Let l = 2 + 2. Suppose -n - 19 = l*v - 5, -v + 2 = 3*n. Does v = -4?
True
Let i = 4/171 + -1070/1881. Which is greater: -2 or i?
i
Let x be (2/6 + -3)/((-2)/(-3)). Which is smaller: x or 0?
x
Let l = -5 - -5. Which is bigger: l or 2/29?
2/29
Let n = -1951 - -29243/15. Let p be 38/(-35) + 12/42. Let x = n - p. Is x at most 0.1?
True
Suppose 25 = 3*c + 2*n, -3*n - 2*n - 5 = 0. Suppose -c + 54 = 5*m + w, w + 55 = 5*m. Is m less than 9?
False
Suppose -4*y + 22 = 2*r, 5*y - 4*r - 10 = -3*r. Suppose t + 0 = -y. Let p be -2 - (t - 3/(-1)). Is p less than or equal to -2?
True
Let z be (-1 + 7/4)/(168/2). Is -1 != z?
True
Let d(n) = -n**2 - 6*n + 2. Let x be d(-6). Let w be 3 - (x + -1 + -1). Suppose -w*u + 2 = k - 9, -9 = -2*u - k. Are u and 1 non-equal?
True
Let f = -22 + 12. Let w = f - -11. Is w < -1?
False
Let n(x) = -4*x + 7. Let p be n(2). Which is bigger: p or -2/29?
-2/29
Let u = 0.012 + 0.428. Which is smaller: -1 or u?
-1
Let h be 4/14 - (-58)/(-7). Let r = h - -5. Let k be (6/r)/(1 - 0). Is k != -2?
False
Let n(f) = 6*f**2 - 4*f**2 + 2 - 3*f**2 - 7*f. Let x be n(-7). Let r be 0/(-3) + x/6. Which is greater: 0 or r?
r
Let h = -37 + 54. Is 16 at least h?
False
Let f be 2/5 + (-15)/(-25). Which is bigger: -4/23 or f?
f
Suppose 11 = -6*s + 29. Let h = s + -1. Is h not equal to 0?
True
Let f be (-2)/5 - (-12)/(-20). Let j be 5/(-3) + f/3. Is j greater than -2?
False
Let q = 34.9 + -37. Let s = -0.02 + -1.98. Let x = s - q. Which is greater: -4 or x?
x
Let b = -5 - -4.9. Let h = 17.2 + -11.5. Let m = h - 6. Which is smaller: m or b?
m
Let u be 86/(-132) + 6/(-33). Is u at most -1?
False
Let o = -48 - -47.79. Which is greater: o or -0.1?
-0.1
Let n = -649 - -4493/7. Let i be 3/(-1)*(-1371)/567. Let t = i + n. Which is smaller: 0 or t?
0
Let i be (-9 - -5) + (-1)/1. Is i less than or equal to -6?
False
Suppose -8 = 4*q, m + 4*m - 3*q = -14. Let f = 8/9 + -61/18. Which is greater: m or f?
f
Suppose 7*k = 11*k + 8. Is k < -17/5?
False
Suppose 4*h - 2*w = -44, h + 3*w - 3 = -7. Is -10 at least h?
True
Suppose -b + 5*b = 2*g, 0 = -3*g. Let f be (b - -3 - -14) + -3. Let o be 8/f - (3 + -2). Which is smaller: -1 or o?
-1
Let d = -110 - -108. Which is bigger: d or -16?
d
Let z be 59/90 - (-9)/(-15). Is z != -1?
True
Let m be (2 - (-17)/(-9))*4. Let s = -1/18 - m. Let j = -155 + 1087/7. Which is smaller: s or j?
s
Suppose -x - 3 = 6. Let j be -12 - (-3)/(-15)*5*-4. Which is smaller: j or x?
x
Suppose 0 = 4*f - 8 - 8. Suppose 0 = -6*t + 3*t - 12, -t + 28 = 4*r. Suppose 2*n - r = 3*o, 4*o = -o. Is f at least n?
True
Let a = -0.02 - -4.02. Let q = -3.9 + a. Which is bigger: 3 or q?
3
Let c(h) = -h - 1. Let g be c(-8). Which is smaller: 6 or g?
6
Let p be 2/(-5) - 22/(-5). Suppose -2*d + n + 7 = -0*n, p*n = -3*d - 17. Let h be d/(-5) + (-16)/(-5). Is 2 smaller than h?
True
Let o(v) = v - 6. Let a be o(-6). Let k be 2*-14*3/a. Suppose 0 = k*c - 4*c + 3. Which is smaller: -1/11 or c?
c
Suppose 267 = -3*w - 3*y, 14 = 4*w + 2*y + 368. Do -88 and w have different values?
False
Let y = 244/7 - 35. Is y <= 0?
True
Let b = 26987/35 + -771. Let q be ((-45)/10 - -4)*0. Which is smaller: q or b?
q
Suppose 9*s - 19 = 8. Which is greater: 8/5 or s?
s
Suppose -c + 2 = 2*c - f, -2*c - 17 = 3*f. Suppose 3*q = -2*q - 10. Is c >= q?
True
Suppose -2*c + 5*c = -4*g - 126, 2*c - 3*g + 84 = 0. Let n = 33 + c. Suppose 6 = j + 14. Is j greater than n?
True
Suppose 3*u = -2*w + 42, 0 = -5*u - 2*w + 22 + 44. Let a(c) = 35*c + 152. Let k be a(-4). Is k smaller than u?
False
Let i = -0.27 + -0.32. Which is bigger: -1 or i?
i
Let a be (-2)/(-9) - (-784)/(-612). Let b = -164/187 - a. Is 1 >= b?
True
Let j(x) be the third derivative of -x**6/120 - x**5/6 - 5*x**4/12 - 4*x**3/3 + x**2. Let b be j(-9). Is 1/12 > b?
False
Suppose -o = -12 + 4. Let k = o + -10. Let g be 8/(-6) + (-10)/15. Are g and k unequal?
False
Let j be (807/(-795) + 1)*(5 - 0). Which is smaller: 1 or j?
j
Suppose 11*y + 19 = -3. Let x = -2 + 3. Is x bigger than y?
True
Let x be ((-6)/(-14270))/(2/5). Let k = x - 194087/14270. Let o = k + 14. Which is smaller: o or 1?
o
Let z = 4 + -22. Let d = z - -15. Is -5/3 != d?
True
Let k be (-1072)/(-36) + 6/27. Let o be (-4)/(-26) - k/26. Which is bigger: -3/13 or o?
-3/13
Suppose -b + 0 = 1. Let u(k) = -4*k**3 + k. Let y be u(-1). Suppose y + 1 = -4*c. Is b at most c?
True
Let w = 0 + 0. Let p = w - 0. Suppose -4*s = -7 + 11. Which is smaller: p or s?
s
Let l = -20 + 19. Let a be (-2)/(1*7/2). Which is bigger: l or a?
a
Let d = 7.3 + -12.3. Is -11 at most as big as d?
True
Let j be 1/(-2)*1/((-3)/438). Do 71 and j have the same value?
False
Let q(b) = -3*b + 5. Let u be q(2). Let v(i) = 0*i - 3*i + i. Let k be v(u). Which is smaller: 1 or k?
1
Let i be (-1)/((-4)/56) - 2. Let v be (-3)/i - 15/(-28). Which is smaller: 0.2 or v?
0.2
Let p = -20 + 6. Do -15 and p have different values?
True
Let n = 0.03 - -0.37. Let i = n - -0.6. Which is smaller: i or -0.6?
-0.6
Let o be (-13)/(-3) + 2/3. Suppose -3*a = 4*n - 0*n - 4, -5*n - 26 = -4*a. Which is bigger: a or o?
o
Let i(m) = -m**2 + 2*m + 3. Let c be i(3). Let h be 1*(-1 + -1) + 5/3. Are h and c equal?
False
Suppose 6*t = -t - 7. Which is bigger: 2/35 or t?
2/35
Suppose d - 2 = 7. Let u be 7/(-3) - d/(-3). Which is smaller: 2 or u?
u
Let h be 3/(-4) - 3/(-4). Suppose -5 = -h*j + 5*j. Which is bigger: j or -2/27?
-2/27
Let g = -4.191 - 0.009. Let k = g + 4. Which is bigger: k or 1?
1
Let d = 137 + -136.2. Let p be 2 - (2 + 2/(-6)). Which is bigger: d or p?
d
Let g = -50 + 41. Are -0.1 and g nonequal?
True
Suppose 12 = 5*u - 3. Let r(f) = 2*f**3 + 3*f + 0*f - u*f**3 + 3*f**2 + 5. Let x be r(4). Do x and 1/3 have different values?
True
Suppose -6*m = -3*m. Which is greater: m or 1/2?
1/2
Suppose 29*r - 8 = 25*r. Let q be (0 + -1)/((-2)/2). Is r bigger than q?
True
Let o = -97 + 103.11. Let f = -0.11 + o. Which is smaller: f or 0?
0
Let f be 8/(-10)*(-579)/12. Let i = 38 - f. Suppose 0 = 3*r + 2 + 1. Which is smaller: r or i?
r
Let q be 0 - (1 + (-3)/3). Suppose 2*b = -q*b - 4. Let i be b/7 - (-10)/(-14). Is -0.1 < i?
Fa