 h = -2 - -3/2. Is h at most c?
True
Suppose 11*f + 4 = 13*f. Is f smaller than 1?
False
Let q = 0.21 - -5.29. Let u = 5 - q. Which is bigger: 2 or u?
2
Let n = -21 + 14. Let r be (-14)/n*(0 - -2). Which is bigger: r or 1?
r
Let t = 2807/9 - 311. Let p = t - 23/36. Suppose 7*g + 0 = -14. Are g and p non-equal?
True
Let k = 21 + -19. Does k = 2?
True
Let q = 39.1 + -39. Which is bigger: q or 3?
3
Let a = -10 + 16. Suppose -5*o + 1 = 2*w + w, -4*o + a = 5*w. Is w less than or equal to 2?
True
Let p be ((-12)/9)/((-1)/(-6)). Are -8 and p equal?
True
Suppose 0 = 2*q - 5*y - 1 + 162, q + 82 = 3*y. Is -74 less than or equal to q?
True
Let d = 14 + -7. Let y = 6 - d. Is y < -4/9?
True
Let d(l) = l**3 + l**2 + 2*l + 1. Let x be d(-1). Let j be -7*1*40/6. Let w = -47 - j. Which is smaller: x or w?
x
Let d be 2/1*12/(-3). Which is smaller: d or -7?
d
Suppose -3*u + 6*u - 288 = -3*c, -4*u + c = -379. Is 93 > u?
False
Let o = -19 + 19. Let x(f) = -f**3 + f**2 - f + 1. Let j be x(0). Let u = j - -1. Is o > u?
False
Let c = -19 - -21.2. Let h = c - -0.8. Is -0.1 != h?
True
Suppose 5*s = -4*v + 22, -2*s + 0 + 1 = -v. Is 2 < s?
False
Let g be (-1)/(-2 - -5) - 0. Let r be -1 + (1 - -2)*-1. Is g less than or equal to r?
False
Let x be 16/(3*4/6). Let w be (-12)/x - 9/(-14). Which is smaller: 2/3 or w?
w
Let u = -3.9 - -4. Is u greater than or equal to 10?
False
Let v be (16/(-12))/((-2)/57). Which is smaller: v or 37?
37
Let h(c) = -c**2 + 11*c + 7. Let b be h(10). Let n = -18 + b. Is n >= 1/13?
False
Let a(d) = 12*d**3 + d - 1. Let i be a(1). Suppose -j - i = j - 3*w, 4*w = 16. Are j and -1 equal?
False
Let g(o) = o**2 + 5*o + 3. Let z be g(-4). Which is greater: 4/9 or z?
4/9
Let g(m) = -m**2 - 4*m - 3. Let a be g(-2). Let x be 6 + 2 - (6 - 4/2). Is x less than a?
False
Let g be ((-4 + 32)/(-4))/5. Which is smaller: -2 or g?
-2
Let a = -7 - -7.6. Let j = a + -1.2. Let c = -0.4 - j. Is c > -0.1?
True
Let j be (-434)/(-10) + (-6)/(-10). Let u be j/(-10) - 10/(-25). Suppose -3*i = 9, -2*c + 13 = -3*c - 4*i. Does u = c?
False
Let d(y) = y**2 - 6*y + 4. Let u be d(6). Let j be (-1)/u*(-16)/12. Let n be (-1)/(-2)*2 + 0. Is n > j?
True
Let v = 79 + -53. Which is greater: v or 25?
v
Let i = -0.002 - -21.002. Let s = -21.9 + i. Let n = 1 + s. Which is bigger: n or 2/13?
2/13
Let j = -0.04 + 0.54. Let o = -0.7 + j. Are -1/2 and o unequal?
True
Let j = -1/139 - -6814/417. Suppose -6*m - 35 = 67. Let v = m + j. Which is smaller: v or -1?
-1
Let q = -33 + 32.96. Which is greater: q or 1?
1
Suppose 4*y = 2*y + 8, -2*b + 6 = 3*y. Let s = -4 - -2. Are b and s equal?
False
Let r = 24.8 - 23. Let u = r + -2. Let t = -0.6 - 1.4. Do t and u have the same value?
False
Let z = 36 + -35. Which is smaller: z or -0.1?
-0.1
Let v be ((-8)/10)/(2/(-110)). Let j be (-2)/(-11) + (-41)/v. Suppose 0 = -a - 3*p - 11, 0 = -2*p - 7 + 1. Is j smaller than a?
False
Let k = -3 - -4. Suppose 3*l - 6 = 21. Let h(r) = r**3 - 8*r**2 - 10*r + 10. Let d be h(l). Do k and d have different values?
False
Suppose -8*w - 5 = -3*w. Which is smaller: 14/3 or w?
w
Let r = 9/5 - 13/10. Is -6 greater than r?
False
Let x(o) = -o - 1. Let s be x(5). Let c be 3/(-9)*s/1. Let j be (1/(-1))/((-1)/c). Is 3 less than j?
False
Let x = 1 - -1. Suppose -t + l + x = 0, 0 = -4*t - l + 11 - 3. Suppose -5*p = 2*i + 15, 0*i - 27 = t*p + 5*i. Which is smaller: p or 0?
p
Suppose 3*n - 39 = -3*b, -3*b + 15 = 2*n - n. Which is bigger: n or 14?
14
Let w(y) = y**3 + 8*y**2 - 3. Let t be w(-7). Let i = 72 - t. Let a be i/56 - (-2)/7. Does 2 = a?
False
Let f = -64/39 - -4/13. Let b = f + -1/6. Let a = 6 - 7. Is a > b?
True
Let t = 1/173 + 339/1211. Let b = 1.2 - 1. Let i = b - -2.8. Which is smaller: i or t?
t
Let r = -26 - -52. Let z be r/507*6/4. Is z > -1?
True
Let u be (26/6 - 1) + (-28)/7. Which is greater: u or 40?
40
Let b(w) = -4 - 1 - w - w + w. Let o be b(-6). Is 4/5 bigger than o?
False
Suppose 24 - 6 = 3*k. Is k smaller than 7?
True
Let z = 17 - 29. Which is bigger: z or -25/2?
z
Let v(h) = h**3 - 6*h**2 - 6*h. Let u be v(7). Let n = u - 8. Suppose -k + 5*a = 11, 9*k - 4*k + 1 = -2*a. Is k greater than or equal to n?
True
Let z = 12 + -7. Let l be 1/z + (-153)/15. Are l and -10 non-equal?
False
Let d = -16 - -54. Let a = -27 + d. Let b = -9 + a. Is 1 at most as big as b?
True
Suppose 0 = -0*c - 2*c + 10. Let x be (0 + 1)/(7/c). Which is smaller: x or 2?
x
Let f be (-23)/21 + 2/3. Let x = -28 + 19. Let w = x + 10. Which is bigger: w or f?
w
Let f = -2425/11 - -220. Does 1 = f?
False
Let w(s) = s**2 + 5*s + 2. Let d be w(-5). Is d greater than or equal to 1?
True
Let w = 0.48 - -0.02. Let c = 0.1 - w. Which is smaller: c or -0.1?
c
Let s = -42 - -37. Suppose 0 = -3*o - 2 - 4. Let h be o/7 - (-36)/28. Is h bigger than s?
True
Suppose 0 = 3*t - 5*t + 2. Suppose 0 = 2*m + 4 - 0. Let a be m*(-1)/(-3) + 1. Which is smaller: t or a?
a
Let r = 572/1215 - 1/243. Which is smaller: 0 or r?
0
Suppose -3*a + 4*a = 5*z - 12, -3*a - 14 = -4*z. Let l be (-14)/4 - a/(-4). Let y be (-4 + 5)*(-3 - 0). Is l smaller than y?
True
Let c = 0.5 + 0.1. Let x = 1.6 - c. Let s be (-2)/(-6) - (-11)/(-15). Which is bigger: s or x?
x
Let z = 100 - 99. Which is bigger: z or 24?
24
Suppose 2*a = 2*f + 6, -3*a - 2*f - 15 + 4 = 0. Let p be (-30)/(-56) + (-1)/4. Which is greater: p or a?
p
Suppose 0*m + 5*m = -4*y + 1, 3*y = -3*m. Which is greater: m or -3?
m
Suppose -t - 4*t = -7*t. Does -11/6 = t?
False
Let j = 258/5 + -52. Let h = 3 + -4. Which is smaller: j or h?
h
Let b = 452/39 + -35/3. Let u be 0/1*1/(-2). Which is greater: b or u?
u
Let j be 51/24 + 1*-2. Let d = j + 1/8. Are 1/3 and d non-equal?
True
Suppose 4*q = 4*v + 28, -4 = -5*q + 16. Let k = -11 + 7. Let x be 4/(-16)*k + -5. Is x < v?
True
Let u be (-627)/(-44) + (-1)/4. Let a be (-40)/u - -2*1. Which is bigger: -1 or a?
a
Let v = -4.689 + -0.011. Let a = -5 - v. Let k = -0.2 - a. Is -2 at most k?
True
Let m be (-36)/(-9) + (-13)/5. Is m at most as big as 2?
True
Let x be (125/17 - 4) + -3. Which is bigger: x or -1?
x
Suppose 0 = -l - 8*l. Which is smaller: -4/21 or l?
-4/21
Let x = -20 - -36. Suppose -3*m + x = m. Suppose 0*d + 2 = -d + 3*z, -7 = -3*d - m*z. Is 3/8 at most as big as d?
True
Let d = -2/267 + 548/1869. Which is greater: d or -3?
d
Let l = -7.8 - -9. Let v = l + -2.2. Is -1/7 > v?
True
Let a = -0.3 - -0.4. Let t = -295.8 - -296. Is a greater than or equal to t?
False
Let m be (-6)/9*-27*2/4. Is m less than 11?
True
Let c = 14 + 3. Does c = 1?
False
Let d(a) = a**3 - 10*a**2 + 8*a + 5. Let t be d(9). Let k = -2 - t. Suppose u - 2*u - 4 = -k*y, y = -5*u - 20. Is y greater than or equal to -2?
True
Let c = 4 + -1. Which is smaller: 8/5 or c?
8/5
Suppose 3*x - 2*x = 0. Which is greater: x or 17?
17
Let i be -5*(1 - 0 - 2). Let l = i - 6. Is -1/2 at least as big as l?
True
Let i = 44 + -43. Is 1 at least as big as i?
True
Let k(b) = -10*b + 24. Let o be k(3). Which is bigger: -10 or o?
o
Let k(t) = t**3 + 6*t**2 - 8*t + 8. Let y be k(-7). Let n be (7 + -1)*y/(-9). Which is bigger: n or -1?
-1
Let a be ((-16)/(-10))/(9/(-10)). Let i = a - -94/63. Let l(n) = n**2 - 3*n - 5. Let j be l(4). Which is smaller: j or i?
j
Suppose 3*y - 5*r = 41, -4*r = 5*y - 5 - 14. Let o be (-5)/(-10) + y/(-6). Let z = -13 + 12. Is z greater than o?
False
Suppose 5*p = 10*p. Is p < 2/7?
True
Suppose 2*v + h - 7 = 1, -4 = -4*v + h. Let r = 1 + 6. Let t be ((-3)/(-7))/(v/r). Are 2 and t nonequal?
True
Suppose 10 = -0*q + 2*q. Suppose 13*l = 8*l - q. Is l less than 0?
True
Let u = 0.81 - 0.7. Let x = u + -0.01. Let z = 112/3 - 37. Is x bigger than z?
False
Let n = 0.09 - 0.07. Let m = n + -0.02. Do -3/4 and m have different values?
True
Let l = -42 - -127/3. Let q = 1 - 1. Which is greater: q or l?
l
Suppose -2*z - 3*z = 0. Which is smaller: z or -2/49?
-2/49
Let k = -0.28 + 1.38. Is k at most as big as 2/5?
False
Let h = -0.9 - 8.1. Let b = -9.2 - h. Do -2 and b have the same value?
False
Let v = -254/3 - -84. Let z(p) = p**2 - 8*p + 4. Let d be z(7). Let l = d + 2. Which is smaller: l or v?
l
Let k = 0 + 6. Let j = k + -2. Suppose 0 = -z + p + 4, -j*z + 2*p = -8. Which is smaller: -2/13 or z?
-2/13
Let c = 8 - -14. Which is bigger: 23 or c?
23
Suppose -3*t - 11 = 2*h + 9, -4*h - 34 = 3*t. Is -7 at least