62/1463 + -148/133. Which is smaller: t or 5.97?
t
Let a(d) = -38*d + 170. Let y be a(4). Which is bigger: y or 14?
y
Let u = 204 - 204.052. Let g = 10 + -10.048. Let j = g + u. Are 0.02 and j equal?
False
Let h(c) = c**2 - 48*c + 352. Let w be h(39). Which is bigger: -1/2371 or w?
w
Let m be (2856 + -610)/(3/((-9)/8)). Which is smaller: m or -842?
m
Let n(g) = -g**3 - 32*g**2 + 20*g - 34. Let a(v) = -2*v**3 - 65*v**2 + 39*v - 69. Let q(y) = -6*a(y) + 13*n(y). Let u be q(-27). Which is smaller: -1/51 or u?
u
Let t = 6441/5 + -1311. Let p = -13 - 10. Which is greater: p or t?
t
Suppose 5*s - 4*s = -2. Let g be 38/(-1 + 4/s). Let z be -1*((-6)/8 - (-495)/36). Which is bigger: g or z?
g
Suppose -5*h + 22 + 28 = 0. Let f be -5*h/(-75)*(-30)/(-4). Suppose -2*v + 5*p + 11 = -11, -f*v - 5*p = 15. Is -1.4 greater than v?
False
Let b be 64/48*(-12)/(-16). Is 14/17 at most b?
True
Let p = 1699 - 49262/29. Let d = -252928 - -29340003/116. Let b = p - d. Is b bigger than -0.1?
False
Let r = 1320.151 + -1121.33. Let z = -199 + r. Which is greater: z or -0.1?
-0.1
Let j = 5778 - 24869. Let q be (j/38)/(12/(-24)). Let o = q + -1005. Which is bigger: o or 1?
1
Let g = -3251/7998 - -12/31. Which is smaller: g or 0?
g
Let n = 416 - 437. Let u be n - -18 - 3/(-24)*-18. Are u and -6 non-equal?
True
Let w(b) = -b**3 + 3*b**2 - 5*b + 7. Suppose 0 = 2*c - 4*i - 8, -2*i + i = -1. Let g be w(c). Is -132 at most as big as g?
True
Let c(m) = 2*m - 77. Let a(b) = b**3 + 2*b**2 + 2*b + 10. Let y be a(-3). Let l be c(y). Which is bigger: l or -89?
l
Suppose -4*f + 4558 = 11*j - 6*j, 2*j + 20462 = 18*f. Do f and 1 have the same value?
False
Let k(d) = d - 1. Let l(p) = -21*p + 60. Let m(f) = -18*k(f) - l(f). Let u be -7 + 6 + -1 + 26. Let w be m(u). Which is bigger: w or 31?
31
Suppose -6*m + 11 = -7. Let k be m/2*(-13)/(195/(-290)). Which is smaller: -1 or k?
-1
Suppose -141*y + 138*y = -12. Let t be y/(-44) - (4830/(-11) - 1). Is t greater than 440?
False
Let q be 26642/(-18)*(-18)/(-5289). Let o = q - -218/43. Which is smaller: 0 or o?
0
Let i = 7 + 3. Suppose 356 = 3*f + 335. Suppose f*y + 24 = i. Do -5/8 and y have the same value?
False
Let h = -51.54 - 317.46. Is 8 greater than or equal to h?
True
Let t = 33617 + -33779. Is t > -9/4?
False
Suppose 3*g + 45 = 12*g. Suppose p + 5 = -2*q, 0*p + 2*q + 23 = g*p. Is 0 at most as big as p?
True
Let m = 1782 - 1782.3. Which is bigger: m or 479?
479
Let c(i) = i**3 + 24*i**2 + 65*i - 14. Let w be c(-19). Is w greater than 556?
False
Let r = 2817 - 2841. Which is greater: r or -226/9?
r
Let g(z) = z**3 + 7*z**2 + 2*z - 4. Let w be g(-3). Suppose 2*p + w + 2 = 0. Let u = 4 + p. Which is smaller: u or -11?
-11
Let j = 7917 + -8167. Is -249 > j?
True
Suppose 6*z = z + 10. Let m = 367709/27 - 13617. Is z equal to m?
False
Let p = -252 + 153. Let z be (-6)/4*6/p. Let q = -4372 - -4372. Is z smaller than q?
False
Suppose 21 - 29 = -4*b. Suppose 0 = 8*m - 3*m - 2*s + 17, -2*s + 8 = -b*m. Is m smaller than -11?
False
Suppose 29*a - 10162 = -197*a - 14908. Suppose 2*j - 8 = 4*p, -3*p - 4 = 3*j + 2. Suppose h - 3*n + 16 = j, 5*h - 2*n + 104 = n. Which is smaller: h or a?
h
Let z(r) = 13*r**3 + r**2 + 4*r + 4. Let d be z(-1). Let m be (1 - 1) + (-3 - d). Let a = 10 - m. Is a at least 1?
True
Suppose -979 = -m - 462. Is 516 greater than or equal to m?
False
Let f be 40/14 - 798498/(-1134). Which is smaller: f or 697?
697
Let w be (-7 - -1) + 12 + 42. Suppose 2*c - w = -4*a, -4*c - 117 = -7*c + 3*a. Are c and 39 equal?
False
Let s be 3 - ((-8 - 103) + 4). Let x be ((-8)/230)/(1012/s). Which is bigger: 0 or x?
0
Let h(y) = -y**3 + 14*y**2 - 10*y + 139. Let m be h(14). Is m less than or equal to -6/587?
True
Let a be (20/35)/(6/7). Let x = 168559/26 + -6483. Which is smaller: a or x?
x
Let r = -0.5306 + 454.5306. Which is smaller: 2/17 or r?
2/17
Let l be (60/(-45))/((-2)/102). Suppose 6*u - u - 2*m = 145, -3*u + l = -5*m. Which is smaller: 30 or u?
30
Suppose 17*s - 28765 = 14415. Which is smaller: s or 2539?
2539
Let c be 11 - -3*(-238)/126. Suppose -11 = -3*i + 13. Suppose -7*m + i = -5*m. Which is smaller: c or m?
m
Let f be ((-434)/(-70))/1 - 7. Let b = 0.29 + 2.21. Which is smaller: f or b?
f
Suppose -12*d = -3302 - 1354. Suppose 2*k - d = -384. Is k > -76?
True
Suppose 2*h + q + 1356 = 0, 5*h = 5*q - 3*q - 3381. Is h >= -3?
False
Let o be 4/(-6) - (-4)/6. Suppose o = 349*w - 348*w. Which is smaller: 2/209 or w?
w
Let k be 4/(-10) + (-379875)/(-1247500)*8/6. Is k smaller than -1?
False
Let b be 1 - ((-459)/510)/((-12)/10). Which is smaller: b or -1234?
-1234
Let b be (25/((-375)/10))/((-4)/726). Which is greater: 609/5 or b?
609/5
Let l = 496 - 496.1996. Let o = -0.0496 - l. Which is greater: o or 10?
10
Let f = -47.3 + 49.79. Let l = 0.39 - f. Let j = l - -2.06. Which is smaller: j or -1?
-1
Let v = -1231 + 798. Let b = -432.9 - v. Which is greater: 90 or b?
90
Let x = 28/111 + 3/37. Let d = -10716.051 - -10716. Which is smaller: d or x?
d
Let f(c) = c - 3. Let a be f(12). Let h be a*(-5 + 31/6)*78. Is 119 less than h?
False
Let h = -3 - -4. Let k be (7/427)/(1/h). Let u(f) = -69*f - 413. Let v be u(-6). Is k > v?
False
Suppose 0*l + 3*r - 6 = -l, -5*r + 2 = -l. Suppose l = 4*s + 11. Let o be -3 + s + 4 + (-44 - 3). Are o and -48 unequal?
False
Let l = 449 - 261. Let s = 191 - l. Is 0.01 != s?
True
Let b = -3 + 6. Let p be (-4 - 4/(-2))*(-25 + 16 - (-363)/45). Are p and b unequal?
True
Let p be 20/30 + (-19192)/(-12). Suppose -2*w - 267 - 136 = -s, 4*w = -4*s + p. Is s != 400?
True
Let o be 23/((-345)/12) - 1221/5. Let p = o + 284. Is 35 at most as big as p?
True
Let n = -152.06 - -150. Let b = -0.06 - n. Let j(q) = 32*q + 204. Let k be j(-6). Is b bigger than k?
False
Suppose 215*p - 14953 = 24508 + 44819. Is p at least 2734/7?
True
Suppose 6*p + 205 = -227. Let l be (-1)/18*14 - (-16)/p. Let q = -10256/1327625 - 2/5375. Which is smaller: l or q?
l
Suppose t + 0*t - 5*i - 17 = 0, 0 = 2*t + 5*i + 11. Let v(b) = -b**3 - 2 + 0*b**t + 5*b + 1 - 2 + 2*b**2. Let g be v(-3). Is 28 at most as big as g?
False
Let a = -895.8 + 765.8. Is -28/3 at most as big as a?
False
Let x = -54 + 58. Suppose -8*f = -x*f. Let g be (f*(-2)/(-8))/(-2). Which is greater: g or 1/4?
1/4
Let a be -3 + (-6 + 6 - 3) + 11. Suppose -2*j - 50 = -5*x, 4*j + 1 - a = -3*x. Which is greater: x or 12?
12
Let i(l) = 71*l - 406. Let t be i(4). Suppose -3*k = 131 + 235. Is k not equal to t?
False
Let k be (54/(-15))/((-11)/(-550)). Let o = -168 - k. Is 0.06 greater than o?
False
Suppose 5*u + f + 7 = 0, 0 = -u - f - f + 4. Let x be 49/(-14)*7548/(-1554). Which is smaller: x or u?
u
Let h be (-258)/15 - -1*(-1)/(-5). Let a = 4 - h. Suppose -51*l = -54*l - a. Which is smaller: l or -9?
-9
Suppose 0 = 17*d - 6*d + 1067. Let x be d/11 + (-18)/99. Let l be ((x/6)/(-3))/((-1)/2). Which is smaller: l or -2/13?
l
Let r(w) = -10*w - 364. Let f be r(0). Do -363 and f have the same value?
False
Let l = 568 + -566. Let y be (l/6)/(-8 - (-106)/13). Is 1 equal to y?
False
Suppose 3*t + 84*o - 83*o + 3850 = 0, -5*t = -4*o + 6445. Which is smaller: -1281 or t?
t
Let q = 0.00318 - -0.25982. Is q less than or equal to -7?
False
Let r(h) = -43*h + 388. Let s be r(9). Is 5/23 less than s?
True
Suppose 2*t - 76 = -5*v, 7*t + 29 = 8*t - 2*v. Let f be 161/16*-6 + t/88. Which is smaller: f or -532/9?
f
Let p = 25820 + -10394. Let y = p - 15417.709. Let h = y - -0.009. Which is smaller: h or 0.1?
0.1
Let y be (-2 - 2106/12) + -5. Let v = y - -182. Which is bigger: v or 41?
41
Let l be 6 + -1 + (2 - 60345/8621). Is l less than -1?
False
Suppose -27*f - 31*f - 8700 = 0. Is -8 >= f?
True
Let l(w) = 4*w**2 + 456*w + 42. Let u be l(-96). Which is bigger: -6871 or u?
u
Let i = 550/7 + -78. Suppose -2*z - 3*u + 0*u = -21, 10 = 5*z - u. Suppose 0 = -4*w - 3*j - 3, -5*w + 2*j + z = -j. Which is greater: w or i?
i
Let t be 16/96*(-3)/6. Which is bigger: t or 2?
2
Suppose -180*q = -178*q - 312. Let r be 1/(-3 + (-2360)/(-785)). Is r greater than q?
True
Let d = 0 + 1. Let b(j) = 11*j**2 - 23*j - 12. Let g be b(9). Let x = 4712/7 - g. Is d <= x?
True
Let c(o) be the second derivative of o**5/20 + o**3/6 + 5*o**2 - 62*o. Let s be c(4). Are s and 79 equal?
False
Suppose 0 = -3*l - j - 507, 0 = -2*l - 0*j - 5*j 