77/276. Is 0.0309 smaller than j?
False
Let a(v) = -v**2 + v + 971. Let l be a(-34). Which is bigger: l or -437/2?
-437/2
Let m = -4447/2 + 3997. Let o = -1729 + m. Is 46 at most o?
False
Suppose -27382 = -3*f + 412739. Let k = f + -2934721/20. Let a = 23/60 + k. Which is smaller: a or -30?
-30
Let d = -122/47 + 3632/1363. Let j = 0.056 + -2.956. Let a = 3 + j. Which is bigger: d or a?
a
Let h(o) = -2*o**2 + 4*o - 6. Let t be h(3). Let x be 4011 + (-2)/t + (-35)/30. Let u = -44148/11 + x. Do u and -4 have the same value?
False
Let q = -0.3691 + 0.4491. Which is greater: q or -0.535?
q
Let f = 58414/3965 + -1094/65. Which is smaller: f or -1?
f
Suppose -2*g - 536 = -4*o - o, 4*g = -o + 116. Let a be (-32)/o + (-6)/(-27). Suppose 2*d - 6*d + 4 = 0. Which is smaller: d or a?
a
Let c = -4624 - -6487469/1403. Which is smaller: c or 0?
c
Suppose 5*r = -3*m - 14, 3*r - 3*m + 8 = -5*m. Let j(f) = 2*f**2 - f - 18. Let b be j(r). Suppose 4*s - 2*s = 3*t + 13, 4*s + 2*t = b. Does s = 4?
False
Suppose 126 = 40*j - 43*j - 4*b, 101 = -2*j + 3*b. Which is greater: -93/2 or j?
j
Suppose 6*h - 2*y = 778, 4*h = 3*y - 72 + 589. Is 140 greater than h?
True
Let v(r) = 97*r + 1062. Let w be v(-11). Is -475/79 != w?
True
Let k = 21469/8586 - 2/4293. Which is smaller: k or -1.23?
-1.23
Let q(a) = -a**3 - 10*a**2 - 9*a + 3. Let s be q(-9). Suppose 6*p = 2*p - 5*w - 18, -2 = 2*p - w. Let n be 2*(-4)/p*s. Is 21/2 < n?
True
Let w = -218.32 + 5.52. Let c = -213 - w. Let x = 1.2 - 1.14. Which is greater: x or c?
x
Let d = -133 - -132.7. Let w = 3.1 + d. Let t be ((-40)/12 - -3)*(-1 - -7). Is t at least w?
False
Let v = -1310.9 + 749.9. Which is greater: 1/6 or v?
1/6
Let f = 1.149 + -0.203. Let q = f + 0.054. Let y = q + 0. Is y bigger than -10?
True
Let h(i) = 3582*i + 2 - 3593*i + 2*i**2 - 14. Let t be h(7). Is 7 not equal to t?
True
Let l(k) = 16*k - 19. Let q be l(2). Suppose -8*x = -q*x + 45. Are x and 12 unequal?
True
Let l be (56/2609460*-15)/(1/(-6)*-10). Is l greater than or equal to -1?
True
Let a be (-12)/(-42)*(0 - 7). Let d be (6/5)/((-9)/20). Which is smaller: a or d?
d
Suppose 2 = 4*u - 2. Let q be (-2617)/655 - (6 + 6 + -16). Let x = q - -634/4585. Which is bigger: x or u?
u
Let j be (-309)/(-1392)*48/(-140). Let o = -36/61 + 5101/8540. Let y = o + j. Which is greater: -1 or y?
y
Let j = -25145 - -9557. Which is smaller: j or -15587?
j
Let a be ((-1)/5)/(1/(-19)). Let z(q) = -7*q**3 - 2*q**2 - q - 4. Let i be z(-2). Suppose -3*l + 2*f = -14, l - f - i = -41. Which is greater: a or l?
l
Let o = -11.22 + 11. Let q = o - -2.74. Let s = q + 0.48. Are s and -1 nonequal?
True
Let m be 6711585/5878*-6*(-10)/(-495). Let d = m + 112/2939. Let i = d + 138. Do 1 and i have the same value?
False
Let m be (-4)/8 + (-1951)/2. Let p = m + 852. Are -125 and p unequal?
True
Let p = -12134 - -12119. Which is bigger: 49 or p?
49
Let r be 1/10*(-2 + -1). Suppose 3*i = -d - 118, 5*i = -d + 4*i - 118. Let m = -117 - d. Which is bigger: m or r?
m
Let v = -72 - -69. Let h(u) = -4*u - 15. Let o be h(v). Let r be o + (-478)/(-182) - 2/(-14). Is 0 greater than r?
True
Suppose -8*r + 0 = -40. Suppose 5*q + 18 = -3*d - 5, r*q = -2*d - 17. Let i be (-26)/(-30) + (d - (-112)/21). Which is bigger: -1 or i?
i
Suppose -33*a = 1170 + 1536. Let p be a/(-451)*(89/44 - 2). Are 0 and p equal?
False
Suppose 4*x + 7*x = 1980. Let r = -167 + x. Which is greater: r or 0?
r
Let o = -336 + 392. Let t(m) = 12*m**2 + 4*m - 2. Let a be t(5). Suppose 4*q + 4*g + 106 - a = 0, q + 5*g - 45 = 0. Is o at least as big as q?
True
Let a = -19.61 - -23.1. Let w = a - 2.49. Which is smaller: w or -122?
-122
Let o = 34927/7 - 4979. Let d(h) = -12*h + 157. Let n be d(13). Let x be (0/n)/5 - -11. Is o less than or equal to x?
True
Let j(o) = -20*o - 27. Let w(b) = 38*b + 53. Let c(p) = -11*j(p) - 6*w(p). Let s be c(-3). Suppose s*h = 16 + 53. Is h not equal to 26?
True
Suppose 5*d - 22 = 2*w, 0 = w - 0 + 1. Let m be (-46 + -2)/(-3) - 2. Suppose -7*l + m = -0*l. Is d less than or equal to l?
False
Suppose -14*d + 10*d - 3*i = 31, -2*d = i + 13. Is d at most as big as -318?
False
Suppose 12 = 5*u - 3*v - 4, v + 17 = 4*u. Suppose -6*r = -3*r - 3*h, u = 5*h. Which is smaller: 4/23 or r?
4/23
Suppose -3*h + 59976 = -6*m, 44*m - 3*h - 19960 = 46*m. Is m less than -9991?
True
Let l be (-523728)/250306 - 3/(-21). Let s = l + 37/19. Is s greater than 0?
False
Let c(r) = 31*r**3 + 7*r**2 - 72. Let b be c(-7). Does -10363 = b?
False
Let j = -795 + 795.0356. Is -5 less than or equal to j?
True
Let g(l) = -4*l**2 + 64*l - 58. Let z be g(15). Suppose -31 = -8*f + 9. Which is smaller: f or z?
z
Let m = 687 + -394. Let h = m + -206. Suppose -2*r = -5*z + 289, -3*z + h = 5*r - 105. Is z at least as big as 59?
True
Let u = 0.18332 - 0.18332. Which is smaller: 1/775 or u?
u
Let h = -22 - -5. Suppose -173*a = 77*a - 2130 + 7130. Which is bigger: h or a?
h
Let x(b) = 16*b**2 + 17*b + 1. Let l be x(-1). Let z be (l - (-6 - -7)) + (-40)/(-38). Is 2/3 greater than or equal to z?
True
Let p be ((-18)/(-24))/((-1095)/(-20))*11*-13. Which is smaller: p or -3?
-3
Suppose -505 = -17*v + 753. Is v at most as big as 76?
True
Let s(f) = 41*f - 60. Let c be s(3). Suppose -58*o = -c*o. Is 2/751 != o?
True
Let l = 8 - -1. Let g(c) = -30*c + 572. Let x be g(19). Suppose l*o + 189 = x*o. Which is smaller: -25 or o?
o
Let t be (-1 + 0)/(1*-1). Let j = -1282381/580 + 2211. Let w = j + 3517/21460. Which is smaller: t or w?
w
Let v(k) = 7*k**2 - 71*k - 65. Let d be v(11). Is 46/53 greater than or equal to d?
False
Suppose -a + 24 - 20 = 0. Let j(r) = 3*r - 7. Let m be j(a). Is m less than or equal to 25?
True
Let d = 19.7 - 19.7. Which is smaller: 166.9 or d?
d
Let n = 44.9 + -332.9. Let j = n - -10. Is 0 at least j?
True
Let t = -279 + 394. Let u = t - 63. Let x = -83 + u. Which is bigger: -32 or x?
x
Let q(d) = d**3 - 3*d**2 - 2*d - 3. Let m be q(4). Suppose -m = -5*x + n + 10, -3*x + 22 = 2*n. Are 24 and x unequal?
True
Suppose 2*l + 4*g - 42 = 0, -l = 3*g - 0*g - 24. Suppose q - 63*n - 2 = -59*n, 0 = 2*q - n - 4. Which is smaller: l or q?
q
Let l be (-4)/(-1) - (-3)/(-15)*20. Which is smaller: -1055 or l?
-1055
Suppose 851*g - 25683 + 1625 = 4025. Let w = 8443/200 - 221/25. Which is smaller: w or g?
g
Let x = -1.3 - 1.7. Let s = 66 + -55. Let f(y) = -y**3 + 12*y**2 - 11*y + 5. Let r be f(s). Which is bigger: r or x?
r
Suppose -j = -v + 63, -j - 6 = -4*j. Suppose -4*k + 246 = 61*z - 66*z, 0 = 5*z - 10. Which is smaller: k or v?
k
Let p = 23.62901 - 0.02901. Is -3 greater than p?
False
Let l be 1 - 3 - (-6 + -1). Suppose -l*s - 48 = -0*s + 2*d, -s - 4*d = 6. Let m = -299 + 290. Are s and m nonequal?
True
Let y be (-60962)/(-221) - 2/(-13). Is 830/3 at least y?
True
Let z be (-1 - (-89)/3) + 2. Suppose 2*b - 108 = -4*a, 0 = 5*b - 4*a + 387 - 489. Which is smaller: z or b?
b
Let y be (-1 - (-44)/43)*(-872)/3924. Is y equal to 0?
False
Let a be (-7 - 74/(-10))/((-8)/(-4)). Which is smaller: -752 or a?
-752
Let g = -44 + 51. Let r(p) = p**3 - 6*p**2 - 4*p - 26. Let o be r(g). Which is greater: 4 or o?
4
Let n(m) = -157*m + 1884. Let o be n(12). Which is greater: -3/2668 or o?
o
Suppose 0 = -5*v - 37 - 3. Let b = -3290.08 + 3290. Is b != v?
True
Let z = 2.2522 - 2.0522. Let y = -0.09 + -38.91. Which is greater: y or z?
z
Let g = 55/3 + -19. Is -100/29 at least as big as g?
False
Let c be ((-12)/16 - (-60)/(-80))*(-10)/(-2689). Which is smaller: c or 1?
c
Let a be (3/((-6)/(-8)))/(-2). Let c be 82/636 - a/(-12). Suppose -4*m + 11 = -5, 3*m - 12 = 2*x. Which is greater: x or c?
x
Let x = 17 + -49. Let v = x + 25. Let q = 25 - 29. Does q = v?
False
Suppose -138*q + 136*q = 28. Let v be ((-44)/(-231))/((-4)/q). Is v greater than or equal to -2/43?
True
Let a = -313.9 - 23390.1. Let v = 23600.17 + a. Let x = 104 + v. Which is smaller: -1 or x?
-1
Let m be 2/6 + 37/(-12). Let l = -2.418 - 382.782. Let z = l + 385. Which is smaller: z or m?
m
Let t be 10/(-25) + (-819)/15. Let x be t/10*-2 - 6. Does x = 25/6?
False
Suppose -3*w - 2*a + 23 = 1, 5*w + 3*a - 36 = 0. Let d(k) = -k + 8. Let c be d(w). Suppose c*l - 4*z + 52 = 0, -2*l - 4*z - 76 = -0*l. Is l at least -32?
True
Suppose -2*s - 564 + 582 = 0. Is 0.12 bigger than s?
False
Let s = 9.6 - 9.549. Let m = 136.