/(13/2 - 7). Suppose 0 = -0*t + 3*t + 5*s - 10, 4*t - s + 2 = 0. Is t greater than r?
False
Let n = -17404 + 23721653/1363. Let d = 10913/12267 - n. Suppose 0*u = -5*u + 10. Which is smaller: d or u?
d
Suppose -5*x = 24*s - 28*s + 5871, 0 = 3*s + x - 4427. Is 0.2 at least as big as s?
False
Let a(j) = -28*j**2 + 10*j + 27. Let g be a(3). Which is greater: g or -2525/13?
-2525/13
Let g be (1861138/446490)/(-1 + (-11)/(-12)). Let h = -6350/123 - g. Let c = -2/363 - h. Which is greater: 1 or c?
c
Let r(p) = 6*p**2 + 178*p + 4513. Let i be r(-30). Is i <= 13720/3?
True
Let r = 4 - 0. Let o = r + -3.86. Suppose 0 = 135*l - 156*l + 21. Does o = l?
False
Suppose -2089*n - 2*l - 1714 = -2087*n, -2 = -2*l. Is -857 not equal to n?
True
Let s(b) be the third derivative of -b**5/60 - b**4/8 + b**3/3 + 4*b**2. Let l be s(-2). Let a be (-30)/l*(-12)/15. Is 4 at most as big as a?
True
Suppose 2*a + 2*i = 4*a + 94, -i = a + 49. Let b be 2*((-268)/a + 1 - 0). Which is greater: 12 or b?
b
Let h = 631 - 611. Let x be -484 - (-3)/(-12)*h. Are -489 and x nonequal?
False
Let y = 459.9 - -89.6. Let i = y - 549. Is 24 > i?
True
Let x = 97661/113970 + -294/655. Which is smaller: 1 or x?
x
Let b be 2*(-7)/28*3458. Is b less than -1728?
True
Let w = -17 + 19. Let x be (-84)/(-72) + w/4. Let g = x + -2. Which is smaller: g or -4?
-4
Let c = 14988.9778 + -15219. Let h = -0.0222 - c. Let x = 164 - h. Is x at most as big as 0?
True
Suppose 10*v - 276 = -286. Suppose -3*w - 2470 = -688. Let x be 240/w + 4/22. Is v != x?
True
Let p = 16 - 29. Let q = 27 + p. Let g = -739/60 + 376/15. Which is smaller: q or g?
g
Let m = 506 + -471.4. Let s = 34.5 - m. Is s bigger than 98?
False
Let n = 7691 + -12014. Are n and 2/5 nonequal?
True
Let k = 88 + -83. Let f(y) = y**3 - 6*y**2 + y - 12. Let s be f(k). Let u = -31 - s. Which is greater: u or -2/27?
u
Let x = 359.4 - 359.1699. Which is smaller: x or 1?
x
Let n be ((-42)/8)/(9/564). Which is greater: -331 or n?
n
Let q(v) = -5*v + 130. Let b be q(24). Let l be 243/270 - (-1)/b. Is -4/51 at least as big as l?
False
Let m be (1 - -1)*3937/(-62). Let x = -281 - m. Which is smaller: x or -153?
x
Let x be (-62)/(-10) - (-168)/(-140). Suppose q + 76 - 12 = 3*v, x*v - 3*q - 108 = 0. Is 28 greater than or equal to v?
True
Suppose -5*d + 28 = 2*d. Let w be (0/2)/d - 0. Let v be (-324)/1545 - (-6)/30. Which is smaller: w or v?
v
Suppose h = 4*c - 429, -3*c = 2*h - 198 - 110. Which is smaller: 0.3 or c?
0.3
Let s(n) = -145*n**2 + 11*n + 5. Let y be s(-5). Let z be 7/y*(-5)/18. Let j = -416/106785 - z. Which is smaller: 1 or j?
j
Suppose 12 = -9*a + 84. Suppose 5*p = -10, -5*i + 3*p + 25 = a*p. Suppose -i*f = f + 8. Is -2/83 < f?
False
Let k = 578 + 172. Let u be (-5 - 0)*12/k. Which is smaller: -0.12 or u?
-0.12
Let k be (24/5)/(-4)*(-23)/(-92)*-5. Which is smaller: k or 23/7?
k
Let h(x) = 5*x + 139. Let b be h(-28). Which is smaller: -1/21067 or b?
b
Suppose t = -194 - 13. Let z = 505 - 712. Is t smaller than z?
False
Let o = -245 + 178. Let w be ((-270)/(-20))/(((-3)/15)/1). Which is smaller: o or w?
w
Let u = 255.47 + -0.47. Let d = u + -259. Is 4/7 < d?
False
Let h be (-408)/(-780) - (2/(-3))/(10/6). Are h and -0.1 equal?
False
Suppose 17 = -5*r + 3*j, -r + j + 19 - 22 = 0. Let i(t) = -t**3 + 5*t**2 - 3*t - 1. Let m be i(3). Let s = -11 + m. Which is greater: s or r?
s
Let w(c) = 2*c**2 + 7*c + 8. Let l be w(-2). Suppose 2*s = -h - 7, -3*h - 2*s + l = h. Let j be h/(-2) + 12/(-40). Is 0 greater than j?
True
Let f = 31.4 - 38. Let a = -0.4 + f. Let w = a + 5. Which is smaller: w or -1.2?
w
Suppose 4*m - 1 + 5 = 0. Let r(g) = g**2 + 2*g - 26. Let t be r(5). Let y be 0/t*m*1. Which is bigger: 46 or y?
46
Suppose -38*q + 600 = -73*q + 39*q. Is -5 at least q?
False
Let t be (-65)/(-13) - (-1 - (-426640)/71108). Which is smaller: 0 or t?
0
Suppose 0 = 5*m - 6*m - 73. Let r = -86 - m. Let q = r + 18. Which is smaller: q or 3?
3
Let u(d) = 20*d**2 + 10*d - 22. Let q be u(3). Let k be q/270 + (-6)/15. Is k bigger than -1?
True
Let n(m) = -20*m - 502. Let p be n(-25). Which is smaller: p or -17/32?
p
Suppose 25*a - 249 = 4*x + 24*a, -252 = 4*x - 4*a. Is x > -60?
False
Let k(v) be the third derivative of -49*v**6/120 - v**5/60 + v**4/12 - v**3/6 + 3*v**2. Let q be k(1). Let t = -0.2989 - -0.2989. Does t = q?
False
Let n = 2/31867 + 924117/414271. Let u = -1 + 3. Is u at least as big as n?
False
Let y = 35.9 + -34. Let a = 664.2 - 665. Let g = y - a. Which is bigger: -1 or g?
g
Let r = -4089/16420 - 4/4105. Which is bigger: r or -18/353?
-18/353
Let k(m) = -80*m**2 - 1519*m + 19. Let d be k(-19). Which is bigger: d or -13/397?
d
Suppose -x + 1 + 12 = -4*n, 3*x + 4*n = -25. Let s(o) = 6 - 2*o + 5*o + 21. Let c be s(x). Is c equal to 20?
False
Let w = -30 - -27.1. Suppose -80*l = -6775 + 6375. Which is smaller: l or w?
w
Let t = 3849/20469641 + 1/64573. Which is bigger: t or 0?
t
Let u = 5932 + -5929. Do 201/10 and u have different values?
True
Let l(d) = -d**3 + 91*d**2 + 191*d - 487. Let r be l(93). Suppose 0*t = -4*t + 352. Suppose 0*o = -4*o - t. Do o and r have the same value?
True
Suppose -4*t + 2222 = -2*d, 4461 - 1128 = -3*d + 2*t. Let p be (-2 - -4) + d/550. Let b = 4.1 - 4. Which is greater: b or p?
b
Let r(w) = w**3 + 13*w**2 + 12*w. Let f be r(-12). Let q = -1 + f. Let t be (-6 - 45/(-7)) + (-184)/413. Which is smaller: q or t?
q
Let p be 7/(1260/(-1131)) - (-4)/(-16). Let f = p - 9/5. Which is smaller: f or -9?
-9
Let p(i) be the third derivative of -i**4/3 - i**3/2 - 231*i**2. Suppose -b = -0*b - 2*j - 12, 3*b - 1 = -j. Let x be p(b). Which is smaller: x or -18?
x
Let t be -18 - -19 - 210/209. Let o be -2*3/54 - (-100)/90. Is o > t?
True
Let j = -142 - -165. Suppose -5*m - j = -8. Let y = 33012/13 + -2542. Which is bigger: m or y?
y
Let u = 31992 - 23258186/727. Suppose -4*a = -r - 3, -4*a + 5*r + 4 + 11 = 0. Which is smaller: a or u?
u
Let d be 1572/(-525) + (-2 - -5). Suppose 0 = -4*y - 5*k + 497, -y - 4*k + 244 = y. Let g = y + -127. Which is greater: d or g?
g
Suppose -5*n + 206 = 6. Let u be (-47 + 50)/((-9)/(-123)). Is u not equal to n?
True
Let i be (-1*1)/(7 + -8). Let q(d) = d**3 - 5*d**2 + 6*d + 4. Let l be q(2). Let t be i*(-3 + l/1). Which is smaller: 0.2 or t?
0.2
Suppose -90 = -11*l - 13. Suppose l*a - 472 = 1026. Is 215 at least a?
True
Let l be -8*(790/80 + -10). Let p = -883/13 - -68. Is p smaller than l?
True
Let j = 2272 - 2273. Which is smaller: j or -61/14?
-61/14
Let o = 0.6 + 1.9. Let l = -392 + 384. Let r be l/(-20) + -4 - -4. Is r at most as big as o?
True
Suppose 0 = -w - 0*w - 2. Let r = 303428/13 - 23342. Is r < w?
False
Suppose 24 = 8*m, -d - 244 + 86 = -3*m. Is d at least as big as -747/5?
True
Let f(t) = 8*t - 26. Let o be f(7). Let w be (-36)/(-270) + 1586/o. Let x = w + -54. Is 1/15 less than or equal to x?
False
Let p = 83866/7 - 11981. Suppose 5*r - 1 - 4 = 0. Which is smaller: r or p?
p
Suppose -3*s - 3 = 3, -3*v = s - 40. Let x be 442/(-15) + (-1)/((-21)/v). Is -29 bigger than x?
False
Let j = -336 + 737. Let a = -400.68 + j. Which is bigger: -1/3 or a?
a
Let r = 589/10836 - -2/387. Suppose 1 + 7 = -8*m. Which is smaller: r or m?
m
Let b be (6/(-10) + (-98292)/(-163740))/((-6)/15). Which is smaller: 2 or b?
b
Let r = 879.79 + -863. Let o = r - -0.81. Let w = -1.6 + o. Which is bigger: w or 0.1?
w
Let l(a) = 2*a + 18. Let k be l(-7). Suppose -k*m + 38 = 8*u - 5*u, -5*u = -3*m + 14. Suppose -2 - 3 = 3*d + 2*w, -4*d - 2*w = m. Is 4 at most as big as d?
False
Let k = -11.74 - -0.74. Let l = 656 + -653. Which is bigger: l or k?
l
Let f = -4941 + 4608. Does -379 = f?
False
Suppose 3*a + 4*g + 53 = 80, 0 = -3*a - g + 9. Is 25/74 smaller than a?
True
Let v = -12166 - -73001/6. Suppose 0 = -4*r + 3*x + 3, 4*x + x = 5*r - 5. Is v greater than or equal to r?
True
Let x = 3690111/227 - 16256. Which is greater: -1 or x?
x
Let m = 232464 - 6276530/27. Suppose -3*l + 16 = -2*z, -3*l + 0*z - 4*z + 4 = 0. Suppose 3*b - f = l, 5*b + 3 - 4 = -4*f. Is b less than or equal to m?
False
Suppose 4*m - 60 = -0*m - 2*v, -5*m - 2*v = -77. Let n(z) = z**3 - 2*z**2. Let j be n(2). Let c be (j + 2)*(-68)/m. Do c and -7 have the same value?
False
Let c = 35.4 - 35.254. Let q = c + 1.854. Is -0.6 at least q?
False
Let j = -3 - -2.9.