 b or -0.1?
b
Let n = -70 + 139.8. Let o = -70.02534 + 0.02534. Let j = n + o. Is j less than 21?
True
Let n be 27/(171/19) - 39. Is n <= 1.08?
True
Let f be (0/(-2))/((-24)/(-12)). Let w be f + 0 + -3 + (-22)/(-8). Let h(b) = -2*b**3 + b**2. Let a be h(1). Which is greater: w or a?
w
Let u = 5419 + -5113. Are u and 312 non-equal?
True
Let d(s) = 24*s + 24. Let m be d(5). Let j be (m/15)/(1/(-5)). Let x = j - -52. Which is smaller: x or 20/7?
20/7
Suppose -c + 297 = 3*l + l, 0 = 5*c - 3*l - 1600. Suppose -3*x = -2*g - 935, 15*g - 19*g - 602 = -2*x. Is x greater than c?
False
Let p = -132 - -123. Let l = -15 - p. Let s = 7 + l. Which is smaller: s or -1/4?
-1/4
Suppose -5*g + 3*m + 35 = 0, -5*m = g - 4*g + 21. Suppose -3*d + g + 3 = u, 2*d - 4*u - 16 = 0. Is d < 4?
False
Let o = 45 + -8. Let y = -16 + o. Let k be ((-3)/y)/(6/21). Is -9/5 > k?
False
Suppose -2844 = -657*p + 7668. Let a be 3*4 + (3 - 1). Which is bigger: p or a?
p
Let m = -528.962 - -536. Let l = 14.262 - 14.3. Let v = l + m. Is 0 greater than or equal to v?
False
Let c(w) = -w**3 + 18*w**2 - 5*w + 19. Let j be c(18). Let m = j - -73. Suppose 0 = -4*f - 12, o = -f - m*f - 8. Which is smaller: 0 or o?
0
Let w = 13 + 5. Let t = 53 - 53. Which is greater: t or w?
w
Let u = -3765614/126459 - 6/14051. Which is greater: 1 or u?
1
Suppose 23*u - 26*u = -8235. Let n be 3/15 + (-504)/u. Which is smaller: 1/4 or n?
n
Let i be -3 + ((-235)/10 - -20 - 2038/4). Do i and -1031/2 have the same value?
False
Let b be 6/((-372)/2212 + 2/14). Let v = 246 + b. Is -12 at least as big as v?
False
Let i = 34 - -22. Let w = 82 - i. Let c = 19 - w. Which is smaller: -0.2 or c?
c
Suppose t + 5*f = 12, 3*t = 2*f + 3*f + 36. Suppose j + j = t. Suppose -2*s = -j*s - 8. Which is smaller: s or -19?
-19
Suppose 1155 = -2611*i + 2590*i. Which is smaller: -818/15 or i?
i
Let u = -173 - -172. Let r be (-3)/(u*18/204). Which is smaller: r or -1?
-1
Suppose 78*a - 4353 + 843 = 0. Is a less than 73?
True
Let o(d) = -d**2 + 57*d + 1878. Let y be o(-21). Which is greater: y or 268?
268
Suppose u = -3*z + 211, 2*u + 180 = 3*z - 19. Let k be 8/(-6) + (-4945)/z. Is k smaller than -73?
False
Let g be ((-9)/(-66))/(-3) + (-6205)/(-748). Is 0.013 < g?
True
Let q be ((-8)/(-12) + -2)*21/(-28). Let y be 7225/(-16940) + (-40)/(-28) + -1. Which is greater: q or y?
q
Let b = -1359 - -1360. Let f be 4 + (0 - 2) + -4. Let q be 225/80*f/(-6). Does q = b?
False
Let k be (-3)/(-6)*-3229 - (12/8)/3. Which is bigger: -1616 or k?
k
Suppose 35*a + 33*a + 858 = 2*a. Are -79 and a nonequal?
True
Let s = 183.517 - -47.513. Let q = s - 231. Which is smaller: q or 5?
q
Suppose -10 = -2*y - 0. Let l be (-3)/y*(19 - (9 + -5)). Is 2/7 bigger than l?
True
Let a be (-15)/(-20)*(3 + 1). Suppose -a*f + f = 2. Suppose 0 = -4*h - 2*h - 18. Which is smaller: h or f?
h
Suppose 128*b + 28575 - 3837 = 14*b. Which is smaller: b or -234?
-234
Let z be (0 - 0)/(4 - 7) - (-684)/(-38). Suppose 3*j + 5*o = -79, -5*j + 0*o = 3*o + 105. Is j greater than z?
False
Let i(d) = 11*d**2 - 3*d - 2. Let z be i(-1). Suppose 3*o + 5 = 14, r - z = -4*o. Let u be (2 - 2) + 1/(-23). Which is bigger: r or u?
r
Let l be ((-7)/(-34))/((-10)/(-131620)). Let s = l + -2713. Is -2 < s?
False
Let o = 9072 + -9069. Which is greater: o or 205?
205
Let p = 0.817 + -43.817. Which is smaller: p or -0.25?
p
Suppose 0 = 3*i + 5*u + 1432, -i - 771 = -2*u - 312. Which is greater: -472 or i?
i
Let y = 15990 + -15069. Are 916 and y unequal?
True
Let b = 114 + -32. Let t = -82.17 + b. Is -0.7 != t?
True
Let z be (-5)/(380/57) + (-1)/4. Is -23/90 at least z?
True
Suppose -11*h + 9614 = 6*h + 29*h. Is h equal to 2700/13?
False
Suppose u + 4 = -2*x + 10, 0 = -x + 1. Suppose -u*n + 4*w = -8, -3*n - w - 8 = 2*n. Which is smaller: n or -22/3?
-22/3
Let o = 557 - 555.98. Is o bigger than -3/10?
True
Let z be 40*-1 - (-2 + 0). Let b(l) = -7*l - 268. Let h be b(-39). Suppose -4*j - 8 = -4*s, 10 = h*s - 2*j - j. Which is smaller: s or z?
z
Let c = -7777.2 - -7649.283. Let i = 128 + c. Let w = i + -61.083. Which is smaller: -1 or w?
w
Let m = -29868 - -29910. Which is greater: 259 or m?
259
Let h(g) = -g + 14. Let m be h(11). Suppose -n - 3*s + 12 - m = 0, 9 = 4*n + 3*s. Let l be (-219)/(-446) + ((-275)/22 - -12). Is l greater than or equal to n?
False
Suppose -339*z - 2*d = -336*z, 4*z - 2*d = 0. Does 9/77 = z?
False
Let a be (244720/228 + 58)/(0 + 0 - 6). Which is bigger: -190 or a?
a
Let t(x) = -x**3 + 15*x**2 - 22*x + 112. Let q be t(14). Which is greater: -3/548 or q?
q
Suppose 131 = -4*a + 2*p + 3*p, -4*p + 58 = -2*a. Let b = -3892 - -3852. Which is smaller: b or a?
b
Let h = 3008126749/15649552521 - -4/7248519. Let q = h - 2/127. Let f = -2801 - -2800. Is q <= f?
False
Let t = 40648/9 + -4524. Suppose 0 = 5*x - 13 + 58. Do x and t have the same value?
False
Let v = 166324/5742939 - -2/83231. Is v > -0.219?
True
Let i = 326 + -328. Let z be i - (-6 - (-1048)/252). Which is smaller: -1 or z?
-1
Suppose 21*m + 192 = 20*m + 3*k, 5*m - 4*k + 949 = 0. Which is smaller: m or 9?
m
Let k be 19 - ((-15)/(-5) - 2). Suppose -2*n + 4*y + k = 0, -3*n - n - 4*y = 24. Let o = -11 - -15. Are n and o non-equal?
True
Let h(m) = 2*m**2 + 215*m - 162. Let r be h(-58). Is -5904 < r?
False
Let s(c) = 9*c**2 - 60*c + 47. Let m(g) = 10*g**2 - 60*g + 47. Let h(i) = -5*m(i) + 6*s(i). Let o be h(14). Is o greater than -9?
False
Let z = -1.6 - 2.4. Let q = -52 + 138. Let k = -89 + q. Which is greater: z or k?
k
Suppose 26*r + 567 = -37*r. Is r at most 129?
True
Suppose 4*y + 3*p - 53 = 0, -4*y - p + 35 = -20. Suppose -3*x - 18 = -2*j - j, x - 3*j = -y. Let t be (1/2)/((-1)/6). Which is greater: t or x?
x
Let l = -30 - -32. Suppose l*d + 50 = -4*a, a - 1 = d - 3*a. Let b(h) = -h**3 - 17*h**2 - h + 24. Let q be b(d). Do 42 and q have the same value?
False
Let m = -49 - -221/5. Which is smaller: -6 or m?
-6
Let b(l) = -3*l**2 - 11*l - 137. Let y be b(-7). Let j = -829/4 - y. Which is smaller: -2/131 or j?
j
Suppose n - 1328 = -4*v, 0 = 8*v - 3*v + 5*n - 1675. Is 0.1 less than or equal to v?
True
Let p be (-2)/7 + (-1012)/(-14). Suppose 0 = -4*a + p - 8. Let k = -348 + 365. Is k smaller than a?
False
Suppose 2*l + 96 = 6*l. Let c = -20 + l. Let i be (2/6)/((-1)/9). Which is smaller: c or i?
i
Suppose -51*y - 3354 - 586 = -268. Are y and -72 nonequal?
False
Let h be (-20414)/59 - (1 - 4). Which is bigger: h or -342?
-342
Let x = 11557/287106 - 17/439. Is x != 1?
True
Suppose -18 = -0*a + 3*a. Suppose -2*q - 13 = -5*h - 6, 31 = -5*q - h. Is a less than q?
False
Let w = 482 - 466.72. Let j = w - 60.3. Let n = 45 + j. Which is greater: n or 0.2?
0.2
Let q be (0 - 6)*1 - 88624/(-14770). Let h = q - -254042/7385. Is h bigger than 34?
True
Let j = -38 + 41. Suppose 5*s - 4*g - 6 = 0, 8*g - j*g - 3 = s. Let c be 48/20 - 2 - 26/(-10). Is c < s?
False
Let l(s) = 0*s**2 + 15*s - 7*s - 3 - 3*s**3 - 12*s + 6*s**2. Let k be l(4). Are k and -115 unequal?
False
Let r = -3.04 - -2.94. Suppose -8 = x + 3*x. Which is smaller: r or x?
x
Suppose 640*c - 318*c + 16 = 314*c. Is 0.717 greater than or equal to c?
True
Suppose 105*w = 229*w - 106*w - 54. Which is smaller: w or 130/11?
w
Let z = 3564 - 78401/22. Which is smaller: z or 1/13?
1/13
Suppose a + 2 = -0*a. Let b(m) = -974*m + 11679. Let r be b(12). Which is smaller: r or a?
r
Let q be -6*((-5 - -9) + 22/(-4)). Let r be -2 + -3*(-3)/q. Which is smaller: -3/7 or r?
r
Suppose 270 = -62*c - 316 + 524. Let f = -6918/5 - -4005517/2895. Which is bigger: c or f?
f
Let c(x) = -x - 10. Let y be c(-10). Suppose -4*m + 4*a - 52 = 0, m - 4*a + y*a + 22 = 0. Let h be 2/8 - (-371)/(-28). Which is smaller: m or h?
h
Suppose -9 = -5*m + 16, -3*l - 3*m = -63. Let s = l - -15. Are 33 and s nonequal?
True
Suppose 0 = -5*w + 27 - 7. Suppose 2*d + 14 = -2*a, -5*a - w*d - 33 = -0*d. Suppose 3*u = 3*r + 3, 4*r + 27*u = 22*u - 4. Is a < r?
True
Let n = 11371 + -14065. Which is smaller: -2693 or n?
n
Let d be (1 - 0)*(1 - -20). Suppose 4*z + 17 = d. Let y = -0.57 + 0.42. Is y at least z?
False
Let i = 19 + -19.15. Let c = 289 + -135. Let z = -152 + c. Which is greater: z or i?
z
Let n(o) = -o**3 + 11*o**2 - 16*o - 26. Let f be n(9). Let x = -167963/17815 + -1/2545. Which is smaller: f or x?
x
Let v = -3/9800 - -221485