?
r
Let i = -18 - -31. Let d = 16029.4 - 16030. Which is bigger: i or d?
i
Suppose 0 = -87*m + 86*m. Let n be 1*10/(-15) - (-200)/(-6). Let d be 4 + -3 + 0 + 14/n. Which is smaller: m or d?
m
Let s = -131 - -200. Let j = s + -69. Is -5 < j?
True
Let l = -959.0594 - -959. Let g = 29.8594 + l. Is g equal to -2/5?
False
Let z = -105/19 - -3269/38. Let h = 2419/30 - z. Let r = -112741 - -112742. Which is smaller: h or r?
h
Let v = 16041 + -48122/3. Which is greater: v or 7347?
7347
Let o = 3.125 + 0.135. Let i = o - 2.9. Let p = i - 0.16. Which is greater: p or -10?
p
Let n(f) = f**3 + 4*f**2 + 2*f. Let b be n(-3). Suppose 0 = 2*o + 4, b*o + 14 + 142 = -3*v. Let t(s) = 20571*s - 41191. Let j be t(2). Which is smaller: v or j?
v
Let a = 241 + 79. Let q = a + -319. Which is bigger: q or -12/89?
q
Let w = 1601.9 + -1602. Is w bigger than -0.1268?
True
Suppose 2 - 3 = 2*d + 5*f, -10 = -3*d + 4*f. Suppose 4*x + d*h + 594 = 0, -4*h = 3*x - 8*x - 762. Is -150 > x?
False
Let p = -652 + 708. Is p less than 394/7?
True
Let k(o) = 477*o - 3843. Let r be k(8). Let d(i) be the second derivative of i**4/6 + 26*i**3/3 - 29*i**2 + i. Let m be d(r). Which is greater: m or -35/9?
-35/9
Suppose m = -27 - 3. Let j be ((-80)/m)/((-3)/9). Let c be (-5)/((-10)/j) + 5. Are 0 and c unequal?
True
Let c be (-3)/18 + 1/6. Let m = 133605/31 - 4310. Is c equal to m?
False
Suppose a = -a + 4. Suppose 0*k + k - 13 = 4*z, 7 = k - a*z. Let g = -716079 + 716078. Which is greater: g or k?
k
Let s be (2 - 0)*3/(-2). Suppose 0 = m + 2*h - 51 + 267, 0 = -3*h - 9. Let r be ((m/9)/(-5))/(-3). Is s != r?
True
Let n = -7218 - -7215. Let t be (1 - 6/3)*1. Let g be (1 - t)*10/(-6). Is n bigger than g?
True
Let w = 66.5 - 66.3. Do -3.008 and w have the same value?
False
Let z = -1409 + 1348.7. Let m = -0.3 - z. Let x = m + -58. Which is smaller: 2/5 or x?
2/5
Let d = 0.53 - -0.17. Let y(j) = 63*j + 1. Let r be y(-2). Let v be (r/15 - -5) + 4. Which is greater: v or d?
d
Let i be (-92)/6*21/(-14). Suppose 777 + i = -4*j. Let t be j/(-10)*4/150. Is 0 at most as big as t?
True
Let r be (-1 - -2)*(40/4 - 9). Which is smaller: r or -66/181?
-66/181
Let s = -11 + -22. Let i be (-9)/s*8/(-6). Suppose -272*q = -269*q + 3. Is i less than q?
False
Let i = 16352 + -8820. Do 7533 and i have different values?
True
Let q = 6 + 0. Let l be (-2 - (-2)/(-18))*(9 - 12). Let y = q - l. Is 5 greater than or equal to y?
True
Let i be (-1*(-6)/116)/((-226)/41132). Is -10 bigger than i?
False
Suppose 0 = 3*c - 2*r - 14, 109*c - 3*r = 113*c + 4. Suppose -2*v = c*v - d - 9, -4*d - 22 = -2*v. Which is smaller: -1/326 or v?
-1/326
Let f(m) = -18*m - 13. Let w = 263 + -263. Let z be f(w). Suppose -2*t - 8 = 18. Is z > t?
False
Let q be 1/(-4*1/(-20)). Let c(j) = j**2 - j - 16. Let u be c(q). Suppose 5*y - 89 - 58 = 2*b, y - u*b = 15. Are 30 and y non-equal?
True
Suppose -8*w = -4*m - 6*w + 2850, 2*m = -5*w + 1395. Is m at least as big as 711?
False
Let v = -194 - -584/3. Let l = -65.922 + -1.078. Which is bigger: l or v?
v
Let y be 10*-2*7/(-35) - (5 + -13). Is 202 smaller than y?
False
Let v(p) = -20*p + 358. Let i = -120 - -138. Let r be v(i). Is r bigger than -21/16?
False
Let o be 34/(-34)*95/(-1). Suppose -24 = -7*t + o. Which is smaller: -5 or t?
-5
Let p(v) = 5*v**3 + 25*v**2 - 104*v - 54. Let h be p(12). Which is bigger: 10939 or h?
10939
Let l(f) be the first derivative of -5*f**3/3 - 4*f**2 + 5*f + 197. Let q be l(-2). Let x = -51/20 - -43/10. Which is smaller: q or x?
q
Let g(m) = 3*m**2 - 31*m - 64. Let k be g(17). Let r = -5527/20 + k. Are 1 and r equal?
False
Let f = -724793/2434740 + 2/28985. Let n = 1/28 - f. Let x = -23.472 + 23.352. Which is smaller: n or x?
x
Let u = 2073.67 - 2088. Let h = u + 14. Let p = -539.4 - -539.3. Which is smaller: p or h?
h
Let d = 198 - 193. Suppose -2*f + d*u = 13, 0*f - 2*u = -2*f - 4. Let y be (-1)/3 - 134/(-390). Is y equal to f?
False
Suppose -3*w = 5*q + 4 + 1, -2*q - 4*w - 16 = 0. Suppose -q*i = -6*i - 12. Let o be i/(-2)*-2 + 32/5. Is 3 less than o?
True
Let r(h) = h**3 - 24*h**2 + 22*h + 22. Let b be r(23). Let u be (-125864)/(-228) + 2 - 2. Let c = 552 - u. Are b and c unequal?
True
Let u(m) = 3*m**3 + 98*m**2 - 32*m + 33. Let j be u(-33). Which is greater: j or -1/4308?
j
Let p = 513.91764 + 0.08236. Which is bigger: p or 2?
p
Let t be 25/((4 - (-33)/(-9))*3). Let v(l) = -13*l + 327. Let h be v(t). Is h > -1/58?
True
Suppose -4*n - 404 = -83*h + 81*h, 0 = -h - 2*n + 166. Which is bigger: 195 or h?
195
Let n = -762 - -713. Let b be (-1 + 6 - 4) + -6. Is n at least as big as b?
False
Let m = -25396/15073563 - 2/13791. Is m > -2/17?
True
Let p = -0.7993 - -3.1993. Which is smaller: p or -187?
-187
Let z be (-11 - -9) + (-502)/(-50). Is z at least as big as 7?
True
Suppose 170*q + 10230 = 15*q. Is -3 smaller than q?
False
Let w = -0.3 - 0.5. Suppose -5*v = 5, -2*i - 28*v + 62 = -30*v. Let g be (i/(-50))/((-99)/30). Is g at most as big as w?
False
Suppose 0 = -2*g + 4 - 2. Suppose 3*t + 2*u = 42 - 40, -3*t = -3*u - 12. Is t not equal to g?
True
Let s = 1148 + -634. Which is greater: 513 or s?
s
Suppose -5*u = -10 + 30. Let p be (-95)/30 + u/(-6). Let b be 1/7 + (-45)/21. Do b and p have different values?
True
Let l be (6/(-7576))/(37715/1216 + -31). Is -1 at least l?
False
Let i be 60/6 - 120/12. Let r = 27049/92 - 294. Which is greater: i or r?
r
Suppose 332*q - 2618 = 354*q. Is q greater than -34?
False
Suppose 20 = 5*o, 215*x - 213*x = -3*o + 72. Let r(y) = 4*y**2 + 6. Let l be r(6). Suppose -4*g + x - l = 0. Is -31 >= g?
False
Let r be 10686/(-12 + 10 + 4). Is r less than 5343?
False
Let j = 23 - 26. Let a be (j - -6)/(84/(-8)). Suppose -452 = 11*s - 463. Are a and s equal?
False
Let r = 22.7 + -53.7. Let l = r + 32. Let m = 1/16 + 27/80. Which is smaller: l or m?
m
Let s = -7 - -6. Let a = 44764/89 + -503. Is a less than or equal to s?
False
Let v = -3.41 + 0.71. Let j = 2477 - 12386/5. Which is smaller: v or j?
v
Let s(o) = 2*o**2 + 13*o - 43. Let y be s(-9). Let l be (y + 115/(-60))*-3. Let g be -3 + -3*4/(-6). Are l and g equal?
False
Let c = 469 - 671. Let w be 33/671*c/10 - -1. Which is smaller: 1 or w?
w
Let y(b) = -15*b - 5 - 14 + 16 - 2*b**2. Let m be y(-7). Suppose 5*q + i = -137, m*i + 7 = 5*q + 134. Which is greater: q or -24?
-24
Let a be 4/(-5007)*(-1)/2. Let q = 126842/5007 + a. Is q greater than or equal to -0.4?
True
Let h be (6/(-18))/(4/1308). Let x = 42 + h. Let q = x + 602/9. Are q and 1 nonequal?
True
Suppose -5*k - d = -1512, 4*k - 756 = 5*d + 442. Let t = 301 - k. Let b = -290 + 4352/15. Which is smaller: b or t?
t
Let u = -6 + 7. Let v = -24.7 + 28.4. Is v != u?
True
Let h = 123 + -122. Let w be (2 - 3)/((1911/6)/(-7)). Do w and h have the same value?
False
Let p be 16/48 - (1 - (-177)/45). Let l = p + 271/60. Is 0 greater than l?
True
Let g = 1948 + -765. Let i be (-155)/g - 2/(-14). Suppose -24*f = -f - 23. Which is greater: i or f?
f
Let i(b) = -1057*b**3 - 25*b**2 - b + 1. Let r be i(-1). Is r at most 1036?
True
Let x(z) = -z**2 - 6*z + 317. Let h be x(-21). Let b be (1 - 2)*h + (-4 - -5). Is 2/161 greater than or equal to b?
True
Let f be (-126)/28*2/(-9). Which is bigger: f or 2/9519?
f
Let u be (-3 + (5 - 3))/(3/(-771)). Which is smaller: 256 or u?
256
Let d(n) = -3*n**3 - 2*n**2 + n + 2. Let c be d(-1). Let t be (-28)/126 + c/9. Suppose -4*v + 5*v - 1 = t. Is v smaller than -1/42?
False
Let c = 59 - 58. Which is greater: c or 2/22033?
c
Let y(s) = 5*s**2 + 10*s + 29. Let q be y(-4). Let a be ((3*-4)/(-2))/(q/92). Which is smaller: 31/4 or a?
31/4
Let l = -12734 + 36304/3. Is -633 smaller than l?
True
Let t = 4378665/45071 - -12/3467. Suppose -189 = -3*z + 102. Let h = t - z. Is h >= -1?
True
Let w be (-272030)/76 + 897/(-5681). Are w and -3580 non-equal?
True
Let u = 125 - 122. Suppose -4 = l + 4*s + u, -2*s - 16 = -2*l. Does 1.7 = l?
False
Let p(u) = 2*u**2 - u + 6. Let b be p(4). Suppose -1 = 2*f - 3, 0 = 3*t + 4*f - 271. Let c = -54 + t. Which is smaller: c or b?
b
Let m be 0 - (3 - (1 + 1)). Let d be ((-86)/2 + 1)/(3/(-4)). Let a be (d/(-42))/(28/6). Which is greater: a or m?
a
Suppose 4*g - 2*g = -4. Let i be (13/(4 - (90/27)/(-1)))/(-3). Do i and g have different values?
True
Suppose 3*h = 8*h - 10. Let m = 1593 - 1590. 