Let y = c + 111/44. Is y greater than 1?
False
Suppose y + 5*t = 1, y + 4*t - 26 = -4*y. Let n be 17/6 + y/36. Suppose 4*m = -9 - n. Which is smaller: -9/4 or m?
m
Let d be (-20)/(-40)*(1 + 1)*1. Which is smaller: -2/2975 or d?
-2/2975
Let m(g) = 31*g**2 + 17*g + 41. Let b be m(-4). Is 469 equal to b?
True
Let f(y) = -y**3 - 9*y**2 + 8*y - 21. Suppose -g + 35 = -3*s, -4*s - 55 = s - g. Let z be f(s). Let p be (2/24)/(6/8). Which is greater: p or z?
p
Let w be (-26)/(-7) + ((-316)/(-28) - 11). Suppose -o + 1 = -1. Which is smaller: w or o?
o
Let x = -17 - -8. Let l be -1*(-8 - -18 - 2/(-1)). Let s = x - l. Is 4 at least s?
True
Let t(x) = -3*x**2 - 20*x - 12. Let g be t(-6). Which is greater: 27 or g?
27
Let o be 8/10 - (-209)/(-55). Is o greater than -17/6?
False
Let v = -75.47 - -75. Let i = -0.37 - v. Which is smaller: i or -2?
-2
Let x be (-2 - (-14)/3)/(35/(-105)). Which is bigger: -28/3 or x?
x
Let r be 44 + -1 - (1 + -4). Let i = 274 - 226. Which is smaller: i or r?
r
Suppose -10 = -r + 4*c, -r + 2*r + 8 = -2*c. Let f(m) = 3*m**2 + 55*m + 17. Let s be f(-18). Is r at most as big as s?
True
Let f(o) = 2*o**3 - o**2 - 2. Let m be f(2). Let w be ((-54)/m - 3)/((-3)/10). Is w at least 28?
True
Let k = -20 + 111/5. Let c be -5*(-2 + (-14)/(-10)). Which is smaller: c or k?
k
Let t be (39/91)/((-3)/2). Let m = 31 + -22. Do m and t have the same value?
False
Suppose 4*n - 55 = -3*p, 3*n + 31 + 59 = 3*p. Suppose -h - 118 = -5*b - 2*h, -90 = -4*b - 3*h. Are b and p non-equal?
True
Suppose 5*n - 27 + 2 = 0. Suppose 0 = -2*h + n - 13. Let b be (h/(-42)*-3)/(-2). Is 0.1 <= b?
True
Let o be (-264)/10 + -7 + 15 + -8. Is -27 at most o?
True
Let s = -7659 - -114839/15. Is s smaller than -3?
True
Let g be ((-25)/(-15))/(1 - -1). Let w = -1.9 + 1.05. Let h = 0.15 - w. Is h at most as big as g?
False
Let a = -92.97 + 91. Which is bigger: -2/3 or a?
-2/3
Suppose -108*g - 966 = -115*g. Which is bigger: g or 0?
g
Suppose 2 = -4*a - 6. Let h be 49/63 - a/9. Is 1/31 bigger than h?
False
Let v = -579/95 - -112/19. Is v >= -4.8?
True
Let q(v) = -v - 53. Let c be q(23). Let z = c - -165. Is z <= 89?
True
Let g = 247 + -122. Let k = 125 - g. Is -2/301 greater than or equal to k?
False
Let j = 2.5 + -0.5. Let q = 10.7 + -16. Let g = q + 2.3. Is g greater than j?
False
Let s be -3*(-24)/9*(-5)/10. Let p(x) = -4*x + 16. Let j(d) = -d + 5. Let f(o) = -7*j(o) + 2*p(o). Let u be f(-3). Are u and s equal?
False
Suppose 16*h = 17*h + 2. Which is smaller: h or -9?
-9
Suppose -3*p = -2*r + 17, -13*p = -11*p + 2*r + 28. Let s be (6/3 + -3)/(-27). Let h = s + 8/27. Do p and h have different values?
True
Let s be (-5)/(-2) + -3 + 2215/10. Let g = -173 + s. Are 146/3 and g non-equal?
True
Let f(z) = -22*z + 69. Let q be f(-3). Is q < 134?
False
Let p = 57 + -34. Suppose 4*l = -5*c + 71, 4*l + c - 28 = 63. Do p and l have the same value?
False
Let f = -36/35 - -2/21. Let q = -252 - -250. Which is greater: f or q?
f
Let u = 64.7 - 124. Let p = u + 0.3. Is p < 2/3?
True
Let f = -997 + 999. Is 2.46 smaller than f?
False
Let d be 8/(-44) - (-104)/572. Let n be 45/212 + (-1)/4. Is n less than d?
True
Let s be (-4 + (-27544)/(-372))/14 - 5. Is s greater than or equal to 0?
True
Let l = 3.5 + -3. Let u = l - 1. Let b = 961/3 - 320. Is b >= u?
True
Let w = -0.09 + 0.55. Let h = w - -0.54. Is 2/45 at least h?
False
Let h = 1.381 + 0.119. Which is bigger: h or 41?
41
Let s = -86 + 205. Let r = 118.7 - s. Let a = -1 - -0.8. Which is smaller: r or a?
r
Let g be ((-45)/(-6))/5*30/(-180). Which is greater: g or 3/35?
3/35
Suppose 18*f + 40 = 14*f. Let y be 3/27*-6*(-102)/(-8). Which is bigger: y or f?
y
Let d = -2.87 - -4.87. Is d bigger than 0.128?
True
Let d be ((-4)/8)/(-1)*46. Let o = d + -24. Let b(y) = y**3 - 3*y**2 - 4*y - 2. Let w be b(4). Do w and o have the same value?
False
Let k = 211 - -10. Let h be (2*(-2)/8)/(85/k). Which is smaller: -1 or h?
h
Let m = -9547/10138 - 53/274. Which is smaller: m or -2?
-2
Let w be (-4)/(-6)*(12 + 357/14). Which is smaller: w or 0?
0
Suppose -f + 2*o - 77 = 0, -f = -6*f + 5*o - 410. Is f not equal to -85?
True
Suppose 0 = 2*x + d - 5*d - 28, 0 = x + 3*d + 11. Suppose 5*i + 6*q - q = 255, 199 = x*i - q. Let n be i/11 - (-4)/(-1). Is n equal to 0?
False
Suppose 4*v + 5 = -v - 4*d, -2*v + d - 2 = 0. Let z(x) = -11*x + 1. Let c be z(-1). Let j be (c/(-5) + 2)/(3/15). Which is smaller: j or v?
j
Suppose -6*t - 12 = 0, 421 = 5*s + t + 88. Which is greater: 72 or s?
72
Let c = -457 + 454. Suppose p - 3 = 2*p. Let f = 4 + p. Is f < c?
False
Let u(j) = -j**3 - 13*j**2 + j + 13. Let b be u(-13). Let m be b + 2 + 1 + 3. Is 3 at least m?
False
Let q be (40/(-28))/5 + 4770/(-14). Is -340 equal to q?
False
Let u be (-2)/(-4) - (-4 + 9/2). Is u < -1/34?
False
Let q = 1.07 - 1.37. Which is smaller: -113 or q?
-113
Suppose 3*f - 5*h = 6*f + 336, 3*f = -4*h - 339. Which is smaller: -115 or f?
f
Suppose 5*s - 4*s + u = 77, -u = -5*s + 403. Let p be (s/36)/1 + -2*1. Is 1 less than or equal to p?
False
Suppose h + 2*h + 121 = -4*c, 5*h - 3*c + 192 = 0. Are 2/19 and h unequal?
True
Let b be ((-16)/(-12))/(42/9). Let i be (0 - -1)*-1 - 609/(-525). Which is greater: i or b?
b
Suppose 0 = -4*p + 12, p + 4*p - 15 = -c. Let l be (-292)/(-102) + 4/(-12) - 3. Let j = 92/51 + l. Which is smaller: j or c?
c
Let n = 10/3 + -17/6. Which is bigger: n or 177?
177
Let n(i) = i**2 - 3*i - 17. Let f be 4/1 + 10/1. Suppose 5*r = f*r - 54. Let u be n(r). Is -2/45 not equal to u?
True
Suppose 9*i - 1002 = 3*i. Suppose 8*v = -i + 47. Is v smaller than -3?
True
Let g = 965 + -862. Which is bigger: g or 104?
104
Suppose 0*p - 48 = p. Let l be 2/(-10) + p/(-15) + 2. Which is bigger: 0 or l?
l
Let z = -188.1 + 188. Is z at least 12.2?
False
Let m(v) = -v + 1. Let r be m(2). Let b be 1 - 145/(-155)*-1. Which is smaller: r or b?
r
Suppose -5 = -5*o + 15. Suppose 5 = 3*n - 5*z - 6, 4*n - 4 = -4*z. Suppose 0*x + 36 = -5*x - 4*u, -n*x + 3*u + o = 0. Which is smaller: 0.1 or x?
x
Let v be 4/(-18)*(-8 + 5). Let q = -3 + 6. Suppose 5*s = -5*a + 30, q*s - 2*a = s - 8. Which is bigger: v or s?
s
Suppose 2*u + h = 0, 0 = -9*u + 5*u + 5*h. Which is smaller: -3/41 or u?
-3/41
Suppose 2*s + 5*m = 3*s - 19, -2*s + 26 = -4*m. Let z be (-8*(-40)/(-144))/((-4)/18). Which is greater: s or z?
z
Suppose 0*z + 5*z = 0. Let x(n) = -2*n**3 - 7*n**2 - 19. Let o be x(-4). Is o >= z?
False
Let n = -8.647 - -8.6. Does -1 = n?
False
Let x(y) = y**3 - 4*y**2 - 10*y - 12. Let h be x(6). Suppose h = -4*i - 4*o + 36, -2*i + i = 4*o + 3. Let c be 15 + 4/2 + -3. Is i at least as big as c?
False
Let k = 13 + -7. Let z be (2 - -3)*(-14)/175. Is k at most as big as z?
False
Let n be -2*(-1)/(-2) + 2. Let d = 9236/7 + -1318. Is n smaller than d?
True
Let z be ((-15)/(-4))/(640/(-256)). Which is smaller: z or 12?
z
Let u = -3 + 10. Suppose 0 = 2*c + 4, -5*b + c = -20 - 12. Which is smaller: b or u?
b
Suppose 0 = 4*x - 3*x - 5*x. Let g = 11 - 6. Suppose x*w - 2*o - 38 = -g*w, 2*w + 4*o - 20 = 0. Which is smaller: w or 7?
7
Suppose -18 = -8*k + 4*k - 5*t, k - 4*t + 6 = 0. Which is greater: 36/17 or k?
36/17
Let b = -0.739 + -0.261. Is b at least -0.069?
False
Let a = 145.33 - 146. Let q = a + -0.13. Let z = q + 0.8. Is 9 greater than z?
True
Let l = -215/6929 + 2/41. Which is greater: l or 0?
l
Let u(b) = 9*b**2 - 2*b - 9. Let s be u(0). Does s = -0.4?
False
Let b = -62 - -133. Let i = b - 84. Which is greater: i or -88/7?
-88/7
Let u be (-106)/9 - (11/9 + -1). Suppose 3 = t + 16. Do u and t have the same value?
False
Let a = 20 - 14. Let n = 16 - a. Suppose y + 3*y + 5*z = 58, y - z = n. Is 13 greater than y?
True
Suppose -5*g = 15 + 5. Let j be (-2 - g)*2/4. Let y be 3/(12/8) + -2. Is y greater than j?
False
Suppose -778*b = -774*b - 60. Is -11 less than or equal to b?
True
Suppose 65 = 5*j + 55. Suppose -j*o = 5*p + 151 + 74, -3*p + 4*o - 109 = 0. Is -43 greater than p?
False
Suppose -22*r + 1593 = -321. Is -0.1 equal to r?
False
Let m = 2.8 + -15.8. Let t = m - -12.9. Let l = t - 0.4. Which is smaller: 0 or l?
l
Suppose 0 = 2*g + 4 - 2. Let b be (-55)/65 + -10 + 11. Which is greater: g or b?
b
Let z = -0.01 + 0.31. Let j be 1 + -11 - 1825/(-175). Which is smaller: j or z?
z
Let x be (1 + -7)/(0 - -1). Let b(w) = -7*w - 13. Let