or a?
a
Suppose 14 = -p - 3*u, -p = 2*u - 24 + 33. Which is bigger: p or -506/9?
p
Let w(l) = 592*l + 7. Let v be w(-7). Let m be ((-5)/3)/(v/539). Let f = -1/197 - m. Is f >= 1?
False
Suppose 6*h - 4*y + 10 = 8*h, 13 = 3*h + 4*y. Which is smaller: h or 1?
1
Let q = -43/2 + 21. Let r = -115 + 114.8. Which is bigger: q or r?
r
Let u = -680 + 365. Let z = -78 - u. Let t = z - 704/3. Which is smaller: 2 or t?
2
Let u be (-2 + 47)*(-180)/75. Let x = u + 129. Which is greater: x or 19?
x
Let w = 0.27 + -0.27. Let c be 99/(-6)*2/(-12). Is c != w?
True
Let x be (-14)/2 - (-23)/552*0. Which is smaller: -103/13 or x?
-103/13
Suppose 18*p - 4 = 22*p. Which is bigger: 1/434 or p?
1/434
Let l be 3504/39 - 8/(-52). Let f be 216/l*-5*1. Which is smaller: f or 0.1?
f
Let r be (-6)/(-9)*(-123)/(-4). Let t = -132 - -152. Let z = t - r. Do 0 and z have the same value?
False
Let f = 20 - 21.3. Let u = 0.166 + 2.134. Let g = u + f. Is g greater than 2?
False
Let m = 292 + -343. Which is greater: m or -49?
-49
Let c be (-4)/(-1) - (57 + -1024). Which is greater: 972 or c?
972
Let y be (-170)/14 + (-39)/(-273). Is -9 smaller than y?
False
Let h(z) = -3*z**2 + z - 10. Let i be h(-5). Let j be 20/i + (-16)/(-18). Which is bigger: 6 or j?
6
Let r = 543073/14 - 38773. Which is smaller: r or 18?
r
Suppose 27 + 13 = 8*k. Suppose -3*n + 59 = -4*f, -3*n = -7*n - k*f + 58. Is 16 not equal to n?
True
Suppose -21*s = -16*s - 15, -5*y + 4*s - 47 = 0. Is y greater than or equal to 1?
False
Let o be (-74)/150 - 2/(-4). Let v = -293/1050 - o. Let h = -8 + 9. Which is greater: v or h?
h
Suppose 2*y - 73 = -13. Let l be ((-24)/(-10))/((-3)/y). Let d = l + 35. Is d less than 10?
False
Let j = 2.51 + -2.9. Let i = 0.49 + j. Which is greater: 30 or i?
30
Let t = 121.4027 + -0.3027. Let k = -121 + t. Is 1 <= k?
False
Suppose 8*k - 2*k = -9*k. Which is greater: 1/261 or k?
1/261
Suppose 0 = 2*i + 1 + 7. Let d be (4 + (-14)/2)/((-10)/10). Do i and d have the same value?
False
Let t = -162 + 172. Which is greater: 8 or t?
t
Suppose -2 - 2 = 2*b. Let h(f) = f - 2. Let x be h(1). Which is bigger: x or b?
x
Let k = -225/8 - -26341/936. Suppose 32 = -4*x - 4*j, -2*j + 3 = 11. Let w(y) = y**3 + 3*y**2 - 7*y - 13. Let s be w(x). Which is smaller: s or k?
s
Let m be (-2)/(-4) + (-3)/6. Suppose -2 + 7 = 5*v. Is v less than or equal to m?
False
Let y be (-33)/(-110) - (-886)/(-2820). Which is greater: -1 or y?
y
Suppose -20 = 3*d - 5*d. Suppose -2*v - 18 = -n, 0 = 12*n - 7*n + 4*v - 34. Is n != d?
False
Let p = 0.142 + 0.258. Which is greater: 1.1 or p?
1.1
Suppose 2*v - 86 = 3*a - 101, -5*v - 4*a + 20 = 0. Do v and 18/91 have different values?
True
Suppose -4*r - 35 = -2*d - 7, -4*r - 2*d = 44. Let h be (3/19)/(r/(-6)). Let a = 0 + -1. Do h and a have different values?
True
Suppose 0 = -u - 5*m + 7, 3*u + 5*m = -9. Let z = -9/10 - -13/10. Is u bigger than z?
False
Let o = -436.3 + 438. Is 1 at least o?
False
Let h be 68/320 + (14/5)/(-7). Which is smaller: 0 or h?
h
Let k = 9540 + -6916501/725. Is k >= -1?
True
Let y = 56 - 55.973. Is y at most as big as 2?
True
Let m = -0.01 + -1.99. Let r = m - -1. Let t = -74/5 + 439/30. Which is smaller: t or r?
r
Let x(y) = y**3 - 7*y**2 - 2*y + 7. Let r be x(7). Suppose -4*f + 24 = 2*f. Suppose -4*o + l = -3*l + 52, 4*l + f = -3*o. Which is smaller: o or r?
o
Let a = -8888341/993 - -8951. Is -1 greater than a?
False
Let h = 4521/62 - 73. Are 1 and h equal?
False
Let w(l) = 3*l - 7. Let z be w(7). Let u be 133/(-57) + 156/9. Is u bigger than z?
True
Suppose 319 = -58*f - 1131. Is f at most -30?
False
Let r = -19 + 17. Let g be (1 + 9)*(-1)/(-2). Let b be (-5)/(-20)*g/r. Is 0 greater than or equal to b?
True
Let m be (2 + 9/(-4))*120/8. Let j be (-1)/2 + (-21)/6. Is m at least j?
True
Let y be (1/(-15))/(12/150). Which is greater: y or 0?
0
Let a be (-2)/3*9/(-1887). Let m = -3784/3145 + a. Suppose b + 1 = -0*b - 3*v, 0 = 5*b - 3*v + 5. Is b >= m?
True
Let t = -103.68 + 101. Let b = 2.7 + t. Let a = 3.02 - b. Which is bigger: -1/2 or a?
a
Suppose 0 = -5*n - 2*x, -n = -3*n - x. Let z(o) = -1 + n - o + 0*o - 1. Let m be z(-7). Is 5 > m?
False
Suppose 3*n + n - 5*f = -89, -3*n - 33 = 3*f. Let z be 1*(n/4 + 2). Which is smaller: z or -1?
z
Suppose 8*z - 365 = 3*z. Let w = z - 179. Let r be w/546 + (-12)/(-84). Is 1 > r?
True
Let o be 58/87 - 2/(-6). Which is greater: o or 3/77?
o
Suppose 5*q = 3*c - c - 60, -5*c - 67 = 3*q. Let i be q/(-30) + (-1)/2. Is 0 bigger than i?
True
Suppose 8 = 5*k - 2. Suppose -2*c - 8 = -16. Suppose -c*w = -0*w - 12. Are k and w non-equal?
True
Let a = -19 - -5. Let y = -11 - a. Is 1/4 > y?
False
Let b = -0.083 + 0.133. Let v = -0.15 + b. Is 15 less than or equal to v?
False
Let i(s) = 4*s - 12. Let p be i(4). Suppose p*b - 2*a + a - 5 = 0, -3*b - a = -2. Do b and -1 have different values?
True
Let z be (3/(-6))/((-3)/(-2)). Let l(k) = 4*k**2 + 19*k - 5. Let w be l(-5). Suppose 6*m = 2*m - 5*c, -m + 3*c = w. Which is greater: m or z?
m
Let r be 10*(-2)/8*10. Let u = -53 - -27. Which is smaller: r or u?
u
Let c(t) = -4*t - 2. Let i be c(-19). Let v = 72 - i. Is -10/17 at most as big as v?
False
Let s be 1 - (2 - 3) - -10. Suppose 4*r + s = 7*r. Suppose 4*a + r*x = 0, -x - 12 = 4*a - 3*x. Which is greater: -8/5 or a?
-8/5
Let k = -249 + 297. Is -1/3 at most as big as k?
True
Let n be 3*(24/(-20) + 1032/(-440)). Which is greater: n or -11?
n
Let i(f) = f + 2. Let c be i(-5). Let b be (-3)/2*(-12 - 2). Let r = b + -25. Which is smaller: c or r?
r
Let a be (24/10 - 2)/(3/(-15)). Are a and -37 equal?
False
Let m = 0.31 + -0.32. Let q = 0.06 + -0.05. Let g = q + m. Is g greater than 2?
False
Let s = 456 + -475. Is s > 1?
False
Suppose 2*z = 144 - 134, -4*r = -z - 3515. Which is greater: r or 879?
r
Let q be -2 - -1 - 11/(-1). Suppose 0*d = -q*d. Which is bigger: 2/5 or d?
2/5
Suppose -6 = 30*j + 24. Let g = 0 - -0.2. Which is smaller: g or j?
j
Let c = 1.87 + -1.87. Which is smaller: -24/43 or c?
-24/43
Suppose 3*r - r = 8. Let c be (-2)/(-5) - 38/(-5). Let f be 18/c - (-24)/32. Is r >= f?
True
Let j be 55048/(-124344) - (-12)/27. Are 0 and j unequal?
True
Let y = -0.641 - -0.041. Are y and 0.72 nonequal?
True
Suppose 1 = -i - c, -2*c = -5*i + c + 35. Suppose -a = -i*v + 176, 0*v = -3*v - 5*a + 109. Which is smaller: v or 0?
0
Let i(g) = 2*g - 5. Let j(p) = 1. Let b(l) = i(l) + 4*j(l). Let w be b(-2). Which is smaller: -2 or w?
w
Suppose 2330 - 11900 = 6*y. Let a = -20725/13 - y. Which is bigger: 1 or a?
1
Let l = 203 + -161. Which is greater: l or 43?
43
Let l be -1*(12/(-9) - 11431/69). Which is greater: l or 170?
170
Suppose 110*f = 91*f - 33497. Which is smaller: -1764 or f?
-1764
Let c = 1006/9 + -112. Let k be 0 + -1*(-1)/(-1). Let d = k - 0. Is c at least d?
True
Let t = -327 - -328. Are 1/2 and t unequal?
True
Let f(g) = g**3 - 9*g**2 - 13*g + 31. Let c be f(10). Let n be 560/284 + 2*-1. Is n less than c?
True
Let p = -16.5 - -16.222. Let l = 0.078 + p. Which is smaller: l or 5?
l
Let g be -907 - ((-3)/3 - -8). Is -914 less than g?
False
Let k = 135 + -129. Suppose -10 = -4*b + 6. Suppose -k*f = -b*f + 2. Which is smaller: f or 2/27?
f
Let r be 6 + 14/105 + 10154/(-1680). Which is smaller: r or 0?
0
Suppose -10*s - 632 = 178. Is s >= -81?
True
Let w = 27.8 - 27. Let o = 33.2 + w. Is -0.2 equal to o?
False
Let c be 8/2 - 1052/262. Let j be 5/(-4) + 15/60. Is c greater than or equal to j?
True
Let c(m) = 8 + 0*m - 3*m + 112*m**2 - 114*m**2. Let f be c(5). Is -56 greater than f?
True
Let c be -3*(2 + (1 - 4)). Suppose 2*s - 5*o = -2*s + 99, 0 = c*o - 3. Suppose -6*v - s = -4*v. Is -14 at most v?
True
Let x = -68/37 - -1626/925. Suppose -2*a - 2*i - 4 = 0, -3*a - 10 = 6*i - i. Is x at most as big as a?
True
Let q = -19 + 23. Suppose -q*l - 35 = -203. Let j be 4/10 - l/80. Is j at most as big as 1?
True
Let k be -6*1/(3 - 0). Let b be 0 - k - (-5 - -1). Suppose 2*f = b + 4. Which is greater: 4 or f?
f
Suppose 3*x + 2*s - 133 = 0, 2*x + 4*s + 2 = 88. Which is greater: 43 or x?
x
Let m = -167 - -176. Let q = 22 + -13. Let d = q - m. Are -3 and d equal?
False
Let s(q) = 13*q - 29. Let b be s(5). Let v be (-413)/b + -2 - (-42)/189. Are -12 and v unequal?
True
Let r = 13/667 + -16957/48691. Is r at most 0?
True
Let f = -20.2 + 20.2. Are f 