 4293 + -4291. Which is greater: 47/27 or d?
d
Let s = -9795 + 9795. Is s less than or equal to 6/1861?
True
Let y be (-37)/3*47/(329/672). Is y > -1186?
True
Let m be 188/(-517)*(-111)/4 - 10. Is 2/53 at least m?
False
Let x(u) = -2*u**2 - 42*u - 42. Let w be x(-1). Let s(y) = 25*y**2 + 4*y + 5 + 3*y + y**3 + 4 - 18*y**2. Let k be s(-6). Does w = k?
False
Suppose 0 = -b + 2*d + 11, -3*b = -4*d + 2*d - 17. Let l be ((-21)/(-4550))/(3/4). Let a = l + 3244/975. Are b and a equal?
False
Suppose -2*q - 12 = -0*q. Let x(p) = p**2 + 8*p + 1. Let g be x(1). Let m be (g - 2)/(30/(-25)). Which is greater: q or m?
q
Suppose -3*m - 598 - 770 = 0. Let b = -445 - m. Is b != 10?
True
Suppose 35*t = 5*t + 150. Suppose 574 - 128 = t*p - c, -4*p + 3*c + 359 = 0. Let x = 0 + 1. Which is smaller: p or x?
x
Suppose 82*a = -164*a + 65*a + 1046723. Is a less than 5786?
True
Let j = -160 + 157. Let q = -162 + 147.3. Let c = -3.3 + q. Is j less than or equal to c?
False
Let u be 8/14*3/(-2). Let y = 26 - 70. Let j = y - -44. Are j and u non-equal?
True
Let i be 121/(-99) - (-2 - -1). Let q = -0.066 - -15.066. Let l = 10 - q. Is l <= i?
True
Let w = 4/295 + -6/9145. Which is greater: w or 1?
1
Suppose -20 = -5*l - 4*i, 2*l + 2 = -4*i - 2. Let k(v) = -3*v**2 + 22*v + 15. Let q be k(l). Is q bigger than -2/443?
False
Let x be (-8)/(-42)*99/(-330). Let v be -2 + 20/5 + -9. Let a(c) = 2*c + 13. Let l be a(v). Does l = x?
False
Let o = 8823 + -5130. Which is greater: -2/7 or o?
o
Let g = 5425/103762 + -1/1789. Let n = g - 67/174. Let i = -2047/49769 + 9/317. Which is smaller: n or i?
n
Suppose -25*s + 30*s + 10 = 0. Let q be 3 + s - (3 + -1). Let a be q + 3 + (9 - 11). Which is bigger: a or -1?
a
Let q = 8.035 - 8. Let a = 8452.835 - 8453. Let d = q - a. Which is smaller: -5 or d?
-5
Let s = -37.538 - -36.5. Let m = 3.362 - 3.4. Let a = s - m. Which is smaller: a or 0.01?
a
Let t(m) = 25 + 25*m + 0*m - m**2 + 0*m**2. Let w be t(25). Suppose -9*r - w - 2 = 0. Which is smaller: -16/7 or r?
r
Suppose -79*m = 23*m + 2142. Which is smaller: m or 48?
m
Suppose -60 = -3*d - 9*d. Suppose 7*k - d*k - 12 = 0. Let a be 6/(k + 0)*2/(-2). Which is smaller: a or -6/59?
a
Let h = -1381 + 1386. Suppose -w = -2*w. Suppose 5*i - h*g = -2*g + 45, w = -2*i + g + 19. Is 10 at least i?
False
Let k be 2/(-4) - (-115)/10. Let u(p) = 2*p**2 + 12*p + 17. Let n be u(-4). Which is smaller: k or n?
n
Let j be (-8)/(-84)*(-20100)/(-6665). Let u = j - 2/1333. Is -3/2 >= u?
False
Let m = -76.835 + -0.165. Let f = -0.17 - -9.17. Let z = f - 10. Are z and m nonequal?
True
Let l = -136 + 128.3. Let p = -48.3 + l. Let t = 59 + p. Is 0 equal to t?
False
Suppose 1205*q = 1193*q - 17064. Is q less than -1422?
False
Suppose -2561*k + 3010*k + 4939 = 0. Let t be (-69)/20 - (-1)/4. Is t greater than k?
True
Let m(g) = 4*g - 83. Let j be m(22). Suppose 8*b - 11*b = -2*p + 12, j*p = -3*b - 12. Is b at least -3?
False
Suppose -3*y - 2*a + 686 = 0, 4*a = y + a - 247. Suppose -8 = 4*j + y. Let o be (-728)/(-60) + 8/j. Which is bigger: o or 0.1?
o
Let p = -255.56 + 257. Let l = 2.44 - p. Which is smaller: -0.173 or l?
-0.173
Suppose -57*j - 705 = -5949. Which is bigger: 80 or j?
j
Let o be ((63/(-30))/(-7))/((-50)/(-625)). Let i be (-22)/(-8) - (-4)/16. Suppose 8 = 2*j - 0*r - r, r = -i*j + 12. Which is smaller: o or j?
o
Let o = -4 - -4. Suppose o = -4*q + 8*q - 88. Let j(v) = 5*v**2 - 51*v - 101. Let m be j(-2). Which is greater: m or q?
q
Suppose 5*l - 3 = f, -1 - 2 = -4*l + f. Suppose 3*h + 96 + 54 = l. Let b = h - -99/2. Which is greater: -27/2 or b?
b
Let j = 2833.01 + -2833. Which is greater: j or 0.0047?
j
Let h = -2177 + 1441. Let u be (-4)/6 + h/138. Which is smaller: u or -3?
u
Let u = 1064 + -1019.9. Let q = u + 5.9. Let t = q - 54. Is 6 at least as big as t?
True
Let v(o) = -o**2 - o + 165. Let l be v(-19). Let r = 121 + -296. Which is bigger: r or l?
r
Let r = 40 + -70. Let m be (17*(1 + -3))/((-4)/8). Suppose 2*o - 72 = 2*s, -3*s = o + 4*o + m. Is r >= s?
True
Let h = 424 + -369. Let a be (-12)/15 - (-3949)/h. Which is bigger: a or 69?
a
Suppose 3*j - k = 2*k - 15, 2*k = -3*j + 10. Let l be (46/7 + (8 - 15))*-7. Suppose v - l*v = j. Is 2/165 greater than v?
True
Let a = -49 - -105. Let c = -38 - a. Are c and -0.1 non-equal?
True
Let s be -5 + 1 + 172612/1848. Let i = 2/21 + s. Is i less than 91?
True
Let n = 0.82 + -0.23. Let c = -7.59 + n. Let x = c + -2. Is -0.3 != x?
True
Let d(p) be the second derivative of -3*p**3/2 + 49*p**2/2 + 52*p. Let y be d(9). Is -33 at least y?
False
Suppose -6*s + 18*s = 192. Let y(q) = q**2 - 14*q - 32. Let b be y(s). Suppose 0 = k - 6*a + a + 8, b = -3*k - 5*a - 4. Are -26/9 and k equal?
False
Suppose 360789 + 270831 = -180*j. Is j greater than -7019/2?
True
Let m = -0.343 - 0.56. Let n = m - 0.097. Is n at most as big as -55/3?
False
Let l be 2*((-6)/24 + (-9)/(-12)). Let t be l/(-2)*(-2 - 12). Is 7 > t?
False
Let f be -2 + -5 + (-56587)/(-7952). Which is greater: 0 or f?
f
Let q be (-44)/(-5)*1030/28016. Which is greater: -1 or q?
q
Let a = -3077 - -2957. Which is greater: a or 3/2?
3/2
Let b(m) = m**3 - 21*m**2 + 5. Let a be b(21). Let r be (-3)/(-3) + (36 - a). Let y = -542/17 + r. Do y and 0 have the same value?
False
Let t(j) = j**3 + 5*j**2 - 6*j + 13. Let p be t(-6). Let c = -6 + p. Let x be c/((-28)/8)*2/(-2). Which is greater: x or 14/9?
x
Let c be (-985)/(-987) - (-551)/(-551). Is -5 bigger than c?
False
Let n(h) = -3*h**2 - 7*h + 10. Let k be n(-4). Let c(w) = -16*w - 27. Let i be c(k). Is 134 smaller than i?
False
Let v = -359 - -360. Let h = -1949 - -7723/4. Let o = 18 + h. Is o bigger than v?
False
Let a = -979 + 2719. Suppose 0 = j + 19*j - a. Which is greater: j or 85?
j
Let y = -627 + 610.14. Let v = y - 4.24. Let x = 5.9 - v. Which is greater: -3/5 or x?
x
Let k be (-156)/9*4*-3. Let f(b) = 13*b**2 - 172*b + 687. Let d be f(4). Which is greater: k or d?
k
Let w be (-4*27/(-72))/(1/(-66)). Let h be (14/(-6) + 5)*w/(-12). Is 23 less than h?
False
Suppose 544 = 101*n - 100*n. Let c = -381 - n. Does -924 = c?
False
Let b be (-31)/(-6) - 2/4. Suppose -5*t = -x + 45, 10*x - 11*x + 2*t = -21. Are b and x unequal?
True
Let o = 7041/119210 + 9/1310. Let d = -32/91 + o. Is -4 less than or equal to d?
True
Suppose 2*n + 25 - 9 = -4*w, 4*w + 4*n = -24. Let m be ((-10497)/99)/(13/195). Let q = 1589 + m. Is w greater than or equal to q?
False
Let x be 15/5 + 16 + 3 + -2. Suppose -5*m - 36 = -3*a, 4*m = 2*m + 4*a - x. Which is greater: m or -4?
-4
Suppose 159*j - 133*j - 90773 = -2503. Which is smaller: j or 3398?
j
Let x = 0.01904 - -0.02396. Let z be (-1)/(-2) - (-6)/36. Is z bigger than x?
True
Let u = -7581 - -7580. Which is smaller: 2/34051 or u?
u
Let k = -124 - 14. Let a be k/(-4738)*(0/(-1) - 2). Which is greater: -1 or a?
a
Let a(i) = -22 - 21 - 28 + 67 + 11*i. Let o be a(-1). Let q = 4 - 2. Is q less than or equal to o?
False
Suppose -651*a + 654*a = 13416. Is 4473 > a?
True
Let f = -2 - -3. Let b = 643 - 646.61. Let l = b + -48.39. Which is smaller: l or f?
l
Let j be 51744/(-6720) - ((-4)/(-5) - 1). Let y = -6 - -6. Is j bigger than y?
False
Suppose 11246 = -21*f - 6919. Is f > -864?
False
Let a = 95 + 21. Let c = a - 232. Is -116 at most as big as c?
True
Let s = -51 + 106. Let w = s - 78. Let a(x) = -4*x + 22. Let u be a(11). Is u < w?
False
Let w = 10 + -102. Let i = 177 + w. Let z = i + -84.9. Is z at most -28?
False
Let m be (-2)/(-1 + 1 - 7). Let s = -0.96 - 54.04. Let b = s + 47. Which is smaller: m or b?
b
Let n = 16667/3 + -5555. Is -5/22 not equal to n?
True
Let a = 11524 + -11526. Is a <= -126/71?
True
Let r = 1673 + -314523/188. Let x = -9680 + 9679. Is x not equal to r?
True
Suppose -5*c = -y + 8, 39*y = 36*y + 2*c - 2. Let p be (-82)/6 + (-2)/6. Let m be ((-24)/p)/(6/(-4)). Which is smaller: y or m?
y
Let b be (-1 + (-4)/(-6))*-39. Suppose b*f - 192 = 29. Which is smaller: 16 or f?
16
Suppose 0 = -2*o - 3*g + 929, -3*g + 2*g = 5*o - 2303. Let n be (14/(-6) + 1)*(-90)/o. Suppose -6*r + 3*r = r. Is r <= n?
True
Let s be 32/(-30) - 2/(-3). Let g = 219 - 798. Let c = 588 + g. Is s less than c?
True
Let n(p) be the first derivative of -p**2/2 - 5*p - 14. Let s be n(-11). Let q(t) = 7*t**2 - 1. Let a be q(1). Does a = s?
True
Let v = 91 + -105.