6). Is -4 smaller than q?
False
Let h be ((-36)/(-450))/((-2)/(30/(-9))). Is h less than 1?
True
Suppose 3*i = -4*n + 3*n + 12, 4*n + 5*i - 13 = 0. Let b be 9/n - (-2 + -3). Let j be (-1)/(-3) + 1/3. Which is smaller: j or b?
j
Let t = 26 - 1. Let k = t - 24. Suppose 2*j - k = 5*l, -3*l + 6*l = -5*j + 18. Is l >= -3?
True
Let c be 6/((-8)/10 - 54/45). Let g be (4 + 0)*5/10. Let l = c + g. Which is greater: 6/19 or l?
6/19
Let a = -20.8 + 4.8. Let r = -18 - a. Suppose 3 = -4*s + s. Which is smaller: s or r?
r
Suppose 2*z - 4*r = -16, -3*z - z - 5*r + 33 = 0. Suppose z*g + 22 = 4*g - 5*p, 0 = -4*g + 2*p + 12. Are g and 5/11 non-equal?
True
Let f = 18 - -42. Let r = -1503 - -1502. Is f at least as big as r?
True
Let l = -308.4 + 312. Is l at least as big as 6/5?
True
Let n = 56157/47719 + -1/2807. Are 0 and n equal?
False
Let l = -2053/114 - -18. Which is greater: 0 or l?
0
Let k = -161/3 + 53. Which is greater: 1.22 or k?
1.22
Let g(s) = s**3 - 3*s**2 + 4*s - 2. Let a be g(2). Suppose 0 = -5*p - 0 + 20. Suppose 3*z - 5*j - 9 = 14, 0 = -a*z + p*j + 18. Which is smaller: 1/13 or z?
1/13
Let f be (-24)/(-11) + (-6)/(-66)*-2. Suppose f*k + 5*a = 3*k + 25, -2*k + 15 = 3*a. Which is greater: 2/41 or k?
2/41
Let h be 12/(-15)*(-20)/632. Let x(r) = 2*r + 1. Let n be 4/6 + 2/(-3). Let j be x(n). Which is smaller: h or j?
h
Let j be 7 + 0 + -1*2. Let g = -16 + j. Let b = g + 10. Is -1 less than b?
False
Let w = -10 + 16. Let h(u) = 32*u. Let q be h(1). Suppose 3*x + 0*x - 3 = 3*v, -4*v + q = 5*x. Which is greater: w or x?
w
Let x = 1543.12 + -1543. Which is bigger: 0.3 or x?
0.3
Let r = -209 + 302. Do 90 and r have the same value?
False
Suppose -5*a - 40 = -60. Let k be (a/(-210))/(2*(-2)/(-20)). Is 1 at least as big as k?
True
Let f = -4.2 + 4.71. Let v = f - 8.51. Is v > -1/6?
False
Let u = 0.481 + 0.029. Let y = 0.58 - u. Are -0.3 and y equal?
False
Let l = -6 - -5.5. Let o = l - -0.49. Is 2 greater than o?
True
Let b be (-3)/(-6)*(0 - 4). Let x = -60 + 60. Let z be (x + 9/6)/(6/16). Which is smaller: z or b?
b
Suppose -25 = -5*g - 0. Suppose j = -g*o + 15, 6*o - o = 2*j. Which is greater: o or 1/7?
o
Let g = 1/2184 + -52963/2184. Let s = g + 719/28. Is s less than 0.2?
False
Let v be 6/5*4/(-8). Let z be -10 - -9 - (4 + 2/(12/(-45))). Which is smaller: z or v?
v
Suppose -5*u + 2*m - 7 = -40, m = -3*u + 11. Suppose u = -6*x + x. Which is greater: -1/4 or x?
-1/4
Let n = 25 - 23. Suppose -n*i = -3*w - 64, -4*w - 2*i - 8 = -3*w. Is -18 equal to w?
True
Let a = 103/2 - 913/18. Let i = 16/39 - 1/13. Which is smaller: a or i?
i
Let w be (0*2/(-12))/(-2 - 0). Which is smaller: w or -2/629?
-2/629
Let z be 3 + -2 + (-4)/(-2 + 1). Let x(j) = -4*j - 8. Let v be x(z). Which is smaller: v or -27?
v
Let m(c) = -8*c - 5. Let i(w) = w**2 - 16*w + 34. Let x be i(14). Let h be m(x). Are h and 1/5 unequal?
True
Let s = -5 + 5.4. Let t = -0.5 + s. Let d = -0.2 + 0.6. Which is smaller: d or t?
t
Let z = 0.123 - 0.003. Let c = z - 0.22. Let b = -5/8 + 23/24. Which is bigger: b or c?
b
Let a = -805.36 + 819. Let i = 3.02 - 2.66. Let j = a + i. Which is bigger: j or 2/5?
j
Let i(g) = 5*g**2 + 12*g + 10. Let u be i(8). Which is smaller: 425 or u?
425
Let z(a) = 2*a**3 + 108*a**2 - 115*a + 60. Let u be z(-55). Which is smaller: u or -0.3?
-0.3
Suppose -4*l = 20, n + 3*l + 20 - 4 = 0. Let y be (-60)/(3 + 31/(-3)). Let u = 2092/253 - y. Does n = u?
False
Let v(a) = 17*a - 10. Let i be v(3). Let m = i + -54. Let g be (-2)/(-10)*(3 + -1). Which is smaller: g or m?
m
Let s = -9 + 22. Which is smaller: 14 or s?
s
Let i = -156 - -192. Suppose 0*m + i = -12*m. Let q be 0/(-1 + 0) - 5. Is q equal to m?
False
Let s = 359 - 333.1. Let b = -27 + s. Let m = -1.7 - b. Which is greater: m or -1?
m
Suppose 3*v - 2*i - 2*i + 932 = 0, v - 4*i + 324 = 0. Which is smaller: -303 or v?
v
Let p = 3/16 - 41/48. Is p >= 356?
False
Suppose 31 - 29 = 2*l. Which is greater: -5/46 or l?
l
Let d = -14 + -52. Let q be (-2)/11 + -43*(-1)/d. Which is smaller: -2 or q?
-2
Let f = 1029 + -942. Is 84 > f?
False
Let u = -10 - -15. Let p(c) = c - 4. Let f be p(u). Which is bigger: -0.01 or f?
f
Let w = -40.6 + 43. Let y = 6.4 - 6. Let g = y - w. Do g and -1 have the same value?
False
Let z(g) = 5*g**2 + 12*g - 57. Let c be z(4). Is c less than 69?
False
Let i be 7946/126 + (-4)/(-18). Let r = -63 + i. Let a be (-4)/3*3/2. Which is smaller: a or r?
a
Suppose -1 - 3 = 3*v - 4*t, -2*v + 3*t - 3 = 0. Let x = -663/1351 + 12/193. Is v at most as big as x?
False
Let g = 96 + -117. Let j be (-28)/g - (-2)/(-1). Which is smaller: j or -1?
-1
Let c be (-633)/(-90) - 1/5. Let q be ((-21)/(-54))/((-1)/(-21)). Let j = q - c. Which is greater: 1 or j?
j
Let z = 44 - 40. Suppose 0 = -8*v + z*v + 2*u - 10, -v + 3*u = 10. Is v > -1/24?
False
Let s(i) = i**2 - 7*i + 12. Let y be s(5). Suppose 0 = 3*g + 2*c + y*c - 29, -c = -5. Suppose u = 5*p, 0*p - g*u + 18 = 3*p. Is p > 0?
True
Let r = -47 - -83. Let q be (1 - 3) + 64/r. Is q smaller than 2/7?
True
Suppose -d - 6*d = -231. Let s = 28 - d. Let p be 2/8 - 30/8. Is s less than or equal to p?
True
Suppose 5*r - 64 = 3*f, 5*r + 0*r + 4*f - 78 = 0. Let q(a) = -a**2 - 12*a - 21. Let j be q(-6). Which is bigger: j or r?
j
Let j(o) = -2*o - 16. Let x be j(-7). Let k be x + 1 + (2 - -8). Suppose 0 = -2*m + v - 4*v + 15, k = 2*m + v. Which is smaller: 7/3 or m?
7/3
Suppose 2*t = -5*j, 3*t - 11 + 30 = 2*j. Suppose j*g - 3*g + 5 = 0. Suppose 5*x + 0*m = -m + 9, -4*x + g*m - 16 = 0. Is 3 < x?
False
Let n = 193 - 961/5. Let z be -10*(-14)/35 + -2. Is n less than z?
True
Let q = 221/35 + -47/7. Which is bigger: 6.33 or q?
6.33
Let y be ((-6)/2598)/(2/(-4)). Let i = 844/4763 + y. Is i at most as big as -0.2?
False
Let u = 0.05 - 0.16. Let v = 5.89 - u. Which is greater: 1 or v?
v
Let y = -1/66 - -5/6. Is -1 at most as big as y?
True
Let x = -5 - -15. Let t(g) = -g**2 + 11*g - 9. Let l be t(x). Let j be l/(-2) + 3/(-2). Do j and -2 have the same value?
True
Let y(i) = 35*i**2 + 5*i**3 - 4*i**3 + i + 3 - 32*i**2. Let o be y(-3). Is -10/21 < o?
True
Let y = -13195/1164932 + 1/6508. Which is smaller: 0 or y?
y
Let v = -0.762 - -0.862. Let a = 0.13 + -0.05. Is v less than a?
False
Let p be 84/(-12) + (4 - 865). Which is greater: p or -869?
p
Let c(r) = 2*r**3 - 18*r**2 - 325*r - 28. Let l be c(18). Let z be (-2)/7 + (-668)/14. Which is greater: l or z?
l
Let h be ((-165)/(-45) + -7)/(1/(-9)). Are 27 and h equal?
False
Suppose 9 = -3*q - 3. Let m = -17 + 19. Suppose -4*p + m - 27 = a, 3*p = -5*a - 40. Are q and a non-equal?
True
Let v be (-25)/42*2 + (-22)/(-22). Let h = v - -8/483. Is h at least as big as 1?
False
Let v = -466 + 326. Let d be (-40)/v - (-18)/(-14). Does d = 3/20?
False
Let m = -1.85 - 0.15. Let n = 1.98 + m. Let j = n + 2.02. Is j > 4?
False
Let j = 24/187 + -4373/35530. Which is greater: j or 1?
1
Let p(f) = f**2 - 29*f + 206. Let g be p(21). Suppose -3*t = i - 117, 3*i - 6*i = -4*t + 156. Which is smaller: t or g?
g
Let a(d) = d. Let v be a(-2). Let m = v + 2. Let o = 2/301 + 3590/3311. Which is bigger: m or o?
o
Let v be (17 - (-3458)/(-627)) + (-4)/(-22). Is v != 3/2?
True
Let h be 1215/(-1134) + (-3)/(-42). Which is smaller: h or 2/633?
h
Let l be ((-116)/(-112) - 4/14)/21. Which is bigger: -1 or l?
l
Let o be (2/92)/(6 + 138/(-24)). Let d(g) = g**3 - g**2 - 3*g + 1. Let j be d(2). Which is greater: o or j?
o
Let k = 821 - 811. Is 17 at least k?
True
Let h = 2 + 14. Let k = h - 21. Which is greater: k or -2?
-2
Let s(n) = -10*n**2 - 229*n + 31. Let y be s(-23). Suppose -38 = -5*k - 2*j, -4*k + 3*j = -2*k. Is y equal to k?
False
Let i(y) = y**2 - 3*y - 6. Let z be i(6). Let r be 7 - 6*(-8)/(-36)*-3. Which is greater: r or z?
z
Let j = -49186/9 + 5459. Which is smaller: j or -5?
j
Let k = 4.4 - 4.2. Is -2/5 at most as big as k?
True
Let y = 18 - 12. Suppose -d + y = 8. Let u be 8/d*(0 + 1). Are -6 and u equal?
False
Let h be ((-4)/12)/((-2)/(-30)). Let g be 2/(-3 + (-1 - h)). Suppose -5*d + 3*d = g. Is 2/17 smaller than d?
False
Let u = -200 + 218. Does u = 13?
False
Let u(g) = -g + 9*g**2 + 3*g**2 - 13*g**2 + 0*g. Let z be u(-4). Is 0 < z?
False
Let t(j) = 2*j**3 + 16*j**2 - 24. Let s be t(-7). Is s > 74?
False
Let p(q) = q**2 + q + 1. Let t be p(0). Suppose -3 = 3*w - 2*r +