?
True
Let w = -4587/8 + 574. Is -7/9 at most w?
True
Let x be (-33)/(-9) - 10/15. Suppose -x*m = -5*v + 170, 4*v - 3*v - 17 = 4*m. Is v greater than 37?
False
Suppose 0 = -2*f + c - 326 - 912, -2*f - 1238 = 2*c. Is -619 < f?
False
Let l = 0.9 - 1.9. Suppose 3*k = 2*k - 28. Let u be (-24)/18*(-6)/k. Which is greater: u or l?
u
Let l(y) = -32*y**2 - 3*y - 4. Let w be l(-4). Let k = 20666/41 + w. Let c be (0 - -2)/(2/(-1)). Is c >= k?
False
Let u = -12 + 25. Let y be (-3)/6*-3*234/27. Is u >= y?
True
Let z(r) = -r**3 - 9*r**2 + 14*r - 1. Let c be z(-11). Let p be (c/75 + -1)/2. Which is smaller: 1 or p?
p
Suppose 4*h = 3*r - 76, -4*h - r = 2*r + 52. Let j = -1614 + 4792/3. Which is greater: h or j?
h
Suppose -4*d + 3795 = -5*t - 6*d, t - 5*d + 732 = 0. Which is greater: -1/3 or t?
-1/3
Let f = 31 - 33.2. Let s = f + 2.21. Is s < 0.1?
True
Let n = 3 - -1. Suppose 4*x + n = 4*i, -x + 6 = -5*i - 1. Let w be i/6 + 44/24. Is w bigger than 2?
False
Let n = 1.78 - 1.6. Let p = 9499 - 37993/4. Which is smaller: n or p?
n
Let t = -4953954 + 7108923566/1435. Let i = 2/205 + t. Do 0 and i have the same value?
False
Let r = -42 + 1. Let i = 35 + r. Are -8 and i unequal?
True
Suppose z + 4*p - 5 = 4, 3*p = 3*z + 3. Let q be 98/732 + (-10)/12 + 40/60. Is q bigger than z?
False
Let h be (21/2)/(3/12). Let n = h - 39. Is n >= -1?
True
Suppose -691*g + 12 = -679*g. Do g and -8/47 have different values?
True
Suppose 32 = -3*x - x - 4*v, 0 = -5*x + 2*v - 5. Let l be 2 + (5/(-15))/(1/x). Is 26/9 smaller than l?
True
Suppose 0 = -5*y + 3*v - 735, y + 12*v - 17*v = -125. Which is bigger: y or -1?
-1
Suppose -2 = -11*w + 10*w + 2*m, 0 = 3*m. Which is smaller: w or 66/19?
w
Let c be (-174)/(-18) + 2/(-3). Let g(b) = -b**2 + 14*b - 21. Let z be g(13). Let k = z + c. Which is greater: 1/19 or k?
k
Let o = -262 - -246. Are o and -2 equal?
False
Suppose -4*f = -5*t + 750, -2*t - 5*f = -117 - 183. Let w be (-155)/t - -1 - 2/(-6). Is w less than 0?
False
Let s = -13747 + 206104/15. Let h = s - -19/3. Let i = 0.1 - 0.09. Which is greater: h or i?
i
Suppose -2*f = 5*m + 70, -f - 5*m = 48 - 8. Suppose 5*j + 126 = -3*l, -113*l = -110*l - 2*j + 84. Are f and l equal?
False
Suppose 904 = -184*x + 192*x. Is 112 not equal to x?
True
Let f = 35.2 + -37. Let r = f + -10.2. Let c = 12.2 + r. Which is smaller: c or -0.09?
-0.09
Suppose 0*v + 5*v - 120 = 0. Suppose 4*f - 20 = -v. Is f at most as big as -1/17?
True
Suppose 4*m - 33 = -l, 2*m - l + 12 = 33. Suppose m = -3*f - 0*f. Suppose 6*r - 30 = 21*r. Is r <= f?
False
Suppose -18*q + 375 = -33*q. Let m be 1/(((-2)/25)/2). Is q greater than m?
False
Suppose -4 = m + 4*g, -3*m + 3*g + 8 = -5*m. Let x be ((m - 0) + 4)*-1. Let s(k) = -k - 1. Let y be s(-3). Which is smaller: x or y?
x
Let d be ((-5)/((-20)/(-4)))/1. Let h be (d + 5)*(-2 - (-9)/(-4)). Which is greater: -20 or h?
h
Let g = 58/9 + -665/99. Is 6 != g?
True
Let f be -1 - (-9 + 5)*3/(-2). Let x = 21 + f. Suppose 0 = -4*p + 94 - 34. Is x at least as big as p?
False
Let d = -204 + 236. Which is greater: 30 or d?
d
Suppose -j = 2*j + 4*a - 17, 3 = 3*j - 3*a. Suppose 3*c + j*q = -48, 0*c - q + 6 = -c. Let l = 32 - 42. Is c at most as big as l?
True
Let o be 745/150 + (-2 + 0)/4. Let t = -481/105 + o. Which is greater: t or -1?
t
Let g = 151 + -751/5. Let f be 0/((8 - 234/27)*6/4). Is f greater than or equal to g?
False
Let r be ((-56)/(-126))/((-4)/(-18)). Suppose -2*u + r = -u. Suppose x = -u*x. Are x and 10/11 unequal?
True
Let b = -16.4 - 8.6. Which is smaller: 4 or b?
b
Suppose 6160 = 26*w - 19*w. Suppose 20*q = 9*q - w. Is q <= -81?
False
Let p = -8 - -11. Let q = 5.58 - 0.58. Is q < p?
False
Let h = 217 + -214. Which is greater: -2 or h?
h
Let h be 26/(-117) - 188/(-738). Let x = 3222664163/2460 - 1310026. Let y = x - h. Which is smaller: 1 or y?
y
Let s = -8 + 7. Let k(m) = -m + 3. Let c(z) = 2*z - 3. Let r be c(4). Let w be k(r). Which is greater: w or s?
s
Let g = 50878/27 - 1884. Which is bigger: g or 0.2?
g
Let g be -1 - (4 - 3)*-137. Let s be ((-12)/g)/(3/4). Suppose 4*u - 20 = -3*r, -u + 6 = -5*r + 1. Which is bigger: s or r?
r
Let o be (0 + (-4)/32)*-6. Let b = -4 - -6. Which is bigger: o or b?
b
Let d = -2.3 + -0.7. Let t(s) = 2*s + 55. Let z be t(-25). Suppose -12 = 4*p + 2*r - 5*r, 0 = 5*p + z*r - 20. Is d at most as big as p?
True
Let h = -45 + 19. Let b be (-10)/15*-6*20/(-120). Is b <= h?
False
Let l = -48 + 48.3. Let f = 4 - 0.2. Let n = -1.2 - f. Is n >= l?
False
Suppose 3*n = -0*n + 12. Suppose -2*a - 2*g = -6*g + 24, -41 = n*a - g. Is -6 not equal to a?
True
Suppose 8*g + 3*m = 3*g + 10, 0 = -3*g + 3*m - 18. Do g and 1 have the same value?
False
Let r be (41/2)/((-8)/16). Which is smaller: -36 or r?
r
Let z(x) = -13*x**2 - 12*x + 8. Let a be z(-4). Is -152 at least a?
True
Let w be 6/(-18)*3/8. Let b = 79/56 - 9/8. Which is greater: b or w?
b
Let p(b) = b**3 + 5*b**2 + 10*b + 14. Let w be p(-3). Is -21 < w?
True
Suppose 0 = -5*i + 2*i. Let t(b) = -b + 29. Let v be t(i). Let p be v/(-3) - (-8)/(-24). Which is smaller: -11 or p?
-11
Suppose -3*i + 3*d = 0, -9*d + 4*d = 5*i + 20. Is i at least -12/5?
True
Let u be 41/72 - (-57)/(-456). Let g(a) = -a**2 + 6*a + 6. Let b be g(7). Are b and u non-equal?
True
Let b be (-12)/30 - 96/10. Let u be (5/b)/(2/(-72)). Let a be 3 - 3/(u/19). Is 1 bigger than a?
True
Let v = -7 + 21. Let x be -16 + (25 - -3) + (-6)/(-2). Which is smaller: x or v?
v
Let k(r) = -r**3 - 7*r**2 + 2*r + 10. Let a = 10 + -17. Let g be k(a). Let s = 5 + -4.9. Is s at most as big as g?
False
Let p(r) = -r**3 - 19*r**2 - 18*r - 9. Let k be p(-18). Let u(m) = m**2 + 10*m + 10. Let q be u(k). Suppose 0 = 5*c + 7 - 17. Which is greater: c or q?
c
Let c = 64 - 40. Suppose c + 0 = -4*o. Suppose 20 = -24*t - 100. Which is bigger: o or t?
t
Let w = 451 + -457. Suppose -2*y + 4*y - 2 = 0. Suppose 0 = 5*u + 5*v - y + 31, 2*v = 2*u + 16. Which is bigger: w or u?
w
Suppose 27*l + 578 - 2495 = 0. Are 67 and l non-equal?
True
Let q be 18 - (3 - (-6 + 1)). Is q at most as big as -10?
False
Let y = 2 - 2.2. Let b = -17.6 + 18. Let u = 0.46 - b. Is y equal to u?
False
Let q = 27703370/1463 - 18936. Is -1 <= q?
True
Let h(n) = 7*n - 50. Let u be h(7). Is -1/40 less than u?
False
Let l = -1/5587 - -13543/13235603. Which is smaller: l or 0?
0
Let v be 25/(-3195)*(-1 + 6/10). Which is bigger: v or -1?
v
Suppose 3*s - 5*s - 8123 = z, 4*z + 32512 = -3*s. Let u = -32151/4 - z. Let h = 95 - u. Is h greater than or equal to 2?
False
Let q(f) = 64*f**2 - 8*f + 19. Let o be q(9). Let y = -118037/23 + o. Which is smaller: 0 or y?
y
Suppose -1300*y = -1320*y - 20. Which is greater: y or 9/95?
9/95
Suppose -4*l + 25 = 3*u, 2*l + 3*u - 2 = 15. Suppose 0 = -c - 4*o + 28, -l*o - 6 + 18 = -c. Let i be -2 - 4/c*-27. Is 12 at most i?
False
Let n = -22/29 + 1701/2204. Which is smaller: n or -1?
-1
Let s be (-405)/(-333)*(-4)/(-6). Is s greater than 0?
True
Suppose 290*f - 293*f + 399 = 0. Let l = 111 - f. Is -22 bigger than l?
False
Suppose 0 = 4*v - 3*n - 31, -v = 3*n - 0 + 11. Let q(p) = -p**3 + 3*p**2 + 18*p - 41. Let l be q(5). Which is smaller: l or v?
l
Let w = 60 + -75. Let q(m) = m**3 + 16*m**2 + 16*m + 16. Let j be q(w). Let s be 0 + (1 - 35/37). Which is smaller: j or s?
s
Let h be (-35)/8 - -4 - 8782/(-23376). Is -1 not equal to h?
True
Let b(t) = -t**3 - t**2 + t + 1. Let m be b(-1). Let u = 4 + m. Suppose 5*n + u = -1. Which is greater: n or -2/9?
-2/9
Let b = 39.39 - 0.39. Let d = b + -54. Which is bigger: d or 0?
0
Let r(w) = 3 - 5 - w + 0 - w**2 - 5*w. Let h be r(-5). Let k = -6 + 9. Is k greater than or equal to h?
True
Let a be 7 - (-5)/((-10)/(-804)). Which is bigger: a or 408?
a
Let n = 40 + -14. Let k = -27 + n. Which is bigger: k or -2/121?
-2/121
Suppose -125 = -2*v - 2*g + 19, -5*g = 5. Which is smaller: 74 or v?
v
Suppose 38*i - 19*i = 19. Is i > -13/76?
True
Suppose -12*d + 10*d = 4. Which is smaller: d or 47?
d
Let h be (4 - (-3455)/10)/(3/4). Let z = h - 913/2. Is 9 > z?
False
Suppose 4*c - 70 = -c. Suppose 0 = c*q - 9*q. Suppose 5*a = -q*j - j + 24, 3*j + 13 = 2*a. Are j and -1/3 non-equal?
True
Suppose 82*j - i - 50 = 83*j, 2*j + 110 = 3*i. Is -54 < j?
True
Let m = -28 - -113/4. Let k = 1925 + -1924.97. Is m less than or equal to k?
False
Let f be 8/4*