 + 2*y. Let m be q(7). Let n be (m/740 + 5)/(4/10). Which is smaller: 1 or n?
n
Let c(q) = q**3 + 31*q**2 - 39*q - 1177. Let z be c(-28). Which is smaller: z or 4535/2?
z
Let z be ((-1)/(-2 - -1))/(-3 + 26 - 19). Which is smaller: z or -1165/3?
-1165/3
Let w = 53 - 48. Suppose 3*g = -2*a + 41 + 19, -w*g = a - 37. Let o be (2/(-63))/(a/9). Is 1 at least as big as o?
True
Suppose l = -33 + 31. Let u be l + 2 + (-6)/3 + 3. Suppose -25 = -5*q - 5*o, -2*o + 22 = 4*q + o. Is q <= u?
False
Let r = 1/29748 - -31294885/327228. Which is greater: 96 or r?
96
Let n be (-13)/(-26)*(-332)/2. Let h = n + 271. Suppose 0 = -5*v + h - 58. Which is bigger: 27 or v?
27
Let t = 151396/5 + -30636. Does t = -356?
False
Suppose 67*c + 25 = 72*c. Suppose 79 = -4*p - 5*v + 14, 5*p + 70 = c*v. Are 1/10 and p non-equal?
True
Let k be (23 + -12 - 11) + 4 + -1. Suppose -4*u - 326 + 31 = k*q, -q = 4*u + 85. Is q not equal to -103?
True
Let f = -546 + 168. Let b be 2/((-132)/9)*(-36)/f. Which is greater: 1 or b?
1
Let q = 13 - 111. Let b = 78 + q. Let w be ((b/35)/2)/((-8)/7). Is -37 less than w?
True
Let i = 16135 - 16112. Is i <= -117?
False
Let f = 9342 - 13010. Is -3670 not equal to f?
True
Let t = 1347 - 762. Let c = -574 + t. Is c at least as big as 13?
False
Let b(w) = 3*w**3 - 130*w**2 - 332*w - 25. Let k be b(46). Which is smaller: 1634 or k?
k
Let w(n) = -19*n - 29. Let y be w(-6). Let m = -85 + y. Which is smaller: m or -1/164?
-1/164
Let k(r) = -r**3 + 6*r**2 - 3*r - 6. Let w be k(5). Suppose -58 = -4*c - 5*j, 2*j = -2*c + w*j + 38. Let h = 84/5 - c. Is 2 != h?
True
Let u be (-14)/4*(-4)/7. Let b be ((-7)/(-2) - 1)*(u + 0). Suppose -b*z = z. Which is smaller: z or 2/163?
z
Let k(x) = 3*x - 111. Let b be k(38). Suppose -b*z + 58 = 10. Which is smaller: z or -4?
-4
Let m = 8924 + -8925.4. Let z = 91 + -69. Is m < z?
True
Let i be (-1992)/10*25/(-1)*119/(-595). Is -996 greater than i?
False
Let r be (-145)/(-45) + 4/(-18). Suppose r*z + 6 = 3. Let u be (z/(-8))/(9/(-54)). Which is smaller: u or 0?
u
Let n = 1319362 - 6622074/5. Which is greater: n or -5053?
n
Let o = 10038.155 + -10038. Let u = 0.355 - 0.4. Let b = o - u. Which is bigger: -0.37 or b?
b
Suppose 2*a - 4 = -0. Suppose -f - 5 = 0, a*r - 4*f - 33 = f. Let z be (-15)/20*r/30. Is 0 > z?
True
Let n be ((-300)/150)/((-1)/20). Do 40 and n have the same value?
True
Let t(i) = 2*i**2 - 15*i + 9. Let a be t(7). Suppose -5*k - 2*r = -5, -k + 5*r = a*k - 3. Let n be ((-4)/12)/(k/(3/(-4))). Which is greater: 1 or n?
1
Let w = 3 - -11. Let c = w + -14.03. Let u = -2681 + 2692. Do c and u have the same value?
False
Let w be 2386/1532 - (0 + (-33)/(-22)). Which is bigger: w or 0?
w
Let a(z) be the second derivative of z**5/20 + z**4/2 - 11*z**3/6 + 9*z**2 - 85*z. Let b be a(-9). Is -128 < b?
True
Let t = -5189/11655 + 1/1295. Which is smaller: 39 or t?
t
Let v(h) = 29*h - 68. Let f be v(-7). Let j = 270 + f. Which is smaller: j or 2/899?
j
Suppose 7*h = 3*s + 4*h - 99, 5*s - 171 = 2*h. Suppose s*r - 14*r = 777. Is 109/3 at least as big as r?
False
Let f = -332 + 334. Let s be 3 + f + 2 + (1 - -7). Which is greater: 13 or s?
s
Suppose 0 = -3*q - 5 - 1, -12 = 4*x + 4*q. Let f be (21 - 3)/x*1. Let i be (-7 - -6)*57*2/6. Which is bigger: i or f?
f
Suppose 3*v + 5*j + 21 = 2*j, -j = 5. Let y be (126/(-18))/(-2 + (-86)/v). Which is greater: 0 or y?
0
Let k = -94 + 55. Let c = k - -33. Is -9 smaller than c?
True
Let o(f) = -9 + 6 + 4 - 2*f**2. Let u be o(-1). Let c = 34 + -20. Is u < c?
True
Suppose 3*u - 6*u = -3*h + 213, 2*u - 62 = -h. Suppose -7*x + 6*x = h. Let n = -52 - x. Is n at least as big as 15?
True
Let r be (-78730)/60 + 1/2 - (-24)/36. Which is greater: r or -1309?
-1309
Let n = -145 - -31. Let w = -112 - n. Is 21/8 smaller than w?
False
Let r(z) = 4*z + 38. Suppose 2 - 4 = -2*k, 5*a + 2*k + 63 = 0. Let c be r(a). Is c smaller than -14?
False
Let t = 13 - 9. Suppose 0 = 5*d + 5*n - 20, 0*d - 4 = -4*d + 2*n. Let z be ((-240)/(-252))/(d*(-3)/(-28)). Do z and t have different values?
True
Let l be 1/(3424/144)*2*3. Does l = 1?
False
Suppose 3*k - 3429 = -5*q - 13226, 3*q + 2*k + 5877 = 0. Which is smaller: -1962 or q?
q
Let w be (-122)/228 + (-1)/(-2). Let m(d) = -d**2 + 19*d - 18. Let c be m(15). Let u be 6/c + -1*(-3)/(-21). Is u less than or equal to w?
False
Let y = 85.196 - 0.196. Let d = y + -82.9. Is 1 bigger than d?
False
Let p = 126817082303/65432010 - 2050633/1058. Let x = 11/155 + p. Which is bigger: 1 or x?
1
Let h be ((-33)/12 + 1)/((-3)/24). Suppose 3*u = h + 52. Suppose -26 = 4*r - u. Which is smaller: -6/29 or r?
r
Let u = -0.7596 + 812.7596. Is -3 bigger than u?
False
Let t(y) = 7*y + 2. Let x be t(-2). Let g = 238 - 142. Let l = g - 110. Is x less than l?
False
Let j = -89764/15 - -5984. Which is smaller: 0.16 or j?
j
Let i = -8252 - -8252. Let g be (-11)/9 + (-4 - -6). Is g at most as big as i?
False
Let z be -4 + 45/2*(-20)/15. Let d be z/(-238) + (-802)/28. Is -28 >= d?
True
Suppose 3443*a - 3453*a = 0. Which is smaller: 1/4750 or a?
a
Let f(s) = -190*s + 6175. Let y be f(33). Suppose 334 - 814 = 5*g. Which is smaller: y or g?
g
Let r be (-29)/(377/1365) - 10. Which is bigger: r or -929/8?
r
Let i(w) = -w**3 + 7*w**2 - 3*w + 11. Let f be i(8). Let q = f - -83. Let o be 20/(-15)*q + -2. Is o less than or equal to 1?
True
Let k = -54/2406989 - 73883637895/16848923. Let h = k - -4385. Which is smaller: -1 or h?
-1
Let w = 6529 - 6280. Do w and 246 have the same value?
False
Suppose -x = 3*v - 5*x + 103, 161 = -5*v + 4*x. Let r = 45 + v. Suppose 7*k - 3*k = r. Is 4 greater than or equal to k?
True
Let n(k) = -2*k - 4. Let j be n(4). Let u be 30/(51/17) - 16. Is j greater than u?
False
Let x be 1 + 3*(-3 - -2). Let z be (6 + 0)*(-3)/6. Is x greater than z?
True
Let k = -93 + 94. Let z be (-497)/6*(-27 - k). Let x = z + -2341. Which is smaller: -23 or x?
-23
Suppose -29*d - 12 = -27*d + 20. Let g = -52 - -37. Which is greater: d or g?
g
Let k = -92 + 92. Let z = 12 - 13. Let y be ((-12)/(-51))/(-1 + z). Which is smaller: y or k?
y
Suppose -336 = 24*r - 31*r. Suppose -2*o = -6*o - o. Suppose o = 210*h - 213*h - r. Are -17 and h equal?
False
Let l be 0 + -3 + -32 + 2. Let g = 98/3 + l. Let r = 7.00267 - 0.00267. Which is smaller: g or r?
g
Suppose -8*r - 5104 + 1664 = 0. Let u = -703 - r. Which is smaller: -274 or u?
-274
Let i be (-13)/(-19) + (-2)/2. Suppose 3*m = 3*p - 2*p + 11, -m - 5*p - 7 = 0. Suppose -m*z = 10*z. Is z != i?
True
Suppose 103 = 3*a + 5*t - 8, -a = 5*t - 47. Suppose -706*h + 777*h + 213 = 0. Is a < h?
False
Let p(w) = w**3 - 4*w**2 + w - 1. Let i be p(4). Suppose q + 1 - i = 0, 50 = -g + 4*q. Let r be (70/g)/(-3*1 + 1). Which is smaller: r or 0?
0
Let d(o) = -16*o**2 - 25*o + 210. Let k be d(6). Which is greater: -521 or k?
k
Let j(z) = z**3 + 18*z**2 - 123*z - 159. Let h be j(-23). Is h less than or equal to 64?
True
Suppose 0 = -5*c + c + 52. Suppose -c*a + 10*a = 54. Let z = a + 14. Which is smaller: z or -2?
z
Suppose 3*v + 568 - 565 = 0. Let j be (v - -2 - (-24)/(-18))*6. Which is greater: j or 2.2?
2.2
Suppose -z = 3*v + 34, -5*v - z + 109 = 169. Let g(r) = r**3 - 5*r**2 - 10*r + 11. Let a be g(6). Are v and a non-equal?
False
Let p be 4/(-10) - 2160/(-6150). Let y = -239/697 - p. Is y >= 1?
False
Let r = -18312838/11 - -1670449. Let p = r - 5651. Which is smaller: p or -4?
p
Let d be (-224)/3194856*(-12)/(-8). Which is bigger: -1 or d?
d
Let g be (2 + 21120/(-10563))/((-42 + 24)/126). Let l(n) = n + 9. Let a be l(-8). Is a greater than g?
True
Let r be (-31)/3 - 10/15. Suppose -3*o + 4*w - 11 = 0, -w - 2*w = -o - 7. Let i = o - r. Which is smaller: i or -0.2?
-0.2
Let l(s) = s**2 + 29*s - 131. Suppose -3*y + 8 = -7*y, -i - 5*y - 43 = 0. Let d be l(i). Is -9/31 less than d?
True
Suppose 77*v - 182*v - 220710 = 0. Which is greater: -2104 or v?
v
Suppose 0 = 53*m + 6310 - 2441. Let h be (-8)/(-4) + -3 - -5. Let r be 7084/(-98) - h/(-14). Are r and m nonequal?
True
Let n be 143/65*-5 - -12. Is n at least -2/3531?
True
Let r(q) = 3*q**2 + 22*q - 22. Suppose 0 = 4*s - 20, -2*s + 9 = -4*f - 33. Let a be r(f). Is a smaller than 0.55?
True
Let l = -36 + 16. Let w = 1.9 + -0.9. Let u = l + w. Which is smaller: u or 1?
u
Let b = -96 - -95.865. Let v = b - -0.275. Let n be -3 - (36