s d?
True
Suppose -49*y + 913800 = 51*y. Is y smaller than 18273/2?
False
Let g = 97 - -380. Let y be 7 + g/(-63) + (-240)/(-469). Which is smaller: -1 or y?
-1
Let n be (-3 + 115/35)/((-3)/(-42)). Let x be (2/(-12)*n)/(8/(-1032)). Is 2 not equal to x?
True
Let b be -7 - (-3 - (21 - -17152)). Is 17170 smaller than b?
False
Let s = -583/5 + 477437/4095. Is s less than -1?
False
Let k = -363.05 + 363.05. Which is bigger: -47 or k?
k
Let y(l) = 53*l + 163. Let h be y(-19). Let i be 3/(-7) - -3*h/(-28). Is i less than or equal to 91?
True
Let z = -12324 + 13744. Which is smaller: z or 1424?
z
Suppose 4*g + 299 - 879 = 0. Let n be -1*((-302)/g - -1). Let c = n - -15/29. Do c and 1 have the same value?
False
Let k = 126 - 122.77. Is k > -0.04?
True
Let j be 2/(-6)*(-6)/(-16). Suppose -4*i - 29 = -b, 5*i + b = -45 + 11. Are i and j unequal?
True
Let p be (40/12)/((-1)/3). Suppose -162*g = -h - 163*g - 12, -3 = 2*h - 5*g. Which is smaller: p or h?
p
Let m be 14/1288 + 228594/(-39928). Let t be (-1 - (2 + 0))*-1. Which is smaller: t or m?
m
Suppose -211*v + 419*v - 211*v = 0. Which is bigger: 1/4079 or v?
1/4079
Let d = -313 - -313. Suppose d = 2*n - 36 - 46. Let b be ((-82)/(-2) + 1)/1. Which is smaller: b or n?
n
Let t = 18 - 17.74. Let f = -1821.8 - -1530. Let s = -292 - f. Which is greater: s or t?
t
Let h be 1*(-13)/(312/16)*9/(-1833). Which is smaller: -0.01 or h?
-0.01
Let p = -14 + 8. Let c(v) = -8*v**3 - 11*v - 6. Let w(f) = -7*f**3 - f**2 - 10*f - 5. Let b(o) = -6*c(o) + 7*w(o). Let u be b(p). Is u smaller than -10?
True
Let r = 27.9 - -109.1. Let d = -1529 - -1666.53. Let t = d - r. Is t != 0.2?
True
Suppose -33*m = -36*m - j - 305, -3*j + 411 = -4*m. Suppose -3*v - v + 3*b - 417 = 0, 0 = 3*v + 2*b + 300. Is v at most as big as m?
True
Let c = -111.93 + 0.93. Let s = -137 - c. Let a = -26.39 - s. Which is smaller: a or 0?
a
Let t be 2/9 + (-64)/126. Let h be 7/8*4*(-12)/7. Let y be (-228)/(-16) + 6/12*h. Is t not equal to y?
True
Let d(f) = -11*f + 3*f + f - 246 - 3*f - 5*f. Let x be d(-17). Is -19 at most as big as x?
True
Let k = 143.33 - 145. Let b = k + 6.67. Which is bigger: 4 or b?
b
Suppose 4*v + 2*u = 33 + 9, -2*v + 25 = 5*u. Let i be (v/8)/((-5)/20). Let l(w) = -w**2 - 14*w - 41. Let c be l(-10). Is c less than or equal to i?
False
Let q be 87/203 + 1548/14. Let j be (2/9)/(109/q - 1). Is -11 smaller than j?
False
Suppose 567*o = 514*o. Which is bigger: 12/131 or o?
12/131
Let n(w) = -w**3 + 22*w**2 - 23*w + 46. Let j be n(21). Suppose 128*g - 126*g + j = 0. Do -93 and g have the same value?
False
Suppose 0 = x - n + 3, 3*n - 1 - 24 = 5*x. Let j = 17 + x. Suppose -w - 25 = 5*y, -74*w + 2*y = -78*w - 10. Which is bigger: w or j?
j
Suppose o - 3*b + 3657 = 0, 7330 = 9*o - 11*o + 4*b. Is -3678 < o?
False
Suppose 0 = -2*o, -o - 60 = -4*f + 2*o. Suppose -8*l + 27 = -5*l. Let u = 24 - l. Are u and f non-equal?
False
Let b(c) = c**3 + 25*c**2 - 30*c + 194. Let j be b(-26). Which is bigger: j or 1191/4?
j
Let b = -18361 + 10227065/557. Is -1 less than b?
True
Suppose 7041 = 50*i - 5609. Which is smaller: i or 252?
252
Let z = 143.8 + -143.9. Let j(p) = 26*p - 8. Let u be j(2). Which is smaller: u or z?
z
Let a = 3630 - 1558. Let t = -2072.1 + a. Let h = -4 - 2. Is t bigger than h?
True
Let n = 21492/7 + -3070. Are n and 999 unequal?
True
Let r be ((-14)/(-6))/(((-39)/711)/13). Let t = r - -552. Are t and -12/61 non-equal?
True
Let z = -12 + 20. Let u be 4/(-32) - 503/z. Is -63 > u?
False
Suppose 0 = -5*y + 2*w, 5*y - 4*w + 14 = 2*y. Suppose d + y = 2. Suppose 4*f + 18 = -d*z + 2*z, -3*f + z - 16 = 0. Which is smaller: -6 or f?
f
Let l(y) = 3*y**2 + 9*y + 2. Let s(w) = 3*w**2 + 8*w + 1. Let a(f) = -5*l(f) + 6*s(f). Let k be a(-5). Let z be (-155)/21 - 16/k. Which is greater: z or -7?
-7
Let n = -25589 + 77150831/3015. Which is smaller: 1/5 or n?
n
Let r be (6/14)/(11/77). Suppose 7*c - 44 = r*c. Suppose -2*h - 1066 = c*h. Is -82 != h?
False
Let u be ((-1)/(-12)*12)/(-4 - -2). Is 202 != u?
True
Let l(v) = 22*v - 75. Let b be l(11). Is b equal to 10/3?
False
Let x be (6 + (-8 - 1))*(-45674)/(-6). Which is bigger: -22838 or x?
x
Let u(l) = -1913*l**3 + 86*l + 86. Let p be u(-1). Which is bigger: 2 or p?
p
Let q = 433.919 - 433.839. Let b = 2.1 - 2. Let y = b + -0.1. Which is greater: q or y?
q
Let o = -245.7 - -245. Which is bigger: o or -113?
o
Let y be 9/(-18)*((-2)/(-2) + -1). Let h be (-3)/152*2 - (-36 - -36). Which is smaller: h or y?
h
Let g(j) = -5*j**2 + 49*j + 391. Let x be g(15). Is 3/2165 at least as big as x?
False
Let q(l) = 0 - l + 7*l - l**2 + 2 - 10*l. Let z be q(-6). Let s be 21*(z/6 - (-2)/2). Is s equal to -15?
False
Let l be 2/(-9) - -1 - 1. Let c = -138.033 + 138. Let a = c + 4.033. Which is bigger: a or l?
a
Suppose -46984 - 51836 = -28*q + 8*q. Is q at most as big as 4941?
True
Let n = -8.21 - -0.21. Do 436 and n have the same value?
False
Let i = 0.485 + -0.205. Let s = i - 0.17. Which is smaller: -5 or s?
-5
Let q = 208 + -195. Let g = -13.1 + q. Let h = -44933/51 - -881. Which is bigger: g or h?
h
Let b = -54 - -94. Suppose b*u - 15 = 37*u. Let t be -147*(u - (-42)/(-9)). Are -1 and t equal?
False
Let k be (-7)/((-154)/(-128)) - 4/22. Let t be 3/(-615)*k/(-3). Let g = 3079/410 + t. Which is smaller: 3 or g?
3
Let n = -30433 + 30615. Is n at most as big as 210?
True
Let k be (-13182)/(-468) - 4/24. Is k greater than 5?
True
Let y = 517 - 651. Suppose -5*g - 2*x = -7*x - 40, 0 = 3*x - 12. Let d be y/(-8) + ((-81)/g - -7). Do d and 12 have different values?
True
Let p be ((-648)/45)/((-2)/(-160)). Let q = p - -564. Let v = 8806/15 + q. Which is smaller: v or -2?
-2
Let i(l) be the third derivative of l**6/120 - l**5/60 + l**4/24 + l**3/6 + 3*l**2. Let z be i(0). Let m = 909/8 + -114. Which is bigger: m or z?
z
Let p be (-8)/(120/(-63))*28/84. Which is greater: p or 76?
76
Let j = 2957 + -2875. Let p = 192 + -111. Is j smaller than p?
False
Let n be (-2702944248)/63913*(-3)/3915*-5. Let y = -5/191739 + n. Let r = y + 162. Is 0 smaller than r?
False
Suppose -6 = -3*r - 3*r. Let p be (-25)/6 + (r - -1). Let b = p - -127/58. Is b at most -1?
False
Let u(f) = -f**3 + 7*f**2 - 8*f - 5. Let g be u(6). Let x = -37 - g. Let z be (5/(-10))/(2/x). Is z bigger than 5?
False
Suppose -i + 117 = 16. Suppose i*g = 95*g. Is g at least as big as 7/46?
False
Let u(x) = -25*x - 408. Let t be u(-14). Is -25 less than or equal to t?
False
Let m = -2.1 + 2. Let n = -0.26484 - 0.17516. Is m less than n?
False
Let s(h) = -13*h - 26. Let k be s(-4). Suppose 0 = -7*v + k*v + 19. Which is bigger: -1/235 or v?
-1/235
Suppose 5978*o + 1518 = 5956*o. Is o at least -71?
True
Let z(t) = -t**3 - 110*t**2 + 1603*t + 488. Let a be z(-123). Which is smaller: a or -690/127?
-690/127
Suppose -18071 = -382*s + 208*s + 191*s. Do s and -1062 have the same value?
False
Suppose 44*g + 408 = 1068. Is 37 greater than or equal to g?
True
Let z = 0.089 + -98.089. Let l = z + 109. Which is greater: l or 2/19?
l
Suppose 0 = -90*u - 17*u. Let s be (-146)/(-49) + 15/(-5). Which is smaller: u or s?
s
Suppose 10973 = 26*g + 3225. Let j be 15/498*g + -9. Let o = 4 + -3. Is j less than or equal to o?
True
Suppose -8*k + 1700 = -3*k. Let r = -353 + k. Which is smaller: r or -10?
r
Let o = 13.295 + 4.737. Let p = -18 + o. Let k = -0.668 - p. Which is bigger: 1 or k?
1
Suppose 1406 = -4*k - 1210. Let z = k + 33353/51. Which is bigger: 1 or z?
1
Let g = 62888/3 - 21559. Let c = g + 597. Which is smaller: c or -8.9?
-8.9
Let p = 12 - 6. Let h be (-64)/p*6/(-4). Let l = -0.82 + 1.82. Is l at least as big as h?
False
Let w = 0.1705 - 0.3155. Let u = -0.15 + 0.215. Let l = w + u. Which is greater: -1/5 or l?
l
Suppose 41*g - 12*g = 116203. Is g smaller than 16029/4?
True
Let z = -10771 + 11396. Is z <= 623?
False
Let r(n) = -n**3 - 3*n**2 - n - 2. Let z be r(-3). Let q be 1/(-18)*-6 - (-5228)/3. Let m = -19155/11 + q. Which is smaller: z or m?
z
Let c = -13950 - -13950.2. Is -830.7 less than c?
True
Let k be (33/27 - 1)*-3. Let z = -6028.4 + 6028. Are z and k unequal?
True
Suppose 16*j - 6*j - 3256 = -3286. Is j < 0.714?
True
Let w(p) = -p. Let d be (-6)/9 + (-26)/6. Let h be w(d). Suppose -5*l + 2*z = 4, -6*z + h*z = l - 2. Which is smaller: l or -2/37?
-2/37
Let r(o) = o**2 + 2