. Which is smaller: 0 or z?
z
Let b(q) = 3*q - 21. Let l be b(-11). Let u be (-655)/15 + -4 - 8/6. Let s = u - l. Is s < 5?
False
Suppose 3 = -q - 0*u + 2*u, -3*u = -12. Suppose 3*s + 3*d - 30 = 3, q*s - 43 = d. Let z(h) = 6*h - 47. Let v be z(9). Are v and s nonequal?
True
Let a(r) = -6*r + 49. Let w(p) = 4*p - 8. Let k be w(4). Let i be a(k). Which is smaller: -6/113 or i?
-6/113
Let s be 1/7 - (-11)/539*41153. Which is smaller: s or 842?
s
Let b be (-39)/(-78) + (22070/33093)/(4/(-3)). Is 1 greater than or equal to b?
True
Suppose -16*q - 90*q - 4346 = 0. Suppose c = 7 - 0. Let i = -34 - c. Is q smaller than i?
False
Let j = -235 + 239. Suppose -6*y = -j*y - 54. Are 25 and y unequal?
True
Suppose -3*v - 15*r - 7 = -20*r, 4*r = -3*v - 43. Which is greater: v or -1057?
v
Let r = 2581/36 - 2604139/36324. Which is smaller: 0 or r?
0
Let r = -0.08576 - 0.91424. Is r at most 2.4?
True
Suppose 4*i - 8*i = 4*j - 628, -4*i + 2*j = -634. Suppose h - 26 = i. Let s be h/595 + (-16)/56. Is 0 at least s?
False
Let a = -2.86 - 0.98. Let q = a - 1.16. Let k = 35 + -139/4. Is q greater than or equal to k?
False
Let r = -10.83 + 10.6. Let l = 126.77 - r. Which is smaller: 1 or l?
1
Let n be 2/(-8) - 22/(-112). Suppose -16*h + 1605126 = 1605110. Are n and h non-equal?
True
Let o be (57/(-12) - -5)*(-4 - -3). Which is smaller: o or -22?
-22
Let c be 6 - (-4 + -5)/(-3). Suppose 2*n = m - 80, -3*m + c*n + 240 = -n. Let l = -116 + m. Is l at least -35?
False
Let b = -307 + 198. Let u = -179.05 - -179.15. Is u less than b?
False
Let t(y) = y**3 - 20*y**2 + 28*y + 60. Let w be t(19). Let k be w/(-36) - 1 - (-6)/(-24). Are 1/3 and k equal?
False
Let o(r) = -4*r + 15. Let s be (27 - 32)/(1/1). Let k be o(s). Which is greater: 215/6 or k?
215/6
Let m = -0.22 - 0.36. Let b = -64403 + 64401. Is b bigger than m?
False
Let x = -30901/15 + 2060. Let t be 0 + (-1 + 1 - -2). Let m = -1 + t. Which is bigger: x or m?
m
Let r be ((-15)/(-10))/(1264/(-1216) - -1). Let w be (90/2)/((-6)/4). Let o be (-6)/w + (-186)/5. Which is bigger: r or o?
o
Let b = 2121 - 879. Is 1241 smaller than b?
True
Let u = -13939 - -13939. Let g = -44670/19 + 2350. Which is greater: u or g?
u
Let y = 696 - 1810. Let a = y + 1113.271. Let l = a - -0.029. Does l = 2/5?
False
Let s be ((-1)/((-3)/2))/(11/33). Let i be (3 + -3 - -3) + -24. Let d be (12/s)/(i/14). Which is greater: d or -5?
d
Let m = -3567 + 3567.783. Are m and 1 equal?
False
Let h(q) = -q**2 - 25*q - 22. Let b be h(-24). Let a(w) = -2*w. Let l be a(-5). Let f be (96/(-70))/(b - 18/l). Is f at least as big as -6?
False
Let y = -33542/5 - -6683. Is y less than -25?
True
Let t = -11476 + 11267. Is -28 at least t?
True
Let r be 72 + ((-2)/(-6))/((-15)/90). Let g(m) = -m + 71. Let a be g(0). Is a <= r?
False
Let x be ((-3)/18)/(21/(-12)) + 94016/672. Which is smaller: x or 183?
x
Suppose 6*s + 3*s - 135 = 0. Suppose -14 = -w + 9. Let i be 13/s - w/115. Is i bigger than 2/13?
True
Let t = 35 - 29. Suppose -t*k + 0 = -6. Let n be 4 - (4 - k/(-4)). Which is smaller: n or 6?
n
Let j(b) = b**3 + 16*b**2 + 24*b - 56. Let v be j(-14). Which is bigger: 21/509 or v?
21/509
Let g(h) = h**3 + 9*h**2 + 5*h - 24. Let o be g(-8). Is o equal to 6/1547?
False
Let y(z) = z**2 + 3*z + 393. Let x be y(-16). Which is smaller: 599 or x?
599
Let k(o) = -184*o + 646. Let d be k(22). Is -1 >= d?
True
Let l(y) = -35159*y + 5. Let u be l(1). Let f be -5 + 0 - u/7038. Is 0 != f?
True
Let s = -2754 - -1783. Which is smaller: s or -970?
s
Let p(j) = -j**3 - 25*j**2 + 67*j + 26. Let z be p(-29). Let u = z - 172196/119. Which is greater: u or 1?
1
Let y = 0.16873 - 0.23873. Which is smaller: y or 48.6?
y
Let f = -4010 - -4010. Suppose -n = -5, 3*u + 3*n - 109 = -2*n. Suppose f - u = 7*j. Is j equal to -3?
False
Let h(d) = -40*d**3 + 14*d**2 - 12*d - 38. Let k be h(2). Are -0.5 and k non-equal?
True
Let m(d) = -4*d + 27. Let b be m(-8). Let z be (b + 2/(-1))*3. Suppose 0 = -7*k + 2*k - 4*y - z, -k = -y + 36. Is -33 >= k?
True
Suppose f = -0*f. Let q(g) = -g**3 - 24*g**2 - 24*g - 28. Let y be q(-23). Let c be y*(-8)/1380 - 0. Which is smaller: c or f?
f
Let a = -541162/83 - -6520. Which is greater: a or -3?
a
Let i = -86 + 38. Let c = -59 - i. Let p be (12 + c)/(1 - 0/(-1)). Which is greater: 12/5 or p?
12/5
Let q = 582033/169 + -3444. Which is smaller: q or 8?
q
Let k = -369.58 - 161.42. Which is bigger: k or 5?
5
Let l = -0.031 - -0.431. Let w = -0.705 + l. Let g = w - -0.075. Which is greater: g or 1?
1
Let s(v) = 2*v**2 - 16*v + 5. Let o be s(8). Let w be o*7/((-147)/9). Let n = -30 + 28. Which is smaller: n or w?
w
Suppose -164 = -89*x + 91*x. Which is smaller: x or -3?
x
Let q = 0 + -2. Suppose 0 = -32*h - 61*h - 186. Let i be (0 - (h - 1)) + (-61 - q). Which is greater: -55 or i?
-55
Suppose -2*i = 2*t + 3*i - 25, -4*t + 23 = i. Suppose -2*q - 50 = s, 5*q + 2*s + 114 = t*s. Let b be (-144)/4*(-4)/(-6). Is q at least b?
True
Suppose 0 = -2*j - 5*h + 21, -9 = j + 5*h - 27. Suppose j*k - 6 + 3 = 0. Suppose o - k - 5 = 0. Which is greater: o or 1?
o
Suppose -2*k = -6, -407*i + 412*i = 2*k - 11. Is 2/16617 at least as big as i?
True
Let o = 187 - -2727. Which is smaller: o or 0?
0
Let s = -68 + 68.61. Let c = s + -6.11. Let i = c + 5.4. Is 3 > i?
True
Suppose -147 = -5*o - 3*x, 65 + 9 = 2*o + 5*x. Let q = -13047 + 13047.2. Is q <= o?
True
Let m = 16256 - 16156. Which is smaller: 1097/11 or m?
1097/11
Let p = -10441451 + 511609393/49. Let b = p + 443. Which is bigger: b or 0?
b
Let h = -0.755 + 0.944. Let s = h - 1.189. Which is smaller: s or 21/17?
s
Let t = -144 + 92. Let p be 6*(-3 + t/(-24)) - -5. Does -1/122 = p?
False
Suppose 3*s - 4*r + 99 = 0, -5*r - 188 = -s - 199. Which is greater: 19 or s?
19
Let s = -0.526 - -0.53. Let q = s - -0.07. Let t = 0.174 - q. Which is bigger: t or 12?
12
Let t = 1796/15 - 812/5. Let c = -55/36 + 16/9. Is c greater than t?
True
Let v = 97 + -98. Let s = 5 + -59/12. Which is smaller: v or s?
v
Let o = -25.1886 + 35.1886. Suppose -5*n + 2*i + 0*i = -83, -4*n = 2*i - 70. Is n bigger than o?
True
Suppose -113*t + 112*t - h - 1361 = 0, h = t + 1373. Is t greater than or equal to -1365?
False
Let o(p) = -88*p - 12286. Let w be o(-135). Are -2026/5 and w equal?
False
Let v = 41 + 14. Let q = v + -27. Let w be (1/(1/2))/(q/(-518)). Which is greater: w or -38?
w
Let a be (-60)/(((-285)/20)/19). Let f be 205/15 + (a/12)/(-10). Is 15 equal to f?
False
Suppose 3*o - 24 = 3*q, 2*q = -2*o + 3*q + 11. Let h = 271/78 - -1/39. Which is smaller: h or o?
o
Let p = 3802 + -3801. Which is smaller: p or -2/485?
-2/485
Suppose 0 = -4*d + 56 - 104. Let y be (9/d)/((-5)/10*-3). Let u be -3 + (-2)/(2 - 3). Which is greater: y or u?
y
Suppose 2*l + 3*i - 432 + 112 = 0, 3*l + 2*i = 475. Suppose -8*h - 29 = -l. Which is bigger: h or 3?
h
Suppose 3 - 15 = -4*m + 4*x, -5*m = x - 3. Let d be 562/(-4734) - (-174)/1566. Are m and d nonequal?
True
Let o(v) = 2*v**3 + 151*v**2 - 250*v - 1436. Let f be o(-77). Is -33 less than or equal to f?
True
Let n be 2/6 + 86/3. Let b = 117.8 - 117. Let k = b - 1.8. Which is greater: n or k?
n
Let g be 3/18 + 170/(-12). Let h(x) = -x**2 - 8*x + 11. Let i be h(-9). Let f be 128/(-10) + (4/(-10))/i. Which is smaller: g or f?
g
Let r = -35951/39180 + 3/3265. Suppose 0 = -5*c - 5*b + 15, -4*c - 3*b + 4 = -b. Are c and r nonequal?
True
Let p be (-33423)/83525 - 6/(-15). Let n = p - -436907/44975. Which is bigger: n or 10?
10
Suppose -4*b = -5*x - 18, 5*x + 8 + 6 = 2*b. Let p be 0 + x/(-7) + 44/385. Let y be (20/12)/((-7)/3). Which is greater: y or p?
p
Suppose -13*p + 90 = -10*p. Suppose 23*i = p*i - 49. Is i at most as big as 20/3?
False
Let p = -683 - -684. Let q(c) = 43*c**2 + c - 4. Let a be q(p). Which is smaller: 34 or a?
34
Suppose -5*l - 512 - 138 = 2*k, 0 = 2*l - 2*k + 274. Let d be (10 - 2 - (-18 + (-836)/(-33)))*-198. Do d and l have the same value?
True
Suppose 3*l + 15 = -4*h, -3*h - 5 = -1148*l + 1144*l. Is -885 at most l?
True
Suppose 34 = 10*r - 6. Suppose -2*f = r*s, 0 = -3*s - s - 5*f. Suppose 3*t + 16 - 22 = s. Is 6 bigger than t?
True
Let c(h) = -2*h**2 + 8*h - 14. Let z be c(6). Let s = z - -38. Let l = 3.301 - 3.37. Is s >= l?
True
Let u = 3459.9 - 3460. Which is smaller: -3884 or u?
-3884
Let f be (5/4)/(9/(-6)). 