ter: t or h?
t
Let s(a) = -3*a + 1. Let v be s(-1). Let i = 0 - -0.1. Let l = i + -1.1. Is l smaller than v?
True
Suppose -4*d = -3*m - 23, 4*d - 3*m - m - 24 = 0. Suppose -d*x + 20 = -20. Are x and 8 equal?
True
Suppose 5*q - 4*k = -38, -4*q - 3*k + 22 = 71. Let l = -5 - q. Suppose l*v + h + 18 = 0, 3*v = 4*h + 3 - 0. Are -2 and v unequal?
True
Let u be (-1)/(-2)*(-24)/30. Let k = 1 - 0. Let m be 1 + (2 - 2 - k). Is u equal to m?
False
Suppose 0*j = -0*j + j. Let l(g) = -g**3 - 10*g**2 - g. Let d be l(-9). Let u = -363/5 - d. Which is greater: j or u?
j
Let g be -2*(67/2)/1. Let n = g + 21. Let u = n - -183/4. Is 1 at least u?
True
Suppose 29 - 27 = 2*w. Which is smaller: 2/45 or w?
2/45
Let i be 8 + ((-5)/1 - -3). Let h be ((-4)/i)/((-20)/90). Let k(a) = -2*a - 3. Let s be k(-4). Which is smaller: h or s?
h
Let z be 12 + -8 + (-10)/(-14). Is 6 less than or equal to z?
False
Let k = -0.975 + -0.025. Which is greater: 12 or k?
12
Let u be 0 + 2 + 8 + -5. Let r(j) = -j**3 + 4*j**2 - 3. Let b be r(3). Which is smaller: u or b?
u
Let x be (-9)/(-21)*(-196)/8. Which is smaller: x or -12?
-12
Let m = -0.09 - -0.11. Let q = 0.08 + m. Are q and -1/3 non-equal?
True
Suppose -5*k = 3*s - 3*k - 199, 4*s + 4*k - 264 = 0. Let g = -624/5 + s. Let v = g - -58. Which is smaller: v or -1?
-1
Let z = -116 - -121.3. Let s = -0.3 + z. Let h = -1 + 1.1. Which is smaller: s or h?
h
Suppose -2*s - s = 0. Suppose 2*o + o = s. Which is greater: 1/20 or o?
1/20
Let z(d) = -d - 1. Let k be z(-6). Suppose 20 = 5*u + 5*s, -6 = -3*u + k*s - 2*s. Suppose -f - 2 = -u*f. Is f >= 1?
True
Let d = -27 + 325/12. Let z(k) = k**3 - 5*k**2 + 4*k. Let g be z(4). Do g and d have the same value?
False
Let j = 0.03 - 2.03. Let m = 2 + j. Let d = 152 + -1062/7. Does m = d?
False
Let s = 20/7 + -59/28. Let q(x) = x**2 + 10*x + 9. Suppose -2*d = -3*a + 2*a - 7, 0 = -2*a + 5*d - 13. Let o be q(a). Which is bigger: o or s?
s
Let t be -5*(156/75 - 2). Which is smaller: t or 5/4?
t
Let h = -10 + 10. Do h and -1/7 have the same value?
False
Suppose n - 3*n = -4. Let c(s) = 14*s + 2. Let q be c(2). Let w = -59/2 + q. Are w and n equal?
False
Let y = 0.3 - 0.4. Let r = -16 + 15. Are r and y equal?
False
Let s(y) = -y**2 - 4. Let u be s(0). Let m = u - -5. Suppose m = 3*w - 5. Which is greater: w or 3/5?
w
Let s = 0.08 - 0.38. Let r = -3.3 - s. Let m = r - -4. Which is bigger: 4 or m?
4
Suppose -3*l + 6*l + 9 = 0, 2*y = -l - 9. Let v = -2 + -2. Are v and y equal?
False
Let c(i) = i**3 - 2*i**2 - 3*i + 1. Let h be c(3). Suppose -2*m - 6 = m, 40 = 4*u + 4*m. Let w be (2/(-16))/((-9)/u). Which is smaller: w or h?
w
Let q = -2 + -2. Suppose -5*c - 17 = -s - 2, -3*s + 5*c = -45. Let u = 11 - s. Is u >= q?
True
Let s be (-3 + 5 - 2)/(-1). Suppose s = -4*d - 0 + 4. Which is bigger: -2/5 or d?
d
Let h(b) = b**2 + 6*b - 7. Let o be h(-8). Let q be (-55)/(-45) - 2/o. Suppose -q + 0 = -i. Are i and 2/15 equal?
False
Let d = -34 - -49. Is 1 smaller than d?
True
Suppose -g - g + 4 = 0. Suppose -g = 2*p - 3*r + 2*r, 0 = 4*p + 3*r - 6. Let s = 301/2 - 151. Is s at most as big as p?
True
Let p = 1 - -6. Let a = -14 + 20. Is p > a?
True
Let n(c) = -c**3 + 3*c**2 + 5*c - 3. Let w(g) = 2*g**2 + g + 1. Let i be w(-2). Suppose i - 19 = -3*x. Let r be n(x). Which is greater: 0 or r?
r
Let b = 0.07 - 0.07. Let u = 65/2 - 32. Is u > b?
True
Let r = -1.5 - -3. Let k = r - 2. Let f = k + 0.54. Which is greater: 1 or f?
1
Let r = -1.21 + 0.21. Let a = -0.3 + 0.32. Let c = a + 1.98. Do c and r have the same value?
False
Let c = 19 - 19. Which is bigger: 4/21 or c?
4/21
Let b be (-33)/21 + 7 + -5. Which is bigger: b or 1?
1
Suppose 5*m = 2*m + 5*g, 0 = -5*m - 2*g. Let u be (1 - m)/(4/20). Is 5 at most u?
True
Let q(i) = -19*i - 4. Let m be q(1). Which is smaller: -22 or m?
m
Let k = -194/9 + 3292/153. Suppose 4*s + 29 = 5*y, -4*s = -0*y + 3*y - 11. Which is smaller: s or k?
s
Let c(r) = 3*r - 4. Let y be c(3). Suppose -8 = -y*g + 7. Which is bigger: g or 1?
g
Let x = -0.3 + 0.1. Is x != -4?
True
Let p = 6 + -2. Suppose 0 = 3*v - 0*v - 27. Let g = v - 5. Is p <= g?
True
Let d = -16.08 - -15. Let f = -0.08 - d. Which is smaller: f or 0?
0
Let i = -182/5 + 36. Let l = 4.9 + -2.5. Let g = 1.4 - l. Is g at most as big as i?
True
Suppose 2*g + 54 = 2. Are g and -26 nonequal?
False
Let j be 1 - (4 + (-1 - 1)). Let i be (-4)/(j + (-1 - -4)). Is i != -1?
True
Suppose 1 - 13 = -2*k - 2*s, -5*k + 24 = 2*s. Let c = k - 2. Suppose 3*m = -b + 6*m - 14, c*m = b + 10. Is b smaller than -2?
False
Suppose -6*w + 3*w = 0. Is 2/13 greater than or equal to w?
True
Let w be (-4)/(-6) + 158/6. Which is bigger: w or -0.1?
w
Let w be -3 + 11/3 - (-141)/(-9). Is w != 1?
True
Suppose 331 = -3*l + 337. Which is bigger: l or -0.1?
l
Let d = 1.72 + 0.08. Let r = 2.02 + -0.02. Let p = d - r. Which is greater: p or -1?
p
Let q = 181 + -181. Let f be (-2)/(-1) - 111/51. Which is greater: q or f?
q
Let o = 27437 - 175459613/6395. Let s = o - -5094/70345. Let c = s - 138/385. Is 0 not equal to c?
True
Let x be 5/(-3)*2/(-5). Let v = 3.5 + -3. Let p = 0.7 - v. Is p < x?
True
Let v = -49/2 + 24. Let u = 0.07 + -0.19. Let w = u + 0.02. Is w != v?
True
Let u be (-1 - -2)*(-4)/2. Let a(y) = -y**2 - 5*y + 3. Let w be a(-6). Is u less than or equal to w?
False
Let p = 0 - 0.07. Let w = p + -0.03. Which is greater: 2/7 or w?
2/7
Let g = -0.2 + -0.3. Let z = 0.5 - g. Let c = 8/37 + 34/185. Which is bigger: c or z?
z
Let y = -17.9 - -17. Let f = -0.1 + y. Let q = f - -1.1. Are q and -0.1 non-equal?
True
Let z(i) = -i**3 - i**2 - i. Let q be z(-2). Let h(w) = w**3 - w**2. Let n be h(1). Suppose 0*j + 2*j - q = n. Which is smaller: 4 or j?
j
Suppose 3*q + 22 = 13. Which is smaller: -2 or q?
q
Suppose -9*p + 13*p - 4 = 0. Which is smaller: p or -3/20?
-3/20
Let k = 0.98 - 8.68. Let n = k + 8. Does n = -0.2?
False
Let b(u) = -2*u - 3. Let x be b(-3). Let q(l) = l - 5. Let a be 6 + 2 + (2 - 3). Let c be q(a). Which is bigger: c or x?
x
Let v = 1.3 + -17.3. Let m = 14 + v. Which is bigger: 0.2 or m?
0.2
Suppose -3*a + 0*a + 2 = 4*h, 3*h - 5 = -4*a. Let y(r) = 18*r**3 - r**2 - 2*r - 1. Let z be y(h). Let g = -11 - z. Which is bigger: 6 or g?
g
Let g = 3781/13 - 291. Let j(n) = -n**2 + 6*n + 2. Let z be j(6). Let s be (-1*z)/(0 - 2). Which is smaller: g or s?
g
Suppose 6*o - 21 = 3*o. Let b(c) = -c + 4. Let a be b(o). Let t = -1 - a. Which is greater: t or 4?
4
Let t(r) = 2*r + 3. Let u be t(6). Which is bigger: u or 14?
u
Let a = -24 + 17. Is -1/3 bigger than a?
True
Suppose 6*f = 9*f. Suppose f = p - 2*k - 4, 0 = -0*p - 3*p + 4*k + 4. Is p greater than or equal to -3?
False
Let s be (-42)/9*(-6)/4. Suppose s = 2*k - 5. Suppose -2*n = -5*n + k. Which is bigger: n or -4?
n
Let i(k) = -k**3 - 8*k**2 - 4*k - 6. Let n be i(-7). Which is smaller: -28 or n?
-28
Let x = 0.1 + -0.1. Let s = 0.297 + 0.503. Which is bigger: x or s?
s
Suppose -5 + 2 = 3*f - 2*l, 5*f + 5*l = -5. Let c be (1 - 3) + 6/4. Is c bigger than f?
True
Let a(r) = -r**3 + 7*r**2 - 7*r + 3. Let s be a(6). Suppose -f + 8 = 8. Is s at least as big as f?
False
Let h be (-3 + (-3 - -4))/2. Let x = -7 - -2. Let g = x - -3. Is h equal to g?
False
Let r = -490 + 14212/29. Which is bigger: 0.2 or r?
0.2
Let x = -78 - -1324/17. Are -1 and x unequal?
True
Let s be (1/(-22))/(2/(-8)). Suppose 5*k + 4*i - 6 - 2 = 0, -4*k - 4*i = -8. Which is smaller: k or s?
k
Let l = 577 - 26543/46. Which is smaller: l or -1?
-1
Let s = 0.051 + 17.649. Let v = 17 - s. Let y be ((-2)/(-6))/(-2 + 3). Is v at most as big as y?
True
Suppose 5*z + 20 = 3*h, -4*z + h + 11 = 4*h. Are -12/7 and z equal?
False
Let h be ((-5)/10)/((-1)/(-6)). Is h <= -10?
False
Suppose -p - 2*s - 24 = -s, 110 = -5*p + 5*s. Which is bigger: p or -20?
-20
Let o(f) = -2*f**2 + 12*f + 23. Let x be o(7). Which is greater: x or 11?
11
Let l = 1559/3 - 521. Let h be (-1)/(-1) + -2 - 0. Which is smaller: l or h?
l
Let y = 0 + -2. Let z(g) = g**3 + g**2 - 2*g + 1. Suppose -d + 5 = 4*d + 3*x, -2*x = 2*d - 2. Let o be z(d). Which is smaller: y or o?
y
Let a = -8 - 8. Let c = -26 - a. Let f = c - -7. Is f at most 1/2?
True
Suppose 10*b + 11 = 1. Which is smaller: 1/44 or b?
b
Let z be ((-16)/(-4))/(6/(-3)). Which is greater: z or -3?
z
Let w be 15/(-18)*(-4 - 2). Let t = w - 