 l - q. Which is bigger: -23/2 or m?
m
Let n be 4/6*(-393)/262. Which is smaller: n or 25/159?
n
Let a be (-18)/(-12) + (-2066)/(-4). Suppose -a = 159*t - 166*t. Suppose 3*c + 2*y - 214 = -0*c, 5*y = 4*c - 316. Is c > t?
False
Let z = 167/708 - 1177597/4986444. Is z smaller than 1?
True
Let w = -723 - -460. Let v = 263 + w. Which is smaller: v or 2/31?
v
Let l be (2/(-140))/(10/(-620)). Let a = -3/5 + l. Let s = -34/15 - 38/45. Which is smaller: a or s?
s
Let y = 267 + -407. Suppose -5*s - 692 = -u - 2*u, 140 = -s - u. Which is greater: y or s?
s
Suppose 0*c - 48 = -2*c. Let o(x) = 3*x**2 + 19*x + 117. Let g(w) = w**2 + 10*w + 59. Let d(z) = -5*g(z) + 2*o(z). Let s be d(17). Is c greater than s?
False
Suppose -25880 = 82*x + 189*x - 86584. Which is smaller: x or 242?
x
Let o(j) = -j**3 - 71*j**2 - 136*j - 23. Let d be o(-69). Which is smaller: d or -140?
d
Let c(o) be the first derivative of -35*o**2/2 + 262*o - 111. Let p be c(7). Which is smaller: p or -8?
-8
Let n be -37*7/28*-2*5/(-5). Is n at least 120?
False
Let m = 12/2875 - -49146/623875. Let i = m - 158/12369. Is 0 less than i?
True
Suppose -401*m - 15713 = 384688 + 1401. Which is smaller: m or -994?
m
Suppose 0 = 5*b - 14*b + 2295. Suppose 0 = 259*n - b*n - 16. Is n at most as big as -11?
False
Let l be 14/(-49)*(-2)/(-2). Let z = -57 + 107. Let n = z + -49. Is n not equal to l?
True
Let c be 14 + -3 + 6/1. Let h(o) = -o**3 + 18*o**2 - 19*o + 34. Let r be h(c). Which is smaller: -2/41 or r?
-2/41
Let v = -531.4 + 513. Let d = -18 - v. Is 29 greater than d?
True
Suppose -j - 4 + 9 = 4*j. Are j and -5/107 unequal?
True
Suppose -3*o = -0*o + 6. Let b be o/((-16)/14)*-8. Let z be 1*(544/(-24) + 3) - -7. Is b equal to z?
False
Suppose -69*g + 9 + 5 = 14. Suppose -3*j + 120 = -3*u, u + 30 = -j - 14. Let l be 4/6 + u/9. Is g greater than l?
True
Let v be 1 - (-3 - (-56)/3)*51. Let w be 4/14 - 27917/(-35). Let q = w + v. Which is smaller: -1 or q?
-1
Let b(f) = 3*f + 1. Let s be b(-1). Let k be (68/462)/(s/141). Let o = k + 72/7. Which is greater: o or -1?
o
Let h(j) = -16*j + 3. Let l be h(-2). Suppose -548 = 31*v - l*v. Suppose -v = -17*f - 375. Is f at least as big as -13?
False
Let q be (59 - -1)*3*(-4)/(-36). Let j be (0 - (-68)/(-130)) + (-8)/q. Which is bigger: j or -2?
j
Suppose q - 1475 = 15*l, 20*l + 3*q + 377 = 16*l. Are -105 and l non-equal?
True
Let a be -23 + 31 - 1*-6. Suppose -2*u = -d - 5*u + 30, 5*d + 5*u = 100. Which is smaller: d or a?
a
Let f be (-13)/(195/10)*6/2. Let g be f/(-16)*2/(-62). Which is smaller: g or 1?
g
Let w be (-158)/(-3 + -3 + 8). Let c be (-8)/3*1659/w. Which is greater: 1 or c?
c
Suppose 3*r = -4*f - 2578, -735*r + 737*r = 5*f + 3234. Is f < -644?
True
Let t be -2 + (-182265)/(-182052) - 58/(-87). Let q = t - -17/389. Is 0 <= q?
False
Let i(v) = -v**2 + 0*v**2 - 2150*v + 160 + 2118*v. Let k be i(-27). Which is smaller: 0 or k?
0
Let l = 1 - 1.1. Suppose 0 = -3*k - 2*x + 3659, x - 6098 = -5*k - 2*x. Let d = 88985/73 - k. Does l = d?
False
Suppose 2*z = z + 9. Suppose -z = -s + 29. Suppose -7866 = -2373*v + 2166*v. Is s smaller than v?
False
Let f = 1974.89 - 21.89. Which is smaller: f or -0.1?
-0.1
Let z = -171 + 171. Suppose z = -7*l + 15*l - 696. Is 89 < l?
False
Let k = 45 - 47. Let d = -0.015 - 43.985. Let n = d - -43.91. Which is greater: n or k?
n
Suppose 21*c - 288 = 17*c. Suppose -c = 133*o - 127*o. Which is greater: 1/9 or o?
1/9
Let f = 7972493963/3540 - 2252117. Let r = f + 2/177. Are r and -1 non-equal?
True
Let g = 223 - 207. Suppose g*q - 1188 = 4*q. Do 100 and q have the same value?
False
Let g be (14/(-6) + 1)*(-114)/(-4). Which is greater: -40 or g?
g
Suppose -2*z + t = 18 + 1, -5*z = -3*t + 49. Let n(a) = -a**2 - 9*a + 13. Let j be n(z). Which is bigger: 9 or j?
j
Suppose 2*o = 4*o. Let k = -8327/75 - -111. Which is smaller: o or k?
k
Let b = 3.48 - 3.42. Let i = -8.16 - -8. Let j = i + b. Which is smaller: j or -6?
-6
Let c = -212 + 229. Let k(i) = 18*i**2 + 2*i + 1. Let r be k(-1). Suppose 4*n + c + 3 = 0, t - n = r. Which is bigger: t or 6?
t
Let k be (9/7 - (-66)/(-231))*-1. Do 99/7 and k have different values?
True
Let g = 111 + -157. Suppose -3*z + 13*z - 60 = 0. Let l be (-6)/z + (0 - -2) - 46. Which is bigger: l or g?
l
Let m(g) = 3*g**3 + 6*g + 7. Let k = 126 - 129. Let q be m(k). Is q <= -2/5?
True
Let b(y) = 4*y**3 - 2*y**2 + 3*y + 22. Let a be b(-3). Let i be 680/a - (-13 - -7). Is i > 0.1?
False
Let m be (160/(-12)*(85 - -2))/(32/(-16)). Is m < 579?
False
Let n = -3299641/61 + 54095. Do n and 0.1 have the same value?
False
Let x be (1 - (-24)/(-10))/((-4)/(-20)) - -6. Are x and -13/38 non-equal?
True
Let w = 4944 - 8947. Let a = w - -1733. Let v be a/(-105) - 2/7. Is v greater than or equal to 20?
True
Let w(f) = f - 5. Let i be w(7). Let t be (-5)/((-10)/3)*i. Which is greater: t or -0.7?
t
Let r(c) = 3*c**2 + 38*c - 639. Let s be r(-13). Is -629 <= s?
True
Let i = -245864 + 245517. Let h = 0 - 0.1. Is i > h?
False
Let l = -71.41 - -71.19. Which is smaller: l or -17/8?
-17/8
Let z = -11493 + 35440/3. Is z greater than or equal to 321?
False
Let v = 5561 + -5289. Do v and 2/35 have different values?
True
Let c be 6/20 + 26106/(-20). Is c > -1307?
True
Let o be (-39)/13 + (14 - (-3)/(-3)). Let r be (-8 + 68/o)/(170/(-1)). Is 1 greater than or equal to r?
True
Let m(u) be the third derivative of -u**6/120 + 43*u**3/6 + 13*u**2. Suppose 4*j + 8 = -0*a + 4*a, -2*a + 3*j + 6 = 0. Let d be m(a). Is 43 at least d?
True
Let x be 8 + -4 + -10 + 2. Is x bigger than -192/55?
False
Let w be ((-555)/444 + 1/4)*81. Is -645/8 less than w?
False
Let x = 74983 - 5323703/71. Is 1 greater than x?
False
Let d = 7779 + -7780. Is 7/963 bigger than d?
True
Let f be (19955/(-3340) - -1 - (-11)/44) + 5. Which is smaller: f or 0?
0
Let r(p) = -18*p**3 - 4*p**2 + 12*p - 9. Suppose 4*z - 354 = -346. Let i be r(z). Is -145 at least i?
True
Let u = -21811.2 - -20960. Is u not equal to 1/4?
True
Let w be ((-2)/(-1))/((-210)/56685). Let j = -541 - w. Which is bigger: j or -2?
j
Let g = 2162 - 2162. Let z be (-1614)/(-13) + 4/(-26). Let b = z - 10415/84. Is b equal to g?
False
Let r(z) = 10*z**3 + 2*z**2 - z - 2. Let p be r(-1). Let s be ((-6)/p)/(-1*2/(-6)). Suppose -s*n + 46 = 12. Which is smaller: n or 16?
16
Suppose -18*k - 49405 = -8689. Are -2263 and k equal?
False
Let l be (-1616)/10 - (-3 - (-102)/30). Let u be l/(-189)*7/2. Which is smaller: u or 35?
u
Let d(y) = -y**3 - 21*y**2 - 46*y + 113. Let p be d(-33). Which is smaller: p or 14698?
14698
Let u = -1.3465 + 2.8465. Is u > -160?
True
Suppose w + 654 - 656 = 0. Suppose 0 = w*s + 6, -5*s - 19 = -4*j - 0. Which is smaller: 2/51 or j?
2/51
Let i = -16 - -16.2. Let v = -65 - -31. Let y = -43 - v. Which is bigger: y or i?
i
Suppose 3*r + 117 = 5*o - 819, o = -r - 320. Is -2228/7 bigger than r?
False
Let o be 16 + ((-204)/26 - (-10)/(-65)). Let z = 12 + -10. Which is bigger: z or o?
o
Let q = 164 - 168. Let f(t) = 2*t**3 + 5*t**2 - 6*t - 1. Let x be f(q). Is -26 less than x?
True
Suppose 0 = 9*q - 4*q - 2*f - 41, -31 = -4*q + f. Suppose -s + 24 = -o, -3*o + 5*s - 57 = q. Let m = -10 - 20. Which is smaller: o or m?
m
Let p = 193241 + -193248. Let q(n) = n**3 - n**2 - n - 2. Let a be q(2). Suppose 3 = -a*v + 2*v + 5*f, -4*v = -3*f + 33. Which is smaller: p or v?
p
Let v be (-514)/84 + (-7)/42. Suppose 49 = -48*b + 41*b. Is v not equal to b?
True
Let p be (-200)/11 - 30/(-165). Let v(j) = -j**3 - 15*j**2 + 53*j - 20. Let g be v(p). Let r be g - -2 - ((-160)/25)/8. Is 1 at least as big as r?
True
Let q be 0 - 10/(-5) - 2 - (-946)/(-22). Let l = 39 - 83. Do l and q have different values?
True
Let k be -8 + 1160/140 + (-10526)/(-56). Which is greater: 188 or k?
k
Let a = -58.9 - -95.2. Let u = a + -36. Is u at least as big as 2/7?
True
Suppose -3*i = 5*s + 24 - 84, 3*i + 3 = 2*s. Let d be s/(-36) - 23/(-108). Is d < 1?
True
Let m(z) = -30*z**3 + 2*z**2 - 4*z + 3. Let f be m(1). Let v = f + 49. Which is bigger: v or 21?
21
Let t be 95/76 + (-31)/(-4). Let r be (18/27)/((-10)/t). Is r greater than or equal to 1?
False
Suppose -82*t - 6*t + 4*t - 67956 = 0. Which is bigger: t or -811?
t
Let l(u) = -u**3 - 50*u**2 + 51*u + 23. Let t be l(-51). Is 2 equal to t?
False
Let f(m) = -m**3 + 4*m**2 + 8*m - 7. 