 v be 5*7/175*3/7. Which is greater: v or -1?
v
Let v be (-8)/56 + (-1)/(-7). Suppose v*g - 35 = -5*g. Let d(s) = -s + 7. Let w be d(g). Is w <= -3/17?
False
Let l = 30 - -12. Let w = l + -26. Let r = w + -18.5. Which is smaller: r or 0?
r
Let g = -25 + 19. Let t = g + 6. Let x = 0.68 - 0.6. Which is greater: t or x?
x
Let y be ((-47200)/(-16))/(3 + -5). Is y at least as big as -1474?
False
Let k be 9/(-36) + 58/8. Suppose s - k + 4 = 0. Does 4 = s?
False
Let q = -566 + 567. Which is smaller: q or -1/24?
-1/24
Let t be (-5 - 1) + ((-5032)/(-48))/17. Let u be (-19)/(-15) - 2/3. Which is greater: u or t?
u
Let m be (1 - 1) + (-4 - -1). Let t be -13 + m*(-3 - -4). Are t and -15 nonequal?
True
Let x be 5 - (6/(-10))/((-15)/150). Let g = 81/355 - 2/71. Which is smaller: g or x?
x
Let x be 25/35 + (-552)/28. Let g = -41/12 + 25/6. Which is smaller: g or x?
x
Let u(x) = 91*x + 2. Let a be u(-1). Suppose 3*t = -3*c - 270, -11*c = -t - 14*c - 92. Is a at least as big as t?
True
Suppose 5*s + 5*c = -265, 0 = s - 0*c - 3*c + 37. Let b = -76 - s. Which is bigger: -26 or b?
-26
Let j be 0 - 4 - ((-18240)/54)/1. Let s be 1/((-3)/(-3)) + -334. Let o = j + s. Which is bigger: 0 or o?
o
Suppose 3*r = 4*v + 7, -4*v + 7 = -r - 4. Suppose 0 = r*a + 7*a - 13*a. Which is smaller: a or -1?
-1
Let n(i) = -i**3 - i**2 - i + 1. Let y be n(0). Let b be 12/(-10)*15/(-57). Does y = b?
False
Let u be (2 + -1)/(490/455). Which is bigger: u or 2?
2
Let n = 2172 - 4271. Which is smaller: n or -0.1?
n
Let a = 26 + -23. Suppose -4*m - m + 3*d - a = 0, -5*d + 5 = 5*m. Are 2/63 and m unequal?
True
Let p be (120/(-32))/5*16/(-6). Which is smaller: -40 or p?
-40
Let t(k) = -k**2 + 34*k - 123. Let u be t(30). Is -20 greater than u?
False
Let h be 48/(-2) - 0/6. Let t be 12/(-32) - 9/h. Suppose t = -3*g + 3*b - 6, -3*b + b + 10 = -4*g. Which is bigger: g or 1?
1
Suppose -6*p - 149 = 5*g - 3*p, 0 = -2*g - 2*p - 58. Let d = g - -31. Let y be 0/(d + 1 - -2). Is 1/5 <= y?
False
Let y = 16.7 + -0.9. Let a = 16.39 - 0.39. Let z = y - a. Which is greater: 1 or z?
1
Let n be ((-21)/(-6))/(-7)*54. Let o = 12 + -13. Are o and n unequal?
True
Suppose 5*a = 11 - 1, 0 = 3*t - a - 139. Let r = -28 + t. Suppose -l - 5*m + 26 = 0, -3*l - 3*m + r = l. Is 3/13 less than or equal to l?
True
Let l be (-30)/(-25)*5 + -6. Which is smaller: l or -4/15?
-4/15
Let c be ((-3)/1 + 6)*(0 + -1). Suppose 6 = -t - 5. Let g = 12 + t. Which is smaller: g or c?
c
Let m(n) = 3*n + 27. Let l(h) = 5*h + 41. Let q(s) = 5*l(s) - 8*m(s). Let r be q(12). Which is smaller: r or 2/69?
2/69
Let a(c) be the third derivative of -c**3 + 0 + c**2 - 1/24*c**4 + 0*c. Let i be a(-4). Is 3/2 <= i?
False
Suppose 7 = 7*c - 14*c. Is c at least -25/14?
True
Let h be (3/(-2864))/(9/54). Let s = h - -3415/657288. Let p = s + 10105/6426. Are p and 3 nonequal?
True
Suppose 19*h - 3*h - 560 = 0. Are 36 and h unequal?
True
Let c = 115/4 + 35/4. Is 38 equal to c?
False
Let u be 4 + (-5 - -1) + 18. Let k = -10 + u. Is k not equal to 9?
True
Let t(r) = -r**2 - r + 3. Let z be t(0). Suppose z = 6*a - 3*a. Let o be a/((-3)/(-4 + 1)). Is 2/11 at least o?
False
Let d be (-1)/((-2 + 5)/9). Let s(k) = -k**3 - 3*k**2 + 2*k + 2. Let w be s(d). Suppose -26*u - 30 = -21*u. Which is bigger: w or u?
w
Suppose 21 = 2*m - 3*g, g + 0 = -4*m + 7. Let v be 1/m + (-178)/(-2970). Let s = v + 2/297. Is 2/5 less than or equal to s?
True
Suppose -3*z + 3*t + 39 = -0, -4*t = 3*z - 67. Suppose 2*b = -3*b + 65. Let s = b - z. Which is smaller: s or -3?
s
Let d = -6 + 6. Let k(g) = -g + 7. Let a be k(5). Let v = d + a. Which is bigger: 3 or v?
3
Suppose -3*n - 25 = -5*g, -4*g - 5*n + 1 = 18. Let f be (-3)/((-3)/16) + 3. Let l be (f*(-3 + g))/5. Is l at least -3?
False
Let v be ((-29)/10)/(-1 + 2/4). Let i = -57/10 + v. Which is bigger: i or 1?
1
Let f be ((-2)/2)/(3/57). Let o = -626 - -607. Is o <= f?
True
Let i be 63/(-4) - 12/(-16). Let y(h) = h**3 + 14*h**2 - 16*h - 14. Let j be y(i). Is j at least 4/5?
True
Let v = 0.8 - 0.9. Let w be (9/(-6))/((-21)/(-98)). Which is smaller: v or w?
w
Suppose 133 = 29*m + 133. Let t be (-3254)/26*-1 - -2. Let p = t - 127. Is p greater than m?
True
Let l = -16 - -19. Let k(w) = 9*w + 4*w**l - 4*w**3 - 14 - w**3 - 9*w**2. Let b be k(-10). Which is smaller: 1 or b?
b
Let l = -250.8 - -250.7. Let p = 22.27 - 23.3. Is p < l?
True
Let g(i) = -i**3 - 12*i**2 - 12*i - 5. Let d be g(-11). Suppose -2*w + d*w + 4 = 0. Let m be (1/7)/((-3)/(18/2)). Which is greater: m or w?
m
Let p = 37 - 52. Let s = p - -7. Do 0.2 and s have the same value?
False
Let j = -11 + -31. Let p = -35 - j. Which is smaller: p or 45/8?
45/8
Let f be (-25)/3*(17 - 20). Suppose -f*d + 24 = -21*d. Suppose -4*a - 5 = -25. Which is smaller: d or a?
a
Let h = -22.03 + 22. Let f = h - -1.83. Let i = f + 4.2. Is i >= 1/2?
True
Let n be 21/(189/(-6)) - 98/(-3). Is n > 32?
False
Let f be (-3)/15 + 10366/80. Let l = f + -129. Which is smaller: l or -1?
-1
Let t(g) = -38*g**3 + 4*g**2 - 2*g. Let r be t(1). Is r bigger than 2?
False
Suppose -5 = -4*b - b. Let a = 3181/9 - 353. Is b > a?
True
Let x = -178 + 177.89. Let p = 0.1 - 0.2. Which is greater: x or p?
p
Let r(d) = d**3 - 7*d**2 + 4*d + 2. Let y be r(5). Let n be ((-28)/4)/(-3 - 78/(-24)). Is y >= n?
True
Let p be 11/44 - 7882/2280. Let q = p + 2/285. Let d = -17/5 - q. Which is smaller: d or 0?
d
Let r be 2220/234 - 2/13. Which is smaller: 10 or r?
r
Let v = -31 - -35. Suppose -v*j + 1 = -5*j. Which is smaller: j or 1/113?
j
Suppose -2 = 5*j - 17. Suppose f - 2 = -4*y, j*y = 2*f - 6 + 2. Let p = -71/6 + 37/3. Is f equal to p?
False
Let w(x) = x**2 - 2*x + 3. Let j be w(2). Let t be -9 + 4 - -5 - -1*j. Is 31/7 greater than t?
True
Suppose 13*g - 14*g + 5*q - 760 = 0, 5*g + 3720 = 5*q. Is g > -740?
False
Let m be 24 - 0*(-3)/(-6). Suppose -4*y = -5*q + 11 - 32, -m = 4*y + 4*q. Is -2/89 < y?
False
Let n = -80 - -79. Which is bigger: 12/65 or n?
12/65
Let p = 15.8 - 17.8. Let c = 0.1 + -0.1. Let r = c + p. Is -2 >= r?
True
Let z = 50 - 64.5. Let q = -14 - z. Let w(j) = j**3 - 4*j**2 - 5*j. Let f be w(5). Which is bigger: q or f?
q
Suppose -226 = 5*y - 22*o + 25*o, 0 = y - 4*o + 13. Let l = -5 + -35. Is y > l?
False
Let r be 627/(-760) + (-2 - 33/(-15)). Suppose 3*b - 4*h - 20 = b, -h = b + 5. Which is greater: r or b?
b
Suppose -8 = -4*f + 2*f. Suppose 3*r + f = 5*r. Suppose 5*i = -r*s - 7 - 0, -3*i - 7 = 4*s. Is 0 != i?
True
Suppose 5*k - k = 8. Suppose -7*i + k*i = 0. Suppose i = 2*r - 3*r + 1. Do r and -1/16 have the same value?
False
Let f = 76 + -249. Which is smaller: f or -174?
-174
Let o(f) = -f - 9. Let u be o(-13). Suppose -3 - 16 = r - u*z, 3*r + 4*z = 23. Which is bigger: -2 or r?
r
Let d = 28820/7 - 4079. Let c = d + -38. Is c at most 0?
False
Let x = 948272/9 + -105037. Let t = x + -327. Which is smaller: 1 or t?
t
Suppose -j - 19 = 5*i, -5*j - i = -0*i - 25. Let w be j*-2*6/(-28). Let d = 536 - 533. Which is bigger: w or d?
d
Let f = -25193/1051560 - 1/5080. Which is smaller: f or 0?
f
Let j = 242 - 270. Suppose -6*p + 34 = -h - 2*p, 0 = -h - 2*p - 28. Is h not equal to j?
True
Let y = -97 - -97.17. Let h = -0.21 - -0.6. Let l = y - h. Are -1/2 and l unequal?
True
Let c = 18702 - 1533587/82. Is c at least as big as 0?
False
Let z = 14 - 14.8. Let n = z - -1.7. Let v = n + 0.1. Is v >= 2/9?
True
Let q be (-3)/9*(2 + 1). Let f be ((-2)/8)/((-1)/(-10))*-8. Suppose 6*s - 2 = -f. Which is smaller: q or s?
s
Let h(t) = -3*t**3 - t**2 + 3*t + 755. Let z be h(0). Which is smaller: 754 or z?
754
Let x = 0.1776 - 1.1776. Is x at most 845?
True
Let w(p) = -p**2 + p + 3. Let y be w(6). Which is smaller: -24 or y?
y
Suppose -27*h - 17 = 37. Let v(a) = -a**3 + 2*a. Let w be v(2). Let x = w + 2. Is x smaller than h?
False
Let u = 5 - 6. Let i(v) = 3*v**3 + 6*v**2 + 5*v + 8. Let d be i(-4). Let s = d - -754/7. Is s < u?
False
Let y be 0/2 - 2/24. Let r = -1/6 + y. Let l = 9.2 + -10. Which is greater: r or l?
r
Let r = -3 - 1. Let v(p) = -2*p**2 - 14*p - 13. Let i be v(-6). Let h be (8 - 47/6)/(i/(-4)). Which is greater: h or r?
h
Suppose 0 = -2*y - 3*y + 20, 5*n + 3*y + 218 = 0. Let t = n + 110. Let m = t - 257/4. Is 0 less than m?
False
Let q = -2053 - -1903. Is -149 < q?
False
Let a = -12.069 + 0.069. Let r = a + 13. Which 