nd c non-equal?
False
Suppose 3*b - 38 = -b - 2*q, b - 5*q - 4 = 0. Suppose 4*g + 10 = -l - 4*l, -3*l - g + 1 = 0. Suppose -5*s = l*h - 29, 5*h - s = 4*s + 20. Is b > h?
True
Suppose -3*x = 2 + 1. Suppose -l - 4 = -2*k, -2*l - 15 = -5*k - 3. Let i be (2 - (-124)/(-56))/(3/k). Which is smaller: i or x?
x
Suppose -13*h + 91 = -0*h, 5*w + 3*h + 5214 = 0. Which is greater: -1048 or w?
w
Let b(k) = 10*k**2 + 93*k + 357. Let d be b(-4). Which is bigger: -4 or d?
d
Suppose 132 + 12 = -24*m. Let g be (11610/(-128))/(-15) + m. Suppose 0 = -3*d - 9, u + 3*d = -3*u - 9. Is u greater than g?
False
Let u be (-2 + (-856)/(-426))*3. Suppose 13*h + 12 = 10*h, 3*n = 5*h + 20. Which is greater: u or n?
u
Suppose 0 = 25*k - 20*k - 365. Let h = k + -110. Let t(d) = d**2 + d - 36. Let c be t(0). Which is smaller: c or h?
h
Suppose 229*v - 6141 = -57*v + 19*v. Which is smaller: 9 or v?
9
Let w = -323 + 375. Let o be 16/2*((-91)/w - 17). Does -152 = o?
False
Suppose -3*n + 33 = -2*y, y - 3*y = -n + 27. Let r = 46308 + -46319. Which is greater: y or r?
r
Suppose 5*d = -5*m + 15, 0 = d + 2*m - 2 - 5. Let v be (-6 + 2)*(18/48)/d. Is v less than -0.39?
False
Let u = -3 + 4. Let v(z) = -14 + 7 + 31*z - 32*z - 5. Let l be v(-15). Which is smaller: l or u?
u
Let b(j) = -43*j**2 + 56*j - 167. Let i be b(3). Do i and 1/4 have the same value?
False
Let o(x) = x**2 + 8*x + 2. Let k be o(-8). Let b be 2 + 0 + 35 + (-4)/k. Let d = b + -34. Is d less than or equal to -1/6?
False
Suppose 6*u = -19 + 415. Let p = -66 + u. Which is bigger: 12/11 or p?
12/11
Let h be 2 - 4 - (-867 - 0). Suppose 107 + h = -2*o. Let w = -13120/27 - o. Is w greater than -1?
True
Let l(q) = -q + 3*q + 9 - 4*q. Let j be l(6). Let o = -824/3 - -272. Is j at least as big as o?
False
Suppose 52*z + 174 = 110*z. Is z < 149?
True
Suppose 2*m = 4*m + 5*l - 125, 3*m + l - 207 = 0. Let h = m + -62. Suppose -10 = -h*n - 2. Which is smaller: 2/245 or n?
2/245
Let q = 99 + -96. Suppose j - q = -8. Let f be (-191)/39 + j + 10. Which is greater: f or 0?
f
Suppose -4*o - 3 = -5*l + 22, 2*l - 10 = -4*o. Let m be (-116)/28 - (-9)/3. Are m and o nonequal?
True
Let c be (-4)/(-4 + -4)*-118. Let x = c - -18. Let p = x + 42. Is p > -3/91?
True
Let i(w) = -w**3 - 4*w**2 + 3*w - 5. Suppose -8 + 3 = -5*k, 4*n = -2*k - 18. Let t be i(n). Let h be (t/(-60))/(-3 + 2). Is 1 at most h?
False
Suppose 3*r + 4990 = 99*c - 94*c, -3960 = -4*c - 4*r. Which is smaller: 993 or c?
993
Let l be (1/(-14))/((-50)/15). Let x = 18/973 - 1219/58380. Let i = l + x. Is 1 greater than i?
True
Let m be (-539)/462*9/(-42). Is m > -37/19?
True
Let x = -94/27 + 422/297. Is x smaller than -0.4?
True
Let b(n) = n + 7. Let c be 6/4 - -1*(-6)/(-4). Suppose -4*g = -c + 15. Let u be b(g). Is 8/3 less than u?
True
Suppose 5*w + 3*w = 3696. Suppose -2*o = 4*j - o + 623, -3*j + o - w = 0. Which is smaller: -156 or j?
-156
Let l = 3262 + -3264. Let o = -0.026 - 0.364. Do l and o have the same value?
False
Let l be (-1220)/(-72) + (-16)/(-288). Let k be ((-284)/(-8))/((-2)/(-24)). Let c be 10/(-35) - k/(-21). Which is smaller: c or l?
l
Suppose 0 = -2*w + 4 - 0. Suppose 4*a - w*a + 10 = 0, -2*q + 13 = 5*a. Let x be (0 + (-1)/2)/(q/190). Is x at least as big as -32/7?
False
Let z = 96.5 + -94. Let u = z + -2.72. Which is greater: 4 or u?
4
Let b be -3*(-3)/9 + -1. Let d = -8143/167 - -5121407/9686. Let v = d + -480. Is v smaller than b?
True
Let m = 5256 + -5254. Is 0.016 less than or equal to m?
True
Let c(b) = -b**2 - 12*b + 134. Let m be c(8). Suppose 0 = 4*x, 5*y + 2*x + 0*x = -125. Which is bigger: y or m?
y
Suppose -6 = -2*y - 4*h, -2*y = -y - 2*h - 11. Let a be 2/4*(-1 - 37). Let n = a - -28. Which is bigger: n or y?
n
Let x = -19534 + 30258164/1549. Is 0 smaller than x?
False
Let x = -20 - -45. Suppose -6*r + x = -r. Let p(o) = o**3 - 7*o**2 + 10*o - 7. Let v be p(r). Which is greater: -4 or v?
-4
Suppose 183 = -22*k + 25*k. Suppose 11*d - 19*d = -480. Is d >= k?
False
Let p = -4607/2 - -11516/5. Is 0.1786 less than p?
False
Let r be 13/((-182)/(-140))*(441/5 - -1). Which is smaller: r or 890?
890
Let d = 1533 - 2731. Let q = d + 3635/3. Which is smaller: q or 15?
q
Let x = -26983 + 25851. Is x smaller than 1?
True
Let v = -621355.79 - -621356. Let c = 1899/14630 + 9/266. Let r = c + -4/11. Are v and r unequal?
True
Let n = 11209 - 11247. Which is smaller: 15 or n?
n
Let w = -0.1 - 0.9. Let j(t) = -10*t - 216. Let p be j(20). Is p at most as big as w?
True
Let y be (-21 + 129)*((-8)/(-6) + -1). Suppose 54 - y = -2*b. Which is greater: b or -5?
-5
Let j be ((-3)/15)/((-6)/10)*(-6 + 9). Which is smaller: j or -2/847?
-2/847
Let t be (-1 + 3)/(-6) + 2678/(-3). Which is greater: 2 or t?
2
Let g be 2/(-5) + (-1692)/(-4155). Let x(j) = 260*j - 27821. Let a be x(107). Which is bigger: a or g?
g
Let n(k) = 2*k**2 - 10*k + 11. Let x be n(8). Let d be ((-680)/(-102))/(2/(-18)). Let z = d + x. Is -1 greater than z?
False
Let l(q) be the third derivative of -q**4/12 + 2*q**3 - 78*q**2 + 6*q. Suppose -29 = -3*f - 4*s, -f = 2*f + 5*s - 28. Let g be l(f). Is g not equal to -11?
True
Let t = -52987/10 + 5354. Is t != 54?
True
Suppose -24*s = 18*s - 37*s - 10. Let w be (32 - 2)*1/23. Which is smaller: s or w?
w
Let m = 757.58 + -757.57. Let f = -0.01 + 0. Let r = f - -0.21. Is r >= m?
True
Suppose 10*d + 2*n + 1137 = 5*d, -2*d - 449 = -5*n. Let a = -1004 - -776. Which is smaller: d or a?
a
Let r(k) = -k**3 - k**2 + 4*k - 4. Let u be r(3). Suppose -6*d = -33 - 3. Suppose -4*a - 110 = 2*x, -2*x + 35 = 5*a - d*a. Which is smaller: a or u?
a
Let d = 7141 + -10068. Is d >= -2928?
True
Let u(r) be the first derivative of r**4/4 + 7*r**3/3 + 6*r**2 + 26*r + 22. Let z be u(-6). Which is smaller: -9 or z?
z
Let v = -72389/21 - -3447. Which is smaller: -4.5 or v?
-4.5
Suppose -2 = -4*h + 6*h. Let u be (-2)/(-3)*h - 0. Let y = 69 - 65. Is y > u?
True
Let u = 45 - 43. Let w be -1*(0 - (8 - u)). Suppose -q + w = 5*x - 3*q, 0 = -q - 3. Which is smaller: -3/7 or x?
-3/7
Let g = -6.3 - 0.7. Let o be (5140/29555)/((-2)/23). Is o at most g?
False
Let k be (-4 - -1 - -3) + (8 - 1). Suppose 8 + 27 = k*n. Suppose -6*y + 3*y + 12 = 4*m, y + 9 = 3*m. Is m less than or equal to n?
True
Suppose -32411 = -81*d + 120355. Do d and 1886 have the same value?
True
Let n = -3279 + 3266. Is n > -2/15?
False
Let o(u) = -u**3 - 34*u**2 + 84*u - 372. Let r be o(-37). Which is bigger: r or 647?
647
Let z be -6 - (-1 + 0 + -1). Let w be (z - -1)*(-4)/(-141). Suppose -195*c - 40 = -4*h - 191*c, -6*h - c = 10. Which is smaller: h or w?
w
Let z = 239 - 215. Suppose -14*t = -10 + z. Which is greater: -10/7 or t?
t
Suppose 0 = -2*i + 5*i - 6. Suppose -i*h = -4*h + 4*g, 0 = -3*h + 4*g + 2. Let b be -3 + h + -5 + 4/2. Is -6 >= b?
False
Let p(j) = -j**2 - 5*j + 35. Let h(i) = -i**3 - 10*i**2 - 11*i - 14. Let q be h(-9). Let w be p(q). Is w at most -1/84?
True
Suppose -3*q = z - 491, -q + 2*z = -5*q + 656. Let r = 174 - q. Is r equal to 3?
False
Suppose 8*w - 1392 = -4*w + 6*w. Which is smaller: -21 or w?
-21
Let d be 34/((-374)/55) + 13. Suppose 2*y - 4*q = 36, -2 = 4*y - q - 39. Is y at least as big as d?
True
Let y(m) = -6*m**2 - 228*m - 37. Let r be y(-25). Is r < -0.5?
False
Suppose 11*r - 7140 = -4*r. Let w = 475 - r. Is w at least as big as -105?
True
Suppose -m + 2*x + 367 = 0, 0*x + 4 = 2*x. Which is bigger: m or 372?
372
Suppose 5*a - 2*d = -202, -67 = 2*a + 5*d + 37. Let j be -2 - 10 - 16 - (12 - -1). Which is greater: a or j?
j
Let f = 43718 - 3278681/75. Let k = -7/3 + f. Which is smaller: k or 3?
k
Suppose -5*b = 25, -42*f + b = -37*f - 10. Let a be (-5)/10*(-116)/26. Which is smaller: f or a?
f
Let g = 3081/1958 + -136/89. Let d = 22 - 23. Is d != g?
True
Let t be (-16 + 40399)/(-21) - 8. Do -1930 and t have the same value?
False
Let j = -3329.83 + 3356. Is 2 greater than j?
False
Suppose -15*a + 13*a = -f - 70, 0 = 3*a + 4*f - 127. Suppose 2*p = p - a. Do p and -33 have the same value?
False
Let o = 3340 + -7150. Is 2/13 <= o?
False
Let m be (-4 + 3)/((-2)/(-6)) - -261. Suppose 4*c + 310 = -m. Which is greater: c or -141?
-141
Let w(i) = -85*i + 139. Let z be w(6). Let y = 371 + z. Which is bigger: y or 6/43?
6/43
Let s be (2/7 - (-7713)/(-21))*1. Which is smaller: s or -340?
s
Let p = 4142 - 12424/3