 2 - 1. Suppose 2*i - 12*i = 0. Is i less than t?
True
Let l = 4 + -2. Let x be (l/(-6))/((-1)/(-9)). Let c(b) = b**2 - 7*b + 6. Let h be c(5). Which is smaller: x or h?
h
Let w be 19 + (-2 - (-4)/(-2)). Suppose 4*c + c = w. Let a = -4 + 8. Is c equal to a?
False
Suppose -4*v = 4*u + 56, -v - 6 = 5*u + 12. Let d = 15 + -28. Is v at most d?
True
Let v = 0.04 - 0. Let n = v - 0.1. Let k = 0.06 + n. Are k and 2/13 non-equal?
True
Let f be -1 + 12/4 + -3. Is f smaller than 1/21?
True
Let h be 5*3/(-585)*-6. Is 0 greater than or equal to h?
False
Let k = -1 - -0.9. Let w(b) = b**2 + 5*b + 4. Let r be w(-9). Let o = -598/15 + r. Is k at least as big as o?
False
Let n = 78 - 67. Which is greater: 12 or n?
12
Let u = -62/315 + -4/45. Let n = 7 - 8. Let c = n + 1.3. Do u and c have the same value?
False
Suppose q = 4*a + 1, 0 = -a + 3*q - 5*q + 2. Let j be (-8)/(-7)*2/4. Which is greater: a or j?
j
Suppose -6 = -3*p - 3. Let k be 27/21 - (-4)/(-14). Let t be (-1)/4 - k/(-2). Which is smaller: t or p?
t
Let z = -3 - -2.9. Let i = -7 + 10. Let q = -2.8 + i. Is z greater than q?
False
Let b(t) = 4*t - 5. Let a be b(5). Let s(v) = 5*v**2 + 6*v + 6. Let h be s(-2). Which is smaller: h or a?
h
Let a be 3/((-6)/(-4) - 0). Let n be ((0 - 4) + 2)*-1. Does a = n?
True
Let m be -1 - (-14 - (-12)/4). Which is bigger: 11 or m?
11
Let y(w) = -3*w + 0 + 2*w - 3. Let l be y(-4). Which is greater: l or 4?
4
Let r = 1 - 1. Let s = 384/7 + -324/35. Let l = s - 46. Which is smaller: l or r?
l
Let t = 0.1 - 0.1. Is t smaller than -11?
False
Let y be 1 + 21/12 + -3. Let p = -0.2 + 0.5. Let c = p - 0.2. Is c greater than y?
True
Suppose 0 = n + n + 5*o + 23, 0 = -5*n - 4*o - 32. Let p be -1 + (-2)/n*2. Let l(t) = t**2 - 10*t + 24. Let z be l(6). Is z equal to p?
True
Let z = -6.9 - -8. Let l = -0.9 - z. Which is greater: l or 0.2?
0.2
Let r be (-1)/(3 - (-123)/(-42)). Which is bigger: -1/2 or r?
-1/2
Suppose -18 = -4*t + 10. Suppose 0 = 3*o + 3*s + 11 + t, 0 = -3*o + 3*s. Is -3 bigger than o?
False
Suppose -5*w = 11 - 36. Let u = 10 + w. Is u at most 16?
True
Let f = -258.89 + 261. Let j = 0.11 - f. Let o(p) = -p + 5. Let q be o(5). Which is smaller: q or j?
j
Let h(i) = -i + 9. Let f be h(7). Suppose 5*p = 20, 4*y - f*y + 3*p = 14. Which is smaller: y or 0?
0
Let q be (-4)/(-6)*3 - 2. Suppose 2 = -0*a + 2*a. Which is smaller: q or a?
q
Let w be (0/(-3))/2*1/(-2). Let a be 4/(-8) + (-1)/2. Let p = -1 + a. Which is bigger: p or w?
w
Let d = -27.75 - -23. Let t = -5 - d. Let v = 0.05 - t. Do 1 and v have the same value?
False
Suppose -4*v = -15 - 41. Which is bigger: v or -2?
v
Suppose -3 = -c + 4*j + 6, 2*j = -6. Is c greater than -3?
False
Suppose 4*h = -h + 320. Suppose -3*w - w = -h. Let d be 4/12 - w/(-6). Is d greater than 0.1?
True
Let u = -10 - -29. Is 19 > u?
False
Suppose 4*r + r - 4*t = 265, 5*r = -3*t + 230. Are 48 and r nonequal?
True
Let l = 13 + -34. Let k = 4 + -3. Do k and l have different values?
True
Let h(k) = k**3 - k + 3. Let z be h(0). Suppose -b - 20 = z*b. Is -5 greater than or equal to b?
True
Let s(y) = y + 3. Let x be s(-6). Is x != -9?
True
Let u = 153/56 - 6/7. Which is smaller: 1 or u?
1
Suppose 0 = 33*n - 21*n. Let u be (-15)/17 - 2/(-2). Which is smaller: u or n?
n
Suppose -3*l = 3*j - 2*l + 13, -14 = 4*j - 2*l. Let x be (j/6)/((-8)/60). Which is smaller: 4 or x?
4
Let w = -0.31 + 0.61. Which is smaller: 8 or w?
w
Let j = 8 + -3. Let l = 4.8 - j. Do -0.1 and l have the same value?
False
Suppose 7*s - 3*s - 45 = -3*l, -4*s + 43 = 5*l. Let q be 4/6 + s/(-45). Is q at most as big as -9?
False
Suppose 5*u - 8*u = -9. Which is smaller: u or 5?
u
Suppose 0 = 3*i - 8*i - j + 3, 5*i + 3*j - 9 = 0. Is i bigger than -5?
True
Let t be 3/(-3)*(5 - 53). Which is bigger: t or 49?
49
Let a(s) = -16*s - 1. Let c be a(-1). Let v be c/(-36) + (-12)/(-16). Which is greater: v or 0?
v
Let c(i) = -i**3 - 6*i**2 + 9*i + 10. Let d be c(-7). Let p = -9 + 22. Suppose 0 = v - 3*v - 5*h - p, -2*v - 5 = -3*h. Is v smaller than d?
False
Let f be -1*(-5)/3*3. Let i = f + -12. Do i and -7 have different values?
False
Let k be 32/5 - (-8)/(-20). Suppose 0 = -p - p - k. Let j be 57/(-117) - 1/p. Is 0 <= j?
False
Let k = 4857 + -29069/6. Let v = k + -77/6. Which is smaller: v or 0?
v
Let u(z) = -z**2 + 4*z + 3. Let a be u(4). Suppose 5*b + 19 = b + g, 4*b + 9 = a*g. Let r be 4/b - (-8)/(-60). Is -2 greater than or equal to r?
False
Let d be 1 + -2 + 0/(-2). Which is smaller: 0 or d?
d
Let l be (-514)/(-39)*(-75)/10. Let u = 99 + l. Which is greater: -2/7 or u?
u
Let l = 5 + -3. Let n = -5 + 3. Let r be 4/8 + (-7)/n. Which is greater: r or l?
r
Let s(q) = -q**2 - 7*q - 4. Let w be s(-6). Suppose -16 = 3*h - 7. Let m = w + h. Which is smaller: m or 1?
m
Let x = -0.1 + 0.2. Let h = 19 + -18.7. Which is bigger: x or h?
h
Let d = 1 - -1. Suppose 8 = d*v - 0. Let m be 6/v*4/(-10). Which is bigger: m or -2?
m
Suppose -3*j - 32 = 2*t + 2*t, -4*j = -3*t + 76. Let o be (-1)/(j/14 + 1). Which is greater: 8 or o?
8
Let y be (13 - 12)/(1/(-1)). Which is smaller: -3 or y?
-3
Let w = 15187/26 + -584. Which is smaller: 0 or w?
0
Let g = -0.16 - 1.34. Let p = g - 2.5. Is p at least as big as 0.1?
False
Let r = -9 + 9.9. Let f = r - 1.1. Let c = -0.1 + f. Is c at least as big as -0.2?
False
Let t = 718/30285 + -1/673. Is -1 at least as big as t?
False
Let s = 7.5 - 6. Which is greater: 0.1 or s?
s
Let u = -3 + -1. Let p(o) = o**2 + 3*o - 5. Let q be p(u). Are -1/8 and q non-equal?
True
Let f(x) = -x**2 + x + 8. Suppose c - b + 12 = 2*b, -20 = -5*b. Let j be f(c). Let q = -4 + j. Does q = 3?
False
Let t(x) = x - 8. Let m be t(13). Suppose m*l - 7 = -12. Is -2 greater than l?
False
Let i = -0.2 - -0.6. Let c = i + -7.4. Let l = c - -7.2. Which is greater: l or 0?
l
Let g = -4.05 - -0.05. Let n = g + 2. Is n smaller than 0?
True
Let f be ((-6)/(-3) - 12)*2. Let u be ((-2)/(-8))/(f/8). Which is greater: u or -1?
u
Let a be 2*((-4)/((-16)/6))/129. Is 1 at least a?
True
Suppose -3*r - 4*b = 1 - 8, 0 = -4*r - 5*b + 10. Suppose -r = 3*t + 5*m, -4*t + 3*t + 5*m = -25. Suppose 0 = 2*v + 3*v + t. Is 5 > v?
True
Let m be 177/(-12) + 2/(-8). Let r = 23 + m. Suppose -5*v = -a - r - 10, a = -3. Is v at most as big as 3/2?
False
Suppose 0 = 3*v - 13 - 2. Let d be 3/v - 0 - 1. Is 0 != d?
True
Suppose 5*l - 7 - 13 = 0. Let q = l - 5. Which is greater: -3 or q?
q
Suppose 5*p = 2*p. Suppose p*l - 5*l = 0. Let b = 1 - 2. Which is smaller: l or b?
b
Let h be (-4)/(-6) - 5/3. Let x = 2.05 - 0.05. Let o = x + -1. Is o at most h?
False
Let z be (-4)/(-6) - 16/12. Suppose 2*y = 2*j - 8, -2*j + 5*y + 18 + 2 = 0. Which is smaller: z or j?
z
Let k = 68 + -69. Is k < -62?
False
Let g be 1*2*(-1)/7. Suppose 4*r + 24 = 104. Let s = r - 20. Does s = g?
False
Let n = 73 + -28. Let v be (20/n)/((-4)/6). Is v < 0.5?
True
Suppose -30 = -4*w + w. Suppose -3*g + j = -w - 0, 0 = -g + 4*j - 15. Which is greater: g or 6?
6
Let o(p) = 7*p**3 - p**2 + p - 1. Let g be o(1). Suppose g*y - y + 10 = 0. Are -3 and y non-equal?
True
Let h(t) = -t**2 - 12*t - 42. Let o be h(-7). Let d be (-112)/18 - 4/(-18). Which is bigger: o or d?
d
Let i = -68 + 66.8. Which is bigger: i or -2?
i
Let m = 8698813/3060 + -11371/4. Let u = 56099/1530 - m. Let i = u + -37. Are -1 and i non-equal?
True
Let b = 0.46 + 9.54. Let d = -7.41 + -2.54. Let i = b + d. Is i > 0?
True
Let q = -1.6 + 1.1. Let i = -1.5 - q. Is i smaller than 0.07?
True
Suppose 0 = 3*d + 3*r + 3, 5*d + 0*r = r + 7. Which is bigger: d or -1/7?
d
Suppose -5*b = 4*b - 54. Let l be -2*1*10/(-4). Is l smaller than b?
True
Let o(a) = -6*a. Let m be o(-1). Let t be m/(-15) + 27/5. Suppose x - t = -1. Are 4 and x non-equal?
False
Let h be (-88)/48 - (-6)/4. Let y = 0 + -1. Is y less than or equal to h?
True
Suppose -38 = 2*n - g - 1, -n - 5*g - 46 = 0. Is -21 less than n?
False
Let s = 31.33 - 29.3. Let c = s + -0.03. Is c equal to 0?
False
Suppose -22*c = -12*c. Is c greater than -6/115?
True
Let w(v) be the first derivative of 5*v**4/4 + v**3/3 - v**2 + v - 3. Let a be w(1). Let s = -5 - -9. Is a < s?
False
Let o = 0.13 + 0.01. Let h = -2.86 - o. Do -0.1 and h have different values?
True
Let r be -1 - (3/3 + -4). Suppose -r + 1 = y. Is -7 >= y?
False
Let d(m) = -m**3 - 7*m**2 + 7*m - 10. Let l b