rue
Let a = 6.8 - 9. Let c = -2.057 + -0.043. Let j = a - c. Which is greater: j or 0?
0
Let r = -0.0705 - -0.1705. Let y = 6 - 6.14. Let h = -5.86 + y. Are h and r unequal?
True
Let s = -3988 - -4417. Which is greater: s or 1721/4?
1721/4
Let x(s) be the first derivative of s**3/3 + s**2/2 - 17*s - 178. Let k be x(-9). Is k < 54?
False
Suppose 0 = -29*r + 5 + 53. Let m(a) = 3*a**2 - 4*a - 4. Let f be m(r). Is 1/409 equal to f?
False
Let j = 922 + -640. Let w = j + -811/3. Which is smaller: w or 11?
11
Suppose 2*s + 4*d - 34 = 0, 3*s + d - 31 = -0*s. Suppose -x + s = 8*x. Which is greater: x or -3?
x
Suppose -22 = -17*r - 243. Let u be (998/4)/(r/26)*-1. Is 499 greater than or equal to u?
True
Let u be 9*(0 + 2)*5/15. Is u at most as big as 246/37?
True
Let m be 7 + -16 + 5 + 6. Suppose -m*u + 70 = -3*f, u - 47 = -0*f + 2*f. Is -24 smaller than f?
False
Let b(t) = -t**2 + 76*t - 1435. Let s be b(41). Are 16/777 and s unequal?
True
Suppose -45*i + 5*i - 57013 = 31*i. Which is smaller: i or -804?
-804
Let a be (-506)/(-92) - 2/4. Suppose -j - 4*j = -3*r + 37, 0 = -a*r - 4*j. Let c = -250 + 509/2. Is r less than c?
True
Let f(i) = -2*i**2 + 52*i - 153. Let n be f(3). Which is smaller: n or 40?
n
Let r(h) = -2*h**2 + 11*h + 2. Let f be r(4). Which is greater: -59 or f?
f
Let a be (0 - -2)*((-5)/30 - (-146)/12). Which is bigger: 31 or a?
31
Let m be (2/(-2) - 0)*2. Suppose -2*u = -3*f - 169, 11*f = u + 6*f - 95. Let p be 1/16*(m + u/36). Which is greater: p or 1?
1
Let m = -21.6 + -7.4. Let w = -217 + 216.527. Let r = w - -0.373. Is m at most as big as r?
True
Let n = 632 + -531. Suppose -n*j + 100*j = 245. Do -245 and j have the same value?
True
Let w = -0.22 - -7.22. Let n = 6.2 - w. Let t = n + 0.9. Is 17 >= t?
True
Let k be (-18006)/1134 + (-117)/(-91). Which is smaller: -14 or k?
k
Let f(t) = t**3 - 5*t**2 + 3. Let y be f(5). Suppose -y*q = -q + 10. Let j(z) = z**2 - 10*z - 29. Let w be j(-2). Is q >= w?
True
Let b be (70 + 8)/((-3)/2*(-2)/13). Which is bigger: b or 339?
339
Suppose 30*n + 14 = 29*n. Let a = -101 - -84. Is n != a?
True
Let h = 100 + 7. Let v = -129.8 + h. Let f = v + 23. Which is smaller: -0.06 or f?
-0.06
Let m be (10/140)/((-4)/(-32)) - -632. Let j = m + -633. Which is bigger: j or 2?
2
Let z = 192 - 478. Let l = z - -285.841. Which is smaller: l or -1?
-1
Suppose 2*h + 12 = -4*h. Let b be 5 + -65 + (1 - h). Is -58 less than or equal to b?
True
Let a = -710.5 + 706.5. Which is smaller: -1344 or a?
-1344
Let o = 352 + -1044. Let r be (o/(-40))/(2/4). Let x = r + -17809/515. Do 1 and x have the same value?
False
Let x be 1/3 + 155/(-60). Suppose 0 = -h + 5*h - 5*d - 87, 2*h = 5*d + 51. Let f be (-16)/20 - h/15. Which is smaller: f or x?
x
Let s = 0.42 + -1.43. Let q = 0.91 + s. Which is smaller: 2.3 or q?
q
Suppose -3*s = -15*s + 708. Let d = s + -37. Are d and 20 nonequal?
True
Suppose -5*l + 3*g = 16, 2 = 220*l - 224*l - 3*g. Let z be (-2)/(-6)*(-3)/(-1). Let p = z - 5. Do l and p have the same value?
False
Suppose 0 = 2*h + 84*v - 88*v + 8, 22 = 5*h + 4*v. Are -0.721 and h non-equal?
True
Let u = 2.9 + -3.9. Let d(q) = -q**3 - 7*q**2 - 5*q - 2. Let l be d(-6). Is l at least u?
False
Let q be (-8)/(-28) + (-31)/(-168)*-2. Let g = 66.1 - 66.4. Are q and g unequal?
True
Let a = 2195 - 2033.3. Let j = 130.29 - a. Let s = -31 - j. Is s at most -0.2?
False
Let g = -0.05 - 7.95. Let l = 5689 - 5696. Let a = g - l. Does 54 = a?
False
Let u = 2962 + -59227/20. Let z = 179/260 - u. Is -1 bigger than z?
False
Let l(z) = z**2 + 42*z + 189. Let f be l(-5). Suppose -4*d = 4*u + 1772, f*u - 7*u - d - 1335 = 0. Which is smaller: -445 or u?
u
Let y(b) = b**2 - 19*b - 14. Let d be y(25). Suppose 0 = -6*f + 4*f - d. Let x be (0 - f)*(-3)/6*-1. Which is smaller: x or 33?
33
Let c be (-1220)/(-5)*(-66)/24. Let x = c - -486. Which is bigger: -186 or x?
x
Suppose -8*a + 36*a + 26*a = 1566. Let p be 114/4 - (-1)/2. Is a less than p?
False
Suppose 0 = 9*v - 657 + 45. Suppose 34 = -17*m - v. Which is bigger: m or -4?
-4
Let a be (1044/120*44/(-2))/((-516)/60). Which is greater: a or 22?
a
Let o = -36889 + 36889.437. Does 1 = o?
False
Let w be ((-10012)/(-7))/((-8)/70*5310/(-236)). Is 557 at least as big as w?
True
Let b = 148.7 + 47.1. Let q = -196 + b. Is 254 less than or equal to q?
False
Let w(l) = -613*l - 2887. Let f be w(-15). Is f at least 6308?
True
Suppose 0 = 4*q + 799 - 803. Which is greater: q or -10/1131?
q
Let i be (-337568)/(-80) - (-115)/(-25). Which is bigger: i or -1?
i
Let y = 1/432 - 3029/2160. Let k(o) = -8*o - 41. Let c be (-2 - 15/(-10))*10. Let j be k(c). Which is greater: j or y?
j
Let h = -973 + 976. Let s = 2 + 3. Is h at most as big as s?
True
Let m be 661628/(-110) - 1/2. Let n = m - -6029. Let i = n + -61/5. Which is bigger: -2/21 or i?
i
Suppose 24*x - 549 = -117. Suppose -4*i - i - 2*l = -115, 0 = 3*i + 5*l - 88. Which is greater: i or x?
i
Suppose 55 = 5*d - 120. Let l be 1/((-7)/(-2))*(-49)/d. Which is smaller: 0.074 or l?
l
Let w(b) = -b**3 - 8*b**2 - 8*b + 12. Let r be w(-8). Suppose -y - r = k, 5 = 3*y - 1. Do k and -1 have the same value?
False
Suppose -21*j - 50 = 475. Let y be 20/j*(-25)/(-2). Let v = y + 3. Which is smaller: 2/5 or v?
v
Suppose 0 = 28*n - 23 - 5. Let f(o) = -3*o - 13. Let w be f(n). Which is smaller: -18 or w?
-18
Let d(q) = -8*q**2 + 3*q + 10. Suppose -16*z + 13*z - 42 = 0. Let v = z - -12. Let j be d(v). Which is smaller: -29 or j?
-29
Let z = 79 - 86. Let h(d) = -5*d - 19. Let k be h(z). Let o = k + -17. Which is smaller: 3/74 or o?
o
Let b = -60.3382 + 0.0382. Let r = b + 52.3. Which is smaller: r or 24?
r
Let c = -26 + 50. Let b = -138 - -121. Let w = c + b. Which is smaller: -3 or w?
-3
Suppose 67*q + 4*j - 4 = 71*q, 4*q + 4 = -5*j. Is q at least -5/22?
False
Let v(p) be the first derivative of -2*p**3/3 + p**2/2 + p + 27. Let u be v(-1). Let h be (-4)/9 + 2/6. Which is greater: u or h?
h
Suppose 3*b - 11 - 4 = 2*y, 2*y = -4*b - 8. Let i be 1*((-27)/15)/(y/20). Let n(d) = -2*d + 4. Let x be n(i). Is x less than -42/5?
False
Let j be ((-6)/(-36))/(1/6). Let l = -7 - j. Let b be (1/(-6))/(22/l). Which is greater: b or 0?
b
Let g(k) = 105 + 42 - 1 + 5*k - 17. Let x be g(-28). Is -9 at least x?
True
Let j = -1424 - -1423.9. Is 878 equal to j?
False
Let b = -191 - -428. Suppose -10*x + 715 + 1655 = 0. Is b >= x?
True
Let a = 1/16089 + 353911/756183. Suppose 2*v - d + 15 = 12, 2*v + 8 = 2*d. Which is bigger: v or a?
v
Let b = -250 - -872. Let k = b - 622.3. Which is smaller: k or 17?
k
Let h = -51866/113 - -459. Is h >= -1?
True
Let q be 392202/(-28026) - -1*14. Is q greater than 10?
False
Let j be (-15)/(-14 - (-642)/46). Which is smaller: -1 or j?
-1
Let z(r) = -r**3 - 59*r**2 + 57*r - 263. Let i be z(-60). Which is bigger: i or -62?
-62
Let o = 480 - 475. Suppose -2*q + r = 181, 0 = o*q + 5*r - 140 + 555. Which is smaller: q or -86?
q
Let m = -233/15 + 236/15. Which is greater: m or -112?
m
Let j be (-5)/13*-1 - (20/26)/5. Which is smaller: j or 1/25?
1/25
Let o = 0.046 + -0.009. Let p = 46 + -47. Does o = p?
False
Suppose 0 = -5*u - 70 + 520. Let j be u/(-5)*(44/8 + 0). Which is greater: j or -101?
j
Let l(j) = j - 1. Let d be l(-11). Let g be 8138/626 + (-25 - -1). Which is greater: d or g?
g
Let g = 13631 - 122677/9. Is g < 2068?
True
Suppose -4*q - 6380 = -18080. Let b = q - 4673. Let y be 260/b - (-8)/76. Which is bigger: -1 or y?
y
Let l(k) = -k**3 - 46*k**2 + 34*k - 60. Suppose -9*y = 26*y + 1645. Let r be l(y). Is r at most as big as 552?
True
Let f(j) = 2*j + 12. Let s be f(-5). Suppose -2*n - 22 = s. Let m be (-9)/n*(7 + -51). Which is smaller: -32 or m?
m
Let t = -0.329 + 0.679. Let s = t - 0.45. Is 10 at least s?
True
Let u be (-17 + 7)*(-23)/5. Let s be u/115 + 38/(-20). Which is smaller: s or 0?
s
Let i = 3.85375 - 0.05375. Which is smaller: i or 1.9?
1.9
Let n = -480 - -474. Let b be (-14)/(448/48)*(-4)/n. Is 1 less than b?
False
Let u = 171 - 105. Let j = -46 + u. Suppose 4*c + 3*x = 15, 0 = 2*x + 2*x - j. Which is smaller: c or -1/16?
-1/16
Suppose -5*b + f + 664 = 2*f, -f = -4. Let t be 11/(b/4) + 170/3. Is 57 greater than t?
False
Let a be 86346/615 - (-2 - (-12)/5). Is a < 140?
False
Let y(p) = 9*p + 4. Let h(d) = -3*d**2 + 10*d + 7. Let q(r) = 8*r**2 - 31*r - 21. 