d v unequal?
False
Let w = -17388 - -15871. Is -3 smaller than w?
False
Let q = 590.09 - -7.91. Let w = q - 409. Which is smaller: w or -0.1?
-0.1
Let p be 2/(-10 - -2) + 235/188. Is p greater than or equal to -6/19?
True
Let r be (-132 - -131)*(-916)/(-2). Do r and -457 have different values?
True
Let k = 15923/20 - 796. Let g = -28 - -32. Suppose -g*l + 6*z = z - 14, -4 = 4*l + 4*z. Is k at least as big as l?
False
Let b(m) = -3*m**2 - 307*m - 1552. Let d be b(-5). Is 6 less than d?
False
Let q(g) = 3*g**2 + 5*g - 7. Let u be q(-3). Let p be (28 - 29)/((-1)/u) + 31. Which is smaller: p or 40?
p
Let g(b) = b**2 - 2*b - 258. Let o be g(0). Let r be -2 + o/(-69) - 2. Let j(v) = v**3 - 45*v**2 + 162*v + 82. Let y be j(41). Which is smaller: y or r?
r
Suppose 176 - 68 = 2*o - x, -4*x + 891 = 19*o. Let w = 85 - 35. Which is bigger: w or o?
w
Let d(u) = 2*u**2 - 4*u + 4. Let c be d(2). Suppose 9*s - 13*s = -c. Let o be (6 - 7)/(s/(-5)). Is o at least as big as 6?
False
Suppose -2*b + 2663 - 208 = -3*u, 0 = -2*u + 5*b - 1611. Is u at most -823?
True
Let c(v) = 5*v + 55. Let l be c(-8). Suppose -y + 13 = l. Let f be (y/(-2)*-3 - -5) + -34. Which is bigger: -34 or f?
f
Let v = -89 + 39. Let x = -111 - v. Let d = 51 + x. Which is bigger: d or 2?
2
Let r = -12.959 + 12.959. Which is smaller: r or -1731?
-1731
Let h = -23.98847 - 0.01153. Is 0.057 less than h?
False
Let h be (-4)/1 - (45 + -40). Let z be (33 - 9)*((-15)/h)/(-5). Which is greater: z or -14?
z
Let b be (104/(-16) - -7)*-2. Let r be 4/b*(4 - (-54)/(-12)). Does r = -0.05?
False
Suppose 3*s + 1060 = -4*f, -37*f - 3*s = -36*f + 265. Are -266 and f non-equal?
True
Let w be (-1 - -11)*(-3)/(-6). Suppose -5*p + x = -0*p + w, 3*x = 2*p + 15. Let b = 12489/4 + -3123. Is b greater than or equal to p?
False
Suppose 3*l - 7*l + 6*l = 0. Suppose s = 3*q - 3, 5*s + l - 2 = -2*q. Is s not equal to 2?
True
Let n be 2124/90*30/3. Which is bigger: n or 1650/7?
n
Let i be (-3)/(1/(-1)) - 0. Suppose -3*g = -4*d + 112, -4 = 8*d - 6*d. Let p be (-15)/2*16/g - -2. Which is bigger: p or i?
p
Let u be 807/(-90) + (23 - 8 - 6). Is u at most 114?
True
Let t be ((-254)/(-60) + -4)*(-1)/((-28)/68). Is 1 at least t?
True
Let l be 5/((-10)/(-6)) + -2. Let m(p) = -80*p**2 + p + 16. Let x(c) = 27*c**2 - 5. Let i(d) = -2*m(d) - 7*x(d). Let y be i(l). Is -28 less than or equal to y?
True
Let m(j) = -2*j**3 + 6*j**2 - 67*j + 126. Let d be m(2). Is d greater than or equal to 34/111?
False
Let h = 9850 + -9902. Is -171 greater than h?
False
Let l be 5/4*(-28)/(-20). Let z = 1717 - 1717.1. Which is smaller: l or z?
z
Suppose 2*k + 17 = 3*p, 4*k + 32 = 4*p - k. Suppose n = 4*q + 9, 8*n - 4 = 10*n + p*q. Which is greater: n or 2/185?
n
Suppose 136 = -7*a + 11*a. Suppose 0 = -35*i + a*i + 8. Are 2 and i unequal?
True
Let t be (9/36)/(((-405)/(-30))/27). Let p = -0.0502 + -44.1498. Let u = p + 40. Does t = u?
False
Suppose 9*o = -3*q + 7*o - 171, 3*q + 171 = 4*o. Which is bigger: q or -64?
q
Suppose -1131 - 3923 = 133*u. Suppose 3*q + 39 = 2*q. Which is smaller: u or q?
q
Let o(a) = -2*a**2 + a. Let w be o(-2). Let r(s) = -1358*s + 6781. Let t be r(5). Which is bigger: t or w?
t
Let d = 123.4 - 90.4. Are d and -15 nonequal?
True
Let b = -566/7995 + 4/205. Let n be (-2)/4 + 170/20. Let q = -25/3 + n. Are b and q non-equal?
True
Let h = 494 - 513.6. Let n = 16.6 + h. Let t be ((-2)/9)/(5/3). Which is bigger: t or n?
t
Let x = 405 - 372.4. Let y = x + -26. Let a = y - 4.6. Which is bigger: -0.4 or a?
a
Let k = -17356 + 17014. Is k at most -1.1?
True
Let p = -55531/11 + 5046. Are p and -2 non-equal?
True
Let s(q) = -13*q + 1168. Let c be s(-11). Is 0.12 less than c?
True
Let f be ((-22)/100)/(4560/(-960)). Which is smaller: f or -1?
-1
Let z = 6096 - 249947/41. Is 0 at least as big as z?
True
Suppose 25*v = -3*w - 2595, 1692 = -2*w - 33*v + 29*v. Which is greater: -4202/5 or w?
w
Let j be 6*3/63*14. Suppose 7 = -f + 5*v, -j*f + 2*v - 11 = -1. Let k be (-7)/(-5 + f) - 50/14. Which is bigger: -4 or k?
k
Let n be (-9)/((-45)/30*59). Is -1 at least n?
False
Suppose -t = 4*t + 2640. Let o be ((t/56)/(-3))/((-1)/(-7)). Is 24 >= o?
True
Let p be 9 + (-44 - -20) - 21. Is -7 > p?
True
Let m = -209 - -213. Let c be (-1)/((2/(-4))/((-6)/m)). Is -3 less than or equal to c?
True
Let i = -257 - -284. Let o = -4 - -9. Which is smaller: o or i?
o
Let s be -96*(5 + ((-6)/(-9) - 53/(-3))). Is s >= -2239?
False
Let v = 901 + -1835/2. Let z(i) = 6*i - 18. Let f be z(14). Let y be (-1)/2 + f*(-4)/16. Which is smaller: y or v?
y
Let b = -3426 + 10099/3. Let o be -71 - (-29 - -30) - (-3 - (-5 + 14)). Which is smaller: o or b?
o
Let a = -164 + 148. Let t be a/60*(-10)/(-4). Which is smaller: -89/4 or t?
-89/4
Suppose p + 4 = 2*j, -3*j = 2*p - j + 8. Let f(r) = r**3 + 21*r**2 + 23*r + 53. Let d be -27 + (-2 - (2 + -6)) + 5. Let x be f(d). Is x at least as big as p?
False
Let d be 128/(-3) + 1/(-3). Let q be 57 + (-30544)/544 - (-12)/(-34). Is q < d?
False
Let i = -18 + 49. Suppose 28*s + 18 = i*s. Let o(r) = -2*r**2 + 15*r - 12. Let m be o(s). Which is smaller: -1 or m?
-1
Let o = -23828 + 24178. Which is bigger: 377 or o?
377
Let b be 4/(-13)*(425/34 - 5). Let q = -2.031 + 0.031. Are q and b unequal?
True
Let p be (-2)/(-10) + 4/(-20). Let a(z) = -z**2 - 2*z + 8. Let s be a(2). Suppose -x - 4*b + 17 + 25 = s, x + 2*b - 52 = 0. Which is greater: x or p?
x
Let j = -1.4328 - -0.7328. Is 175/6 <= j?
False
Suppose 0 = 30*g - 32*g + 4. Suppose -s - 495 = 4*s + 3*l, -3*l = g*s + 189. Which is greater: -101 or s?
-101
Let a be (-60)/8*(-12)/9. Let b be ((-12)/20)/(2/a). Let v(z) = -2*z**2 - 84*z - 166. Let x be v(-40). Are x and b equal?
False
Let g be 4*((-4)/120)/(1 + 0). Which is bigger: g or -292?
g
Let t(d) be the third derivative of d**5/15 + 11*d**4/24 - 5*d**3/3 - 10*d**2. Let r be t(-5). Suppose -26 = r*c - 37*c. Is 14 > c?
True
Suppose -9*q + 5*q = -4. Let x(y) = 416*y**3 - 3*y**2 + 2. Let v be x(q). Which is smaller: -1 or v?
-1
Let n = 0.7 - -0.3. Let c = 267143 + -267163.1. Are c and n non-equal?
True
Let h = -1292 - -1441. Which is bigger: h or 148?
h
Suppose -g - 4*g = -20, 2*v = -4*g + 16. Let q be v + (0 - -2) + 1. Suppose -q*d + t - 78 = -2*t, 130 = -5*d - 3*t. Are -25 and d nonequal?
True
Suppose -33 = -4*f + 7. Suppose 4*y = 4*n - n - 29, f = -5*n - 5*y. Let c be 14/(-63)*17/(-2). Are n and c non-equal?
True
Let q = -1.762 - 0.188. Let z = -2.06 - q. Which is smaller: -1/4 or z?
-1/4
Let s = 477663/5 + -94038. Let y = s - 40513/30. Let i = 142 - y. Is i < -3?
False
Let c = 0.21 - 0.2. Let p = c - -0.59. Let n = 129.64 + -129.64. Which is smaller: n or p?
n
Let t(h) = -h**3 + 5*h**2 - 8*h + 10. Let f be t(4). Let b(n) = n**3 + 4*n**2 - 10*n + 13. Let j be b(f). Is j < 2/145?
False
Suppose -9*c - 16 = -c. Let b(k) = -5*k - 5. Let n be b(c). Suppose -n*w + 8*w = -84. Which is smaller: w or 1/3?
w
Let r be 12/(-16)*9768/(-285381). Which is smaller: r or 1?
r
Suppose 20 = 3*c - 4*y + 2*y, 3*c + y = 17. Let a be (135/c)/(-9) + 2. Let u = 34.926 - -0.074. Is u at least as big as a?
True
Let x = 98/3 + -33. Let n = 5.8508 + -5.8558. Which is smaller: x or n?
x
Suppose -l = 294*v - 291*v + 6148, 0 = -4*l + v - 24631. Which is smaller: l or -6158?
-6158
Let l = 17 + -12. Suppose -l*r = r - 108. Is 20 > r?
True
Let h = 3928 - 35354/9. Are h and -271 equal?
False
Let l = -14849.999 + 14832. Let p = -18 - l. Let c = p - 116.999. Is c > 1?
False
Let k = -19.16 - -1.96. Let a = k - -9.2. Which is smaller: a or 0.2?
a
Let w be 1 + ((-4)/1 - -2). Let l be 1 + (4 - (1 + 7)) + 5. Let o be -1 + l + w/(20/8). Is 1 != o?
True
Let g = 20.272 + -20.762. Let q = 1 - 2. Does g = q?
False
Suppose 33 = -23*l + 125. Suppose 0 = -l*n + 5*y - 136, n + 3 = -4*y - 52. Which is smaller: n or -36?
n
Let c be (9/1036)/(72/84). Let b = c - -2933/2664. Is b < 7?
True
Suppose -o + 5*w = -18, 6 = -o - o - 4*w. Suppose 2 = -4*m + 5*y, 5 + 16 = -5*m - o*y. Let n be -18 + -3 - 2 - m. Which is smaller: -22 or n?
-22
Let n(v) = -2*v + 28. Let u be n(16). Let j(i) = -i - 11. Let y be j(u). Let s(o) = -o - 9. Let p be s(y). Which is smaller: p or -12/13?
p
Suppose -3*n - 4*f - 44 = n, 0 = 2*f - 4. Let c = -888 - -553. Let m = 3017/9 + c. Which is smaller: m or n?
n
Suppose 2*m - 3*v + 56 