or a?
a
Let v be 1/(7 + (-32184)/4598). Let x = v + -2297. Suppose -5*a = 4*t + 79, a = -2*t - t - 51. Are t and x non-equal?
True
Let l = -16 - -24.4. Let w = 10.511 - 0.111. Let a = w - l. Which is smaller: 6 or a?
a
Suppose -4*l - 2*r - 14 = 0, -27*r = -l - 26*r + 4. Is l smaller than 2/8155?
True
Let d(g) = 28*g**2 + 4*g + 3 - 79*g**2 + 16*g**2 + 34*g**2. Suppose 0*s + 3*s = 15. Let c be d(s). Is -1/4 <= c?
False
Let f = -3562 - -3648. Which is greater: f or 2/5?
f
Suppose -29 = -4*i + 3*s, 2*i + 3*s - 6*s - 19 = 0. Suppose -5*k - 340 = i*r, 4*r + 333 = -5*k + 6*r. Let u = 0.2 + -0.3. Which is smaller: u or k?
k
Suppose 3*y + 5*h = 107, 4*y = -13*h + 18*h + 166. Suppose 38*x + 158 = y*x. Which is smaller: x or 157?
157
Let s(v) = -2*v**3 - 2*v**2 + 5*v + 7. Let a be s(-2). Let j(o) = -o - 7. Let q be j(-9). Suppose q*l = -4, 3*t + l + 3 = -a. Which is bigger: 0 or t?
0
Suppose -y - 11*r - 156 = -4*r, 5*y + 660 = -5*r. Let q = 887/7 + y. Which is bigger: q or 0?
0
Let o = -1257/5 + 11233/45. Is 0.46 > o?
True
Let h(a) = -a**3 - 18*a**2 + 5*a - 28. Suppose 0 = 5*f + 10 + 30. Let r be h(f). Let t = 2861/4 + r. Which is bigger: 7 or t?
t
Suppose r + 7*p - 9*p = 4, -3*p = -4*r + 21. Let m be (-2)/11 + 202/22. Let o be (8/6)/((-6)/m). Do o and r have the same value?
False
Let t = -0.1107 - -322.1107. Is t greater than or equal to -0.3?
True
Suppose -5*t - 44 = -m - 9, -4*t = 16. Suppose -5*x = 3*s - 15, 0*x = s + 5*x - m. Which is greater: s or -11/17?
s
Suppose 2*y + 16 = w - 2, -5*y - 55 = -3*w. Suppose -5*a + w = -a. Suppose 0 = 3*k - a*m - 5, 3*k - 2*k + 5 = -5*m. Which is smaller: k or 31?
k
Let x(s) = 2*s**2 + 46*s + 12. Let j be x(-24). Let a be 15/(-2)*70/21. Let r be 0 + (-6)/(j/a). Is r >= 3?
False
Let d = -7996 - -7996. Let o = 8/231 - 2908/3927. Which is greater: d or o?
d
Let w be -9*(143/(-33) - -4) + 181/(-9). Is w >= 19?
False
Let h(s) be the first derivative of 4*s**3/3 + 2*s**2 + 13*s + 48. Let q be h(-6). Are q and 133 equal?
True
Let g be (1136/80 - 15) + (-2)/10. Are g and 1/3630 non-equal?
True
Let l(c) = 25*c**2 - 50*c - 796. Let a be l(-12). Do 3404 and a have different values?
False
Let m = -177 - -95. Let d = 1497.6 - 1497.5. Which is bigger: d or m?
d
Let c(b) = 2*b**3 + 12*b**2 - 12*b + 16. Let g be c(-7). Suppose 4*w - 6 = g*x, 0 + 2 = 3*w - 4*x. Which is greater: w or 0.057?
w
Let w be (-2)/(-88)*966/(-189). Let c = w - -389/66. Which is smaller: 7 or c?
c
Suppose 0 = 7*s - 13*s + 12. Suppose 0 = s*j + 5*m + 35, -4*m - 17 = 3. Which is bigger: -1 or j?
-1
Let j = 16064/3 - 642191/120. Which is bigger: j or 3?
j
Let q be 4 - 7 - 5635/(-1879). Let j = q - 7486/28185. Suppose 7 - 23 = -16*t. Which is bigger: j or t?
t
Suppose -2*g = 3*b - 6172, -g = -8*b + 3*b - 3112. Is 3092 equal to g?
True
Suppose 4*a + 121 = 3*s, -9*s = a - 5*s + 16. Let i be (15/32)/((174/a)/29). Is i smaller than -2?
True
Let u(k) = -2*k**2 - 45*k - 47. Let r be u(-21). Suppose 2*o = r*y - 19*y - 9, 6 = -3*o - 2*y. Which is smaller: 1/504 or o?
o
Let r = 7120 + -185093/26. Which is smaller: r or 2?
r
Let v = 149 - 92. Let w be v/18 + 3/(-18). Let o be (-1*(-2)/(-556))/(w/12). Which is bigger: 1 or o?
1
Let z be 2 + -10 + (-5600)/(-100). Which is greater: z or 1/19?
z
Let o = 241 + -222. Suppose -o*p = 4*p. Which is smaller: p or 1/55?
p
Let s = -121108/31 + 3906. Which is greater: s or 0?
0
Suppose 2*y = 5*y + 2*n - 15, -3*n = -y - 6. Suppose -4*p = -4*t - 16, -5*t = -y*p - 7 + 17. Let m be (5 - 4) + (-1)/(t - 0). Are m and 1/7 nonequal?
True
Let o be (1918/(-182) - -11) + (-2216)/10660. Which is smaller: o or 0?
0
Let b(c) = c**2 - 15*c - 16. Let h be b(16). Suppose -14*p + 12*p - 6 = 0. Let w be 1*p + 324/(-327) + 4. Which is bigger: h or w?
w
Let m(a) = 25*a - 2*a - 84 - 4*a - 3*a. Let t be m(12). Is 108 equal to t?
True
Suppose -6*a + 11*a = -h + 3, 0 = 5*h - 2*a + 66. Suppose 21 = -y - 4*n, 0 = 2*n - 0 + 2. Is y greater than h?
False
Let v = -8 - -12. Let b(y) be the third derivative of -y**4/24 + y**3/3 + 40*y**2 + y. Let a be b(-3). Does v = a?
False
Suppose -f - 5 = -4*t + 7, 5*t = -5*f + 40. Let i be f/(-6) + -10 + (-207)/(-27). Which is greater: -22/9 or i?
-22/9
Suppose -260*d - 1808 = -374 + 4546. Is -305/13 greater than d?
False
Let m = 8214.1 + -8228.1. Suppose -12 = 3*t - 5*t. Let v be (-4)/(-6) + 2/t. Is v smaller than m?
False
Let f be (-7)/28 - (-11)/(-4)*-59. Let h be (-15)/40 + f/176. Which is greater: 2 or h?
2
Let x = -307 - -219. Let b = 101 + -321. Let a = b + 131. Which is smaller: x or a?
a
Let f = -28 - -32. Suppose 0 = -t - 1, -4*t - t = -f*a + 21. Suppose o = -3*i - a*o - 114, 0 = -3*o - 9. Is i >= -34?
True
Let g be (-124)/3*24/(-4)*389. Let v = g - 3376743/35. Let q = 39/7 + v. Which is bigger: 3 or q?
3
Suppose 13*b = -4*q + 12*b + 11, -5*b - 5 = 5*q. Suppose -2*z = -q*m - 10, -19*z + 20*z - 5 = 0. Let v = 1919 + -47969/25. Is v >= m?
True
Let p be 1/12 + (-2394)/216. Let c = p - 5. Which is smaller: c or 1?
c
Let m be -1 + (2 - 1060 - -2). Let n = 56019/53 + m. Suppose 240*b = 235*b - 50, -4*s - 2*b - 20 = 0. Which is smaller: s or n?
n
Let m = 50 - 18. Let i = m - 14. Suppose -2*h + i = h. Does h = 2?
False
Let m = -40 + 53. Let h = -12.34 + m. Let i = -0.82 + h. Is 1 != i?
True
Let c be 11/4 - 2/(-8). Suppose 0*z = 3*v + 5*z - 3, c*z - 3 = -3*v. Which is greater: v or 1/422?
v
Let b(n) = 3*n**3 - 16*n**2 - 26*n + 155. Let z be b(5). Which is smaller: -94/73 or z?
-94/73
Suppose -272*d + 274*d = 18. Suppose -d*j + 3*c = -13*j - 43, 3*j = 2*c - 45. Which is smaller: j or -17?
-17
Let d be 160/2*(203/35 - 5). Is d at least as big as 313/5?
True
Let x(j) = j**3 - 7*j**2 + 11*j - 5. Let z be x(5). Suppose 3*o + 12 = 0, -14 = -2*d - z*o + 2*o. Suppose d*a = a + 8. Which is greater: 28/9 or a?
a
Suppose 2*z - 87 = -4*f + 5, 2*f = 5*z + 46. Suppose -4*w + f + 37 = 0. Let l be ((-2)/6)/((-5)/w). Which is smaller: l or 6?
l
Suppose -43098 - 219406 = -130*q - 79*q. Which is bigger: 3766/3 or q?
q
Suppose -5*j - 6*d + 3*d = -34, 0 = -j + 3*d + 14. Let s be 0/(-2) - 3*j/856. Is s at least as big as 1?
False
Let c = 3.084 - 3.011. Which is greater: 5 or c?
5
Let j be (-2)/(-3) - 129022/186. Which is smaller: j or -696?
-696
Suppose i + 5*c + 13 = -12, -5*i - 2*c = 56. Let t be ((-3015)/225)/(2/i). Which is smaller: t or 69?
t
Let q be (-96)/18016*1/24. Is 1 at most q?
False
Let t = 1/2268 - -9005/151956. Which is greater: 0 or t?
t
Let v = -125 + 154. Let k = 0.21 - -2.29. Let c = -2.6 + k. Is c bigger than v?
False
Suppose 19*y - 36341 = 9259. Is y at most 2399?
False
Let d(m) = -m**2 + 2*m + 246. Let l be d(0). Let n(a) = 482 - 246 - l - 2*a. Let j be n(-6). Is 7/3 at most j?
False
Suppose -6*k + 32*k - 624 = 0. Suppose -71 = -23*r + k*r + s, -275 = 4*r + s. Is 0 greater than or equal to r?
True
Let n = 608 + -564. Suppose -9*y + 20 = -10*y - 4*b, 3*y = 4*b - n. Which is smaller: y or -8?
y
Suppose -21*s - 1677 = -16*s + n, 5*n - 1665 = 5*s. Is -315 >= s?
True
Suppose -5*s + 61 = 3*n + 16, n + 1 = s. Suppose 2*c + 2*c + 4*q = 12, -12 = -5*c - 4*q. Suppose -5*a - 20 = c, -l - s*a + a - 20 = 0. Is l less than -4/13?
False
Let t be 1/4 - (12 + (-20447)/1196). Which is greater: t or 6?
6
Let m be (-4)/6*-9 - (1 + 3). Suppose -2*s = 3*u + 447, -m*s - u = 11 + 446. Let z be (-40)/(-24) + 388/s. Which is bigger: -1 or z?
z
Suppose 4*k - 28 = -4*z, -14 = -2*k + z + z. Suppose -6*d - k = d. Which is bigger: d or -9/22?
-9/22
Let k be -13 - (-42)/96*28. Which is smaller: k or -2/705?
k
Let j be 3462/5 - 12*(-12)/(-360). Let w = 694 - j. Is 6 greater than w?
True
Let q = -1437566/5046195 - -47/165. Is 0 smaller than q?
False
Let t = -8/1441 + 1318/756525. Is 0 less than t?
False
Let f be (236/(-5))/(((-8)/(-10))/2). Let j = 588/5 + f. Which is smaller: 2/127 or j?
j
Let t be (-70 - -25)*2/(-5). Let i be ((-40)/(-24))/(3 + 52/(-18)). Does t = i?
False
Suppose -5*m = 1 + 24, -43 = -4*j - m. Suppose j = -0*b + 3*b. Let o be (-64)/(-4)*2/8. Is o greater than b?
False
Let o be (6/(-4))/(114/(-6460)). Which is smaller: o or 98?
o
Let j be -7 + (2/14 - (-3197)/161). Is j less than or equal to 4?
False
Suppose 0*t = 15*t - 30. Suppose -t*b + 2*w = -3*b - 143, w + 146 = -b. Which is greater: -150 or b?
b
Let g = -0.2 + 0. Let m = 148.2 + 