 0 + (-72)/(-132). Which is smaller: l or 1?
l
Let m = 329 + -662. Let z = m + 333. Is z equal to 0?
True
Let x(f) = f**2 - f - 4. Let y be x(3). Let q be 23/3 - 1 - 669146/69222. Which is smaller: y or q?
q
Suppose 75*b - 44975 = 31075. Is b greater than 1013?
True
Suppose 10*y - 148 = -168. Let x be (1116/(-42) - 6) + (-6)/y. Are -30 and x equal?
False
Let m be -3 - (-20)/8*908/35. Let z = 61 - m. Let j(b) = -b**3 + 7*b**2 + b - 7. Let r be j(7). Is z less than r?
True
Let q = 0.2 - 0.7. Let u = q - -0.31. Let f = -205.8 - -205.7. Which is smaller: u or f?
u
Let n = 465666/11 + -42576. Is -244 bigger than n?
False
Let h be (-11300)/5655 + (2 - 0). Suppose -56*p - 100*p = 0. Which is greater: p or h?
h
Suppose -12*j + 35379 = -1134 + 3825. Which is smaller: j or 2726?
j
Let w = -24 + 26. Let f = -3073 + 3072. Do w and f have the same value?
False
Let c = 29734 - 267599/9. Do c and 1/143 have different values?
True
Let b be 8 - 39870/(-225)*(-854)/18916. Is -1 < b?
True
Let n = 4648/9 + -1528/3. Is n smaller than 8?
True
Suppose -727 - 3823 = -175*a. Which is smaller: a or -9/2?
-9/2
Suppose 5*f + 59*a + 610 = 64*a, 5*a = 3*f + 356. Suppose 2*l = -l + 5*y - 374, 638 = -5*l + y. Which is smaller: f or l?
l
Let q = -258.3082 + -0.3918. Which is bigger: q or 1?
1
Let k(o) = o**3 + 2*o + 16. Let y be k(0). Suppose -n - 190 = 5*j - y, 4*j + 140 = -n. Suppose 0 = -s - 3*s + 4, -3*t + 4*s - 109 = 0. Which is smaller: t or j?
t
Let n be (670/(-26))/((-6)/(-122)). Let l = -524 - n. Is l equal to -3?
False
Let k(b) = -b**3 + 5*b**2 - 7*b + 37. Let n be k(5). Suppose -3*z - 3*x - 43 = 35, 0 = -n*z - 4*x - 54. Is -25 at least z?
True
Suppose 2*o - 115 - 113 = 0. Suppose -122*t = -o*t - 40. Let h be 212/26 - 12/78. Which is smaller: h or t?
t
Let o = -12 - -26. Let b be -25*(-112)/15400 + 24/110. Does b = o?
False
Let u be (-468)/(-39) - (-1008 - 6). Which is greater: 1033 or u?
1033
Suppose 4*c + 5 = -5*y + 3*c, -3*c - 2 = 2*y. Let s be y/(-5) + 14/(-6). Let w = 254/105 + s. Which is bigger: w or 27?
27
Let f be 37/(222/36) - 4. Let q(j) = -6 + 5*j**2 - 2*j + 2 - 7*j**3 + 0*j**3. Let n be q(f). Is -43 greater than or equal to n?
True
Let a(m) = -m**2 - 9*m - 2. Let w be a(-8). Let f(d) = d**2 - 7*d + 4. Let j be f(w). Let s be ((-2)/2)/(4/(j - -62)). Which is bigger: s or -2?
-2
Let p = 127 - 123. Suppose 0 = -3*z + 2*h - 5*h + 48, -26 = -2*z + 4*h. Suppose o = 4*o - z. Is o at least as big as p?
True
Let k = -11450 - -11449. Is -20/2001 > k?
True
Let k be 1*-6*(-6)/(-4). Suppose 9*m = 15*m - 1356. Suppose 54*n = -m - 260. Is k bigger than n?
False
Suppose -5*q = 2*z - 4*q - 443, 3*z - 2*q - 682 = 0. Suppose 3*u - 29 = -z. Is -66 at most u?
True
Let z be 6/4*306/(-27). Let v = 35.782 - -0.218. Let s = 34 - v. Which is smaller: z or s?
z
Let h(m) be the third derivative of m**5/60 + m**4/12 - m**3/2 - 5*m**2. Let w be h(-3). Let y = -39/25 + 1652/1075. Is w equal to y?
False
Suppose 0 = -4*h + 4, 5*v - 377*h + 378*h = -21374. Is v at least as big as -4275?
True
Let v(w) = -1. Let l(p) = 3*p. Let d(s) = -l(s) - 2*v(s). Let u(x) = 2*x - 1. Let z(b) = -3*d(b) - 4*u(b). Let j be z(3). Which is bigger: -1/8 or j?
j
Let s be 153/5 - (-8)/20. Let r(c) = 5*c - 9. Let d be r(8). Do s and d have the same value?
True
Let n = 32.56 + -0.56. Let z = -15 + n. Suppose 82 = 641*u - 723*u. Is u at most as big as z?
True
Let w be (-5)/(-3)*(-21210)/(-525). Which is greater: w or 66?
w
Let v be (-8)/18 + 318656/(-117). Which is greater: v or -2722?
-2722
Suppose 339 = q + 3*u + 2527, 0 = -4*q - 3*u - 8788. Does q = -2203?
False
Suppose -370 = 33*g - 7. Let u be (-847)/99 - g - (-1 + 3). Does 23 = u?
False
Let a be 0/(-2)*(-3 + 50/15). Suppose 7*m - 21 = -a*m. Let x be (-80)/74 + m + -2 + 0. Is x < -1?
False
Suppose 4*s + k - 588 = 224, 0 = s + k - 203. Let i = 225 - s. Which is smaller: i or 23?
i
Suppose 2*z + 3*n = -21, 0 = -4*z - 3*n + 4*n - 7. Let d be (-15)/1*(-1)/z. Let g(s) = s**3 - 11*s**2 - 12*s + 1. Let a be g(12). Which is smaller: a or d?
d
Let o be ((-20)/3 + 2)/(40/180). Let q be ((-1)/(258/118))/(4/o). Let z = -1/860 + q. Which is greater: z or 3?
3
Let j = 56 + 1. Suppose -194 = -n - 3*d - j, -3*n - 3*d = -387. Which is bigger: 123 or n?
n
Let u = 147.0089 + -0.0089. Let k = -412 - -235. Let j = k + u. Is -2 < j?
False
Let p = 72 + -96. Let q be 23/4 + 6*(-1)/p. Is q smaller than -2?
False
Let m be (-4*2/(-172))/(-2). Suppose 419*b - 1530 = 133*b - 1244*b. Which is smaller: b or m?
m
Let i(u) = 5*u**3 + u**2 + u + 2. Let w be i(2). Let z = 404 - 401. Suppose -4*c = -5*f - z*c + 243, -186 = -4*f + 5*c. Is w greater than or equal to f?
False
Let v = 223726363448/891 - 251095775. Let d = 345/11 - v. Suppose -5*w - 3*f = f + 20, -2*w - 5*f = 25. Which is greater: w or d?
d
Suppose -2*i = 3*j - 8, 5*i - 5*j + 0 - 20 = 0. Let a be (13/i - 4) + (-361)/(-492). Are 1 and a equal?
False
Let u be 1 - (46/30 - 6/45). Is -84 less than u?
True
Let t = 943 + -383. Suppose 0 = 21*c - 5*c - t. Is c <= 38?
True
Suppose -5*t + 2*u = 9, -u = 5*t + 9 - 6. Is t > 5/673?
False
Let n = -601 - -601. Let b = 3/1906 - -28503/55274. Is b > n?
True
Let k = 4.3 - 0.1. Let c = k + -4. Let y = 118461/11 - 10769. Is c less than or equal to y?
False
Let n = 29 - 47. Let v be 94/n - (-16)/72. Let g = 697 - 695. Are v and g equal?
False
Let w be 3 + -5 + (17/((-3927)/(-20504)) - 2). Is w at most 86?
True
Let y = -609.7 - -192.5. Let j = y - -417. Let v = -20 + 10. Which is smaller: j or v?
v
Suppose 0*d = 2*d + 5*h - 7, 3*h - 29 = 5*d. Let l(y) = -3*y**2 + 267*y - 5316. Let o be l(59). Which is greater: d or o?
d
Let a = -157 + 233. Let y be (-218)/(-8) - 95/a. Are -0.5 and y non-equal?
True
Let g(x) = 158*x**2 + 153*x**2 + 10*x - 310*x**2 + 56. Let y be g(-14). Suppose 0 = -0*h - 2*h - 2*o - y, 2*h + 112 = o. Is -56 less than h?
False
Let q = 186 + -437. Let r = 131 + q. Let a = r - -104. Which is greater: 3/4 or a?
3/4
Let l = -337 - -292. Let g be (-43 - l)*1/(-72). Which is smaller: g or -1?
-1
Suppose 6*m + 15298 + 8408 = 0. Which is smaller: 0 or m?
m
Let l = 571/2134 + 1/194. Is 1098 < l?
False
Let p = 580 - 376. Suppose -208 + p = -4*n. Is n < 6?
True
Let i = -168 + -118. Let m = 231 + i. Which is greater: m or -1/3?
-1/3
Suppose -56 = -3*i - 5*b, 3*i - 34 = -2*b + 10. Let y be -4 - i/(-1 + -3). Let m be 18/12*24/132. Are y and m equal?
False
Let c = 17 - 39.05. Let y = c + 0.05. Which is bigger: 0.1 or y?
0.1
Let y = -4.54 - -4.7. Let r = -0.084 + y. Let f = -28.076 + r. Do f and -2 have the same value?
False
Let f = -2940 + 2939. Which is bigger: -3/458 or f?
-3/458
Let t = -1455 + 1485. Let c = -1.7 + 1.8. Which is greater: c or t?
t
Suppose 3*q = -0*q - 2*k + 146, 4*q - 204 = 2*k. Suppose -50*w + 2376 = -59*w. Let s = 313 + w. Which is greater: q or s?
q
Let v = 0.25665 - 267.67665. Let g = -266 - v. Are g and -1 unequal?
True
Suppose 6093 = 5*f + 2*o, 3*o + 1979 = 5*f - 4094. Which is bigger: 1215 or f?
f
Let c = -120 + 123. Suppose -c*q + 12 = y + 5, -y + 2*q = 3. Which is bigger: y or -5/64?
y
Let b be 5 + -4 - (4 + -106). Suppose b*q = 98*q + 150. Suppose 0 = 3*i - 2 - 1. Is q at most i?
False
Suppose -6*u = -3 - 189. Let d be (u - 18)*(-3 + -3). Is d <= -84?
True
Let d = 122/147 - 8/49. Let y = -60.0191 + 60. Do d and y have different values?
True
Let a(r) = r**2 - 25*r + 56. Let w be a(24). Suppose 65 = 5*s - n, n - w = -5*s + 43. Which is greater: s or 2?
s
Suppose 6 = -3*k - 0, 3*k = 2*g - 876. Which is smaller: 433 or g?
433
Let p = 307 - 461. Let r be -2*((-662)/p - 30/(-70)). Which is smaller: -8 or r?
r
Let h = -176 + 178. Let p be (h/6)/(4403/(-153)). Which is smaller: 0 or p?
p
Suppose -4*d = 2 - 50. Suppose -d - 12 = -2*g. Suppose -q - 4*u - 20 = u, -q + 3*u - g = 0. Is q less than -17?
False
Let f(d) = 14*d - 3 + 1 - 3 + 1. Let m be f(-1). Suppose -2*n - 104 = 4*a - 28, -4*a - 3*n - 76 = 0. Does a = m?
False
Let i be -30 + 10080/(-20) - 5*2. Do -3802/7 and i have different values?
True
Let h = 251 + -557. Let m = -305.849 - h. Let u = 0.18 - m. Is 0.1 smaller than u?
False
Let z = 164 + -165. Let u be 8/(-4632)*(1 - 4). Which is bigger: z or u?
u
Let c(m) = -m**3 + 2*m**2 - 43*m + 85. Let d be c(2). Let y be 9/(-84)*76/6. Which is bigger: d or y?
d
Let b = -0.3 