/12. Is -10/13 bigger than q?
True
Let m be 0 - -9*6/(-8). Which is smaller: -7 or m?
-7
Suppose 12*z + 11 = 11*z. Is -9 at most as big as z?
False
Suppose q + 6 = 2*b, 4 = -4*q - b + 7. Are q and -2 nonequal?
True
Let v = 3 - 7. Let j = 7 + v. Let d be (-16)/(-5) - (3 - 28/10). Is d > j?
False
Let v = 84/2987 - 10/103. Which is smaller: v or 1?
v
Let o be 6/21*(-84)/(-372). Does o = 1?
False
Suppose 3*x = 4*x - 2. Suppose -5*t + 5 = -2*a - 2*a, -4*t + x*a = -4. Let o be (4/(-6))/((-10)/6). Is o != t?
True
Let q = 0 + -2. Let k be 4 + q + (-20)/9. Which is bigger: 0 or k?
0
Let t be ((-4)/130)/((-4)/(-40)). Which is bigger: t or -1?
t
Let s = 0.041 - 0.041. Let k = 0.1 - 0.1. Is s at least k?
True
Let q = -57 + 56. Which is bigger: q or -1/137?
-1/137
Let l = -3 - -4. Suppose -r + 0*t = -2*t + 5, -r + 4*t - 9 = 0. Which is smaller: l or r?
r
Let k = -1 + 1. Suppose k = i + 4*v + 11 - 46, -5*i + 5*v = -50. Suppose 0 = -4*z - z - h - 20, -i = 5*z + 2*h. Is -5 less than z?
False
Suppose -3*w = m + 1 + 4, -w = -m + 7. Suppose -g = -2*t + 5, t + g - 5*g = -15. Suppose -b = 4*s - t*b, m*s = -3*b. Are 1/4 and s non-equal?
True
Let t = -9.48 + 10. Let h = -0.4 + t. Which is greater: 0.1 or h?
h
Let m = 1.2 - 0.2. Let q = -15.35 + 0.35. Let k = q - -15.1. Which is greater: m or k?
m
Let f = -4 + 6. Suppose g - 2*g - 13 = 5*k, -5*g = 5*k + 5. Suppose -g*m + 4 = 2*m. Which is smaller: f or m?
m
Suppose -k = 4, 4*k - 6 + 34 = 3*c. Let d be c/(1 - -1)*-1. Do -2 and d have different values?
False
Let c = -0.13 - -0.3. Let h = c + 0.03. Suppose -4*t - 2 - 2 = 0. Which is bigger: t or h?
h
Let w(i) = i**2 - 4*i - 13. Let p be w(6). Which is smaller: 6 or p?
p
Let r be (-230)/(-3) - 12/18. Let s = r - 455/6. Which is bigger: s or 1?
1
Suppose -d = -4*n + 13, 6*n = 4*d + n + 19. Let a be (d/(-1) + -2)/(-1). Let c(f) = -f**2 + 7*f - 4. Let q be c(6). Is a != q?
True
Let r = -9 + -3. Let y = -13 - r. Let h be ((-40)/(-18) - 2)/1. Which is bigger: y or h?
h
Suppose -3*j - 2*j = -15. Suppose -460 = -j*n - 2*n. Let o = n + -646/7. Which is bigger: o or -5?
o
Suppose 3*p - 5 = 4*u - 32, 0 = -5*u - p + 48. Let k be (4/10)/(6/u). Let s(w) = -w + 10. Let g be s(8). Which is bigger: k or g?
g
Let u = -2 - 0. Let h = 1.03 - 0.03. Let v = u + h. Which is smaller: 0.1 or v?
v
Suppose 2*c + 5 - 7 = 0. Which is smaller: c or 2/43?
2/43
Let o = 2/25 - 31/75. Suppose -1 + 8 = -4*g + 3*t, 4*t - 1 = -3*g. Which is smaller: g or o?
g
Let l be -6*(-3)/9 - 2. Let x = l - -6. Which is bigger: x or 7?
7
Suppose a = 4*a. Suppose -s - 3*p + 1 = 0, 0 = 5*s + 2*p - 22 + 4. Suppose -2*b + 2*h = 12, -s*b + 2*b - 2*h + 4 = 0. Is b equal to a?
False
Suppose 0*r = 10*r. Which is greater: 1/71 or r?
1/71
Let z(k) = 5*k**3 - 20*k**2 - 3*k. Let v(a) = -3*a**3 + 13*a**2 + 2*a. Let c(i) = 8*v(i) + 5*z(i). Let b be c(-3). Let m = -10 + b. Which is smaller: -3 or m?
m
Let t(f) = 2*f - 4. Let u be t(4). Let c = u - 2. Is c smaller than 5/9?
False
Let o(x) = x**2 - 5*x + 4. Let s = 1 + -1. Let m = 4 - s. Let j be o(m). Is j smaller than 5/4?
True
Suppose 0*d = 4*b + 2*d + 6, d + 3 = 0. Let c = 10 + -7. Suppose -7 = t + 2*w - 0, -5*t - c*w - 7 = 0. Is t bigger than b?
True
Suppose n + 3 = -0*b + 2*b, -n = 3*b + 8. Is b smaller than 2?
True
Let t be (6/(-4))/(6/8). Let r be -2 - -4 - (3 + t). Which is smaller: r or 2/9?
2/9
Let b = -6 + 8. Suppose 5*t - 3*w - 18 = 0, 4*t - 18 = 2*w - b. Let u = -7 + t. Which is greater: u or -2?
u
Suppose -7*r + 3*r + 8 = 2*h, 0 = -5*h - 5*r + 15. Let c = 3 + h. Suppose 5 = c*j + 15. Are -0.1 and j equal?
False
Suppose 3*w - 3*s + 0 - 9 = 0, -5*s + 33 = w. Let f be 1 + 1*-2 - -1. Suppose f*t + w = -4*t. Is -3 greater than or equal to t?
False
Suppose -9*g + 4*g = 5*p + 185, 3*g + p + 119 = 0. Is 2/3 equal to g?
False
Let v be 18/36 - (-11)/2. Suppose -g + w + 2 = -3*w, 5*w = 5*g - 10. Suppose v*n - n - g = z, -10 = 5*z. Which is bigger: -1 or n?
n
Let r be (3/(-2))/(3/20). Let x be 82/80 + 4/r. Which is bigger: x or 2?
2
Let t be ((1 - 2)*1)/1. Let x be ((-10)/3)/((-12)/(-36)). Let a be (-10)/x + 22/(-10). Which is smaller: a or t?
a
Let c = -21080308/51175 - -996/2225. Let y = 412 + c. Let l = -25/92 + y. Is l < -1?
False
Let y = -173/9 - -3281/171. Is 0 smaller than y?
False
Let z = -2.4 + 2. Let m = 0.1 - z. Let q = m + -0.4. Is -2/11 less than q?
True
Let r be (2/45)/(4/20). Let d = 4 - 3. Which is greater: r or d?
d
Let n(s) = -s + 5. Let o be n(8). Let c be o + 1 - (-20)/8. Let m(g) = -g**3 - 3*g**2 + 3*g - 4. Let u be m(-4). Is c at least u?
True
Let x(y) = -2*y**2 + 5*y - 9. Let o be x(3). Which is smaller: o or -13?
-13
Let n = -10/7 + 83/63. Let t be (3 - (-7)/(-3))*-18. Let v = t + 11. Is n not equal to v?
True
Let z be 0 + -8*(-1)/(-18). Do z and -1 have different values?
True
Suppose 2*h = 3*s + 8, -5*h + 20 = -0*s + s. Suppose 0 = -5*c + 3*p + 21, 5*c + 5*p - 7 = -2. Suppose x + 11 = 2*w, 0*x = -c*w - 4*x. Is w > h?
False
Let q be 3*(-4)/(68/(-1)). Which is smaller: q or 0?
0
Let r = 0.025 + 0.465. Let a = -0.15 + 0.06. Let f = a + r. Is 0.2 != f?
True
Suppose -8*l + 2*l = 0. Does 0 = l?
True
Let x be -1*(-2 + 2) + -6. Let j = x - -7. Which is greater: -1 or j?
j
Let s = 0.3 - -8.7. Is s != -2?
True
Let x(o) = o**2 + 7*o - 9. Let k be x(-8). Let d(c) = c. Let i be d(k). Is -2 at most i?
True
Let f = -13 + 18. Suppose -f*s + 3*k - 3 = 6*k, -3*s - 2*k - 2 = 0. Let z = -6122/15 + 408. Is z at least s?
False
Let t = -6 + 9. Let k = 12 - t. Let w = k + -9.2. Is 2/5 greater than w?
True
Let t = 3.2 + -3. Let o = 0.4 - t. Let c = o - 0.4. Is 0.1 < c?
False
Let a be (-24)/(1 - -2) + 2. Let u = 34 + -39. Is u smaller than a?
False
Let n = 0.01 + -0.09. Let a = -0.028 - -1.028. Which is smaller: a or n?
n
Let s(p) = -p**3 + 5*p**2. Let u be s(5). Let l(c) = c**2 + 1. Let o be l(u). Let z be (1/(-3))/((-6)/(-4)). Is z at least o?
False
Let c = -17/15 + 6/5. Let l = c + 1/15. Let g = -2 - -1. Is g at most as big as l?
True
Let y = 8 + -3. Let d = -6.85 + -0.15. Let k = d + y. Which is bigger: 1/3 or k?
1/3
Let v(c) = c + 2. Let n be v(5). Let o be ((-2)/(-5))/((-14)/n). Is 0 bigger than o?
True
Suppose 6*o = 3*o + 6. Let p be -1 - (o - (-2 - -7)). Which is smaller: 0.1 or p?
0.1
Let y(u) = -5*u + 6. Let h(n) = 6*n - 7. Let w(v) = -3*h(v) - 4*y(v). Suppose -3*t + 6 = -2*k, 4*t = t + 5*k + 6. Let i be w(t). Is 1/3 less than or equal to i?
True
Suppose 0 = 2*a - 2 - 4. Suppose -4*b - 33 = b + a*m, 2*m = -2. Which is bigger: -7 or b?
b
Let z = 4 - -18. Let d = z + -22.1. Do -12 and d have the same value?
False
Let i = -789 - -19728/25. Is 0 smaller than i?
True
Let f be -1 + -2 - 77/(-25). Do f and 0 have the same value?
False
Let k(d) be the first derivative of -5/2*d**2 - 4*d - 1/3*d**3 - 2. Let z be k(-4). Is 0 at most as big as z?
True
Let n(c) be the second derivative of 0 - 1/6*c**3 - c - 7/2*c**2. Let r be n(-7). Which is smaller: -3 or r?
-3
Let v = -37 - -52. Let s be v/12 - (-3)/(-2). Which is bigger: s or 0?
0
Let c = 20 - 23. Are -4 and c unequal?
True
Let w = -85 + 253/3. Is -2 at most w?
True
Suppose 5*r = 4 + 16. Let o(s) be the second derivative of s**4/12 - 2*s**3/3 - s**2 - 3*s. Let b be o(r). Which is smaller: b or 0?
b
Let r = 42/11 - 148/33. Let h = -3.1 + 3. Is h not equal to r?
True
Suppose -3*b - 6 = -3*u, 0 = 2*u + b + 1 + 1. Let d be (14/(-40))/(2/(-8)). Let o = -1 + d. Is u bigger than o?
False
Let k be (-2)/(-4)*-2*0. Suppose s = -2*s - 5*r, k = s - 4*r. Suppose s*y + 3*y = 0. Which is smaller: -1 or y?
-1
Let z = -26 - -20. Which is bigger: z or -27/4?
z
Let s = 0 - -2. Suppose -7*v - 10 = -s*v. Suppose 12 = 3*t - 6*t. Is t equal to v?
False
Suppose -3*o + 13 = c, -o + 3*c = 5*c - 11. Let y = 6 - 5.6. Let h = y + -0.5. Are h and o non-equal?
True
Let p = -11 - -7. Which is smaller: p or 0.1?
p
Let a(k) = 6*k - 7*k + 3 - 2*k + 2*k. Let t be a(6). Which is smaller: t or -5?
-5
Suppose 2*m + 4 = m. Suppose 0 = 2*k - 3*j + 4*j + 7, 5*k - 5*j - 20 = 0. Which is bigger: k or m?
k
Let r = -0.12 - -0.06. Let a = r + -0.14. Is a smaller than -0.2?
False
Suppose 120 = 3*r - r. Let o be 5/r*6/(-4). Which is smaller: 1 or o?
o
Let o be ((-294)/99 - 0) + 3. Is o >= 0?
True
Suppose 0 = -5*u + 25, -7*u - 17 = -3*h - 8*u. Which is smaller: h or 10?
h
Let 