se
Suppose -79*p = -89*p. Is p < -1/1030?
False
Let y(q) = 53*q + 690. Let f be y(-13). Let s = 6 - 4. Which is greater: f or s?
s
Let y be (0 + 2)/((-2)/(-1)). Let f be (3 - (-20)/(-5))/((-70)/4). Which is greater: y or f?
y
Let s = 186 - 208. Which is greater: s or -23?
s
Suppose -3*w - i - 18 = -14, -4*w - 3*i = 12. Which is smaller: -1/55 or w?
-1/55
Let z be (-15)/(-70) + (-464)/7392. Is z at least -1?
True
Suppose -2*n + 66 = 486. Is -210 greater than or equal to n?
True
Let t = -884 - -878. Which is smaller: -2/21 or t?
t
Let b = -29 - 75. Let y = b + 96. Is -4 < y?
False
Suppose -2*m = -3*i + 125, -2*m = -6*i + 7*i + 145. Let n = m + 48. Is -22 at most n?
True
Let c = 55.1 + -49. Let s = 3.1 - c. Do s and 12 have the same value?
False
Let p = -1/11 + 8/209. Which is smaller: -1 or p?
-1
Let n be ((-920)/138*(-2)/10)/25. Which is greater: n or -1?
n
Let d be 2 + (-1)/(-4)*0. Suppose 5*q - 4*g + 52 + 62 = 0, 4*g = -d*q - 68. Let f = 27 + q. Which is greater: f or 1/9?
f
Let c = -94 + 98. Let m be c/(-6) - (1 + 23/(-12)). Let o = -67 - -265/4. Is o less than m?
True
Suppose 16 = -n - p, 4*n + p + 40 = n. Let a = n + 17. Suppose 0 = -3*m + m + r, 2*r + a = -m. Which is bigger: m or -1/9?
-1/9
Let w = 1 + -5. Let a be (-1 - (2 - 2))*-38. Suppose 5 = -3*n + 4*n, -2*n = -4*b - a. Which is smaller: b or w?
b
Let u = 3729/4 + -926. Is u > 7?
False
Let s be (3 - 523/3)/(4/6). Is s less than or equal to -775/3?
False
Suppose -9*a = -45 + 171. Let m = a - 9. Let i = m - -23. Is -8/7 less than or equal to i?
True
Let s be (2/4)/(2/(-4)). Let d = 26777/25 + -1071. Is s bigger than d?
False
Let k = -29 - -19. Let l be 3 - (-5)/(k/6). Suppose -5*t + 15 = 0, 4*n - 67 + l = 3*t. Which is greater: 18 or n?
n
Let n = 0.031 + -0.331. Let z = -5.94 - 0.06. Let u = 6 + z. Is u smaller than n?
False
Let y = 52 + -52. Let w = 6 - y. Which is smaller: w or 13/2?
w
Let d = 285728/15 + -19040. Let y = 28/3 - d. Let h be 1/(-3) + 7/3. Which is smaller: h or y?
y
Let b(k) = -59*k**2 + 5*k + 7. Let x(i) = -29*i**2 + 2*i + 3. Let p(r) = -2*b(r) + 5*x(r). Let o be p(1). Let z = o + 14. Which is greater: -11 or z?
-11
Let t(z) = -z - 1. Let q be t(-4). Suppose q = -3*w - 0. Is w bigger than -1?
False
Let g = 36 - 36.535. Let q = 0.54 + g. Is q != 1?
True
Suppose 5*l + 13 + 7 = 0. Let i be ((-4)/(-16))/((-2)/l). Which is smaller: i or -0.3?
-0.3
Suppose 0 = 5*k + b - 54, 5*b - 5 = -k + 1. Suppose 3*p - 2*j + 19 = 0, p + 1 = 3*j - j. Let z = p + k. Is z greater than 7/5?
True
Let s(b) = -b - 3. Let a be s(-5). Suppose 5*j = a*j - 10*j. Is -6/5 != j?
True
Let f = -25 - -39. Let z = f + -16. Let p be 48/(-84)*7/z. Is p < 0?
False
Suppose -5*g = -2*a + 726, 2*a + 735 = -5*g + 21. Which is bigger: -143 or g?
-143
Let p = -98 + 140. Is 41 at least as big as p?
False
Let h = -27 - -29. Suppose -3*z - 3*j = 0, z - j = h*j - 4. Which is smaller: z or 4/17?
z
Suppose 60 = 12*r - 8*r. Suppose 8*m = r*m + 147. Suppose -5*i + 3*i - 40 = 0. Which is bigger: i or m?
i
Suppose 5*i - 116 = -o - 2251, 2*i = 3*o - 871. Let s be i/436*1 + 1. Which is smaller: s or 0?
0
Let x be ((-72)/15 - -2)*-5. Suppose -y = -2*b - 21 + 9, -3*y = 5*b - x. Let c(h) = -h**3 + 52*h**2 - 3*h + 164. Let r be c(52). Is r equal to y?
True
Let b = -1.049 + 0.97. Let g = -4.079 - b. Are 1/5 and g nonequal?
True
Let y(t) = -t - 4. Let b be y(-3). Let u be ((-2)/(-3))/(b/6). Suppose 7*o - 2*o + 20 = 0. Is u <= o?
True
Let p = 1522 - 1862. Which is greater: -339 or p?
-339
Let r be 2 + (1/(-1) - 1). Suppose 141 = -3*w + 1215. Let l = w - 6804/19. Are l and r nonequal?
True
Let o(b) = -b**2 + 27*b + 28. Let x be o(28). Suppose -33*u + 26*u + 42 = x. Is 4 at most u?
True
Let s = 11/43 + -65/86. Is s at most 697?
True
Let m = -6.9 - 1.1. Let f = 8.07 + m. Let i = 1.93 + f. Is 0 less than or equal to i?
True
Let y = 18 - 9. Suppose -2*g + y = g. Let z = 15 + -11. Are g and z equal?
False
Let g(s) = -s**3 + 9*s**2 - 7*s - 8. Let h be g(7). Let v be h/14 + -4 - -1. Which is smaller: -1 or v?
-1
Let j = 5.3 + -5.2. Is 0.246 <= j?
False
Let w be ((-78)/(-16))/3 + 4 + -8. Are w and -2 equal?
False
Let m = -257 - -256. Which is smaller: -4.4 or m?
-4.4
Let h be 1*-2*(-15 + 3). Let v be (-4)/h + 52/168. Let n(j) = -j**3 - 5*j**2 + 5*j - 5. Let q be n(-6). Is q != v?
True
Let a = -25 + 24. Which is smaller: -135 or a?
-135
Let s = 1881.67 - 1881. Which is bigger: s or 0.2?
s
Suppose 4*i + 2 = 6*i. Let r be (6 - 5)/(i/(-2)). Let z be (1/(-27))/(r/4). Is 1 smaller than z?
False
Suppose -r + 4 - 5 = 0. Let q = 3 + r. Let i = -6224 - -68467/11. Which is bigger: q or i?
q
Suppose 4*j = 2*h - 0*h + 2, -2*h + 3*j = 0. Suppose 4*y = -d - 29, y + 0*y - 1 = -h*d. Let f(r) = r**2 + 9*r + 9. Let x be f(-6). Which is bigger: y or x?
y
Let m = -24 + 79. Let k = m + -35. Let v = k - 1. Which is bigger: 0 or v?
v
Suppose 2*p = 1 - 23. Let z = p + 7. Let d be -2 - 8/z - -4. Is 13/3 less than d?
False
Let l = 25.141 - 0.141. Let v = -25.1 + l. Which is smaller: v or 14?
v
Let c be 2*3/(-12) + 27/126. Which is bigger: -0.063 or c?
-0.063
Let x be (-8)/(-24)*-6*-2. Which is greater: 3 or x?
x
Let i be (39 + -37)*(-1 + 0). Which is smaller: -235 or i?
-235
Let t = 96 + -72. Let x be ((3 + -2)*2)/(t/(-4)). Is -3 greater than x?
False
Let p be ((-18)/14)/(80/7). Is p > -1?
True
Let b(s) = -20*s - 1. Let v = 5 - 6. Let y be b(v). Is y not equal to 19?
False
Let d = 6 - 66. Which is smaller: d or -429/7?
-429/7
Let n be -175*1 - (-7 + 9). Let q = n + 749/4. Are 2/3 and q non-equal?
True
Suppose -145*d = -43*d - 303 - 309. Let r(h) = -2*h - 2. Let v be r(-5). Which is bigger: v or d?
v
Let i = 129 + -89. Let u = 71 - i. Let x = u + -31.06. Which is smaller: -0.2 or x?
-0.2
Let v(j) = j - 4. Let u be v(3). Let i(c) = c**2. Let k be i(u). Let w = 3.34 - -4.66. Which is smaller: k or w?
k
Suppose -9*d + 12 = -12*d. Let t be (-22)/(4 + -6)*-1. Let s = 14 + t. Which is smaller: d or s?
d
Suppose 7*y + 104 = 461. Is y < 53?
True
Let i be 3/18*(-2)/(-4). Let g = 9 + -11. Which is greater: i or g?
i
Suppose 4*z + 3*o = -107, 0 = 12*z - 11*z + 2*o + 33. Suppose 4*y - 3*u + 5 + 97 = 0, 4*u = 3*y + 80. Do y and z have the same value?
False
Let j be -2 + (2 - 25 - -2). Let b = -18 - j. Is b at least as big as 4?
True
Let k = 0.008 + -65.008. Let g = k + 65.31. Let r = g - 0.34. Does 0.2 = r?
False
Let d(x) = -x**3 - x**2 + 3*x + 2. Let m be d(-2). Let k be 8/135*6/(-8). Which is smaller: m or k?
k
Let i(f) = f**2 - 41*f - 865. Let c be i(-15). Is c at least as big as 19?
False
Let i be 1 - (4 + -3 + 1). Let b be ((0/(4*-1))/(-2))/i. Which is smaller: 5 or b?
b
Let s = -343/30 + 51/10. Let d = s + 6. Which is bigger: -2/41 or d?
-2/41
Let f be (-19808)/(-36) + (-12)/54. Let s = -35199/64 + f. Is 0 greater than s?
False
Let p = 41 + -36. Suppose -n = z - 13, -5*z = -p*n - 31 - 44. Which is smaller: z or 15?
z
Suppose -2*q + 59 + 41 = 0. Let s be (8/(-6))/(q/30). Is s >= 1/3?
False
Let u = -0.6 - 3.4. Let p be -3*1*(2 + -1). Let o(w) = w**3 + 3*w**2 + w + 2. Let y be o(p). Is u >= y?
False
Let d = -103 - -94. Let x be (-2)/(-2)*(8 + d). Which is bigger: -11/5 or x?
x
Let u = -54 - -61. Is 5 > u?
False
Suppose -4*x = 5*w + 15, 0 = -3*x - 3*w - 9 - 0. Suppose 4*p + 5*f = 2, 3*f = -2*p - x*f. Do p and 4 have different values?
True
Let o(y) = -1 + 18*y + 35*y - 5*y. Let t be o(2). Let w = 857/9 - t. Which is smaller: w or 0?
0
Let v be 30/9 + 2/3. Let j be (1/(-2))/(2/v). Does j = -2?
False
Suppose 5*y + 5*d = -15, 2*y + 33 = -3*y + d. Let c be (-1)/y - (-115)/30. Suppose 3*q + 5*u = 8*q + 25, -3*q - c*u = -13. Which is bigger: q or -2/5?
-2/5
Suppose -2 - 4 = 3*j. Let f = 0 - j. Let l = 12 - f. Which is smaller: 9 or l?
9
Let h = 3/2 + -1. Let m = 59 + -58. Let y be -5 - (-3)/m - 3. Is y at most as big as h?
True
Suppose -22*j = -26*j + 4. Let u be j/(-5) + ((-112)/(-10) - 1). Is 13 bigger than u?
True
Let p be (3 + (-9)/(-6))*(-6)/(-45). Is 0.003 != p?
True
Let l = -13/9 - -1123/765. Do l and -7 have the same value?
False
Let i(z) = -z**3 + 8*z**2 - 8*z - 2. Let x be (21/(-15))/(1/(-5)). Let p be i(x). Let m(n) = n**3 + 9*n**2 + 1. Let v be m(p). Is -2/25 at least v?
False
Let z be (2/(-6))/(14/(-168)). Let f be -2 + 4 - z/2. Let q = -17/3 - -79/15. Which is smalle