. Which is bigger: q or l?
l
Suppose -5*j - 9 + 29 = 0. Let t be j/18 - (-2)/(-9). Let a(q) = q**2 - 2*q + 1. Let y be a(1). Is t at most y?
True
Let o(j) = 10 + 4*j + 6*j + j**2 + 1. Let d(x) = 9*x. Let v be d(-1). Let g be o(v). Which is bigger: g or -0.1?
g
Let c = 3/2 - 11/8. Are 0 and c equal?
False
Suppose 0 = -r - 3*y + y + 72, 0 = -3*r + 4*y + 196. Do r and 68 have the same value?
True
Let l(w) = -w - 1. Let t = -1 - -2. Let i be (5 + -7)/(t/2). Let y be l(i). Which is bigger: 2 or y?
y
Let z = -17/24 - -283/8. Let i(k) = 34*k. Let n be i(-1). Let x = z + n. Which is greater: 0 or x?
x
Let y = 0.179 + -3.179. Which is smaller: y or -3.5?
-3.5
Let a be (-7 - -8)/(2/(-46)). Which is greater: 2 or a?
2
Let b(k) = -2*k - 1. Let a be b(-1). Let o be a*-2*(1 + -2). Suppose 0 = o*d + 5*s - 25, 1 - 11 = 4*d - 2*s. Is -1 >= d?
False
Let b = 2/5993397 - 121643950/565377117. Let i = -2/283 + b. Suppose -4*y + 3*f = -16, 3*y - 3*f - 2*f = 23. Is y > i?
True
Let f be (-3)/(-1) - (16/(-4) - -22). Which is greater: -12 or f?
-12
Suppose -3*l - 10 = 5*j - 5, 4*l = 2*j - 24. Let c = -4 + 4.1. Is c at least as big as j?
False
Let k = -5 - -6. Is k at least 0?
True
Let x be 26/12 + 4/(-6). Let n = 4 + -4. Which is smaller: n or x?
n
Let s be (1*117 + -1)/(-1). Let r be (-2)/12 + s/24. Which is greater: r or -0.1?
-0.1
Let r = -2.33 - -2.3. Is -1 at least as big as r?
False
Let c = -761/7 + 109. Which is smaller: -3 or c?
-3
Let s be (-1)/33*(-3)/1. Suppose -1 - 2 = 3*b. Is s smaller than b?
False
Suppose -3*f = -0 + 6. Which is greater: -5 or f?
f
Let v = 0.088 - 1.108. Let j = -0.02 - v. Is j < -2/7?
False
Let x = 6 - 4. Let o be (1/3)/(x/(-6)). Is o >= -1?
True
Let j = 1 - 1. Let v = 30 - 29. Which is smaller: v or j?
j
Let q = 0 - 0. Let p be 2 + q - (-52)/(-20). Suppose -5*i = -2*i + 3. Which is smaller: i or p?
i
Let s = -10069/300 - -612/25. Let m = 28/3 + s. Which is smaller: 1 or m?
m
Let h(j) = j**3 + j**2 - 3*j + 3. Let o be h(-3). Let z = 6 + o. Which is smaller: z or -2/19?
-2/19
Let t = 0 + 1. Let h = 0 + t. Let b = -1 + h. Is b >= -0.1?
True
Suppose 0 = 4*m + 12, 8 = 3*u - m + 2. Let z = 2 - -2. Suppose -z*n + 7 = 3. Are n and u unequal?
False
Suppose 5*h = 5*s - 10, 2*h - 7*h = -2*s + 1. Is h at most 1?
True
Let o be (-12)/36 + 41/(-21) + 2. Is o >= -1?
True
Let m(k) = -k**3 + 8*k**2 + 6*k. Let t be m(8). Which is smaller: t or 47?
47
Let h = -173 + 187. Is -1/4 less than or equal to h?
True
Let f = 85276/13 - 6556. Which is greater: 3 or f?
f
Suppose -f = -5*f. Is f <= 1?
True
Let i = -10 + 18. Let n = i - 5. Which is smaller: -2/5 or n?
-2/5
Let k be (4 - -6)/(-5)*(-11)/12. Is k at most as big as -1?
False
Let m(b) = -1 - 3*b**3 - b + 2*b + 2*b**3 + 2*b**3 - 6*b**2. Let l be m(6). Is l < 6?
True
Let y be 6*(3 - 1)/(-2). Suppose x + o = -5, o - 2*o = -2*x - 10. Is y greater than or equal to x?
False
Let k = -493/6 - -82. Is -6 greater than or equal to k?
False
Let m = -8 + -2. Which is greater: m or -13?
m
Let f = -7 - -6.92. Let u = 0.18 + f. Is u greater than -1?
True
Suppose 5*m = 23 - 78. Let y = m - -19. Is 8 smaller than y?
False
Suppose -4*v - 6 = -2*v. Let c = v + 2. Which is bigger: -2 or c?
c
Suppose c - 130 = -4*c. Let l = c - 27. Are l and -1.4 non-equal?
True
Let p be 62/(-143) + 0 - (-2)/(-11). Which is greater: -2 or p?
p
Let d = 41 - 36. Let h = 5 - 0. Is h less than d?
False
Let q(f) = -2*f + 29. Let k be q(14). Which is smaller: 3/26 or k?
3/26
Let p = 3 + -1. Suppose 4*l + 3*z = 16, -p*z - 20 + 0 = -5*l. Is l at most 3?
False
Let f be 38/8 - 3/(-12). Let w(t) = -t + 6. Let j be w(f). Which is greater: -1/5 or j?
j
Suppose -h + 2*h = -2*p - 3, -3*p - 21 = -4*h. Which is bigger: 5 or h?
5
Let k(f) = 3*f - 9. Let u be k(4). Let i be 8/(-4) + 4/u. Let p = -2 + 1. Is p at most as big as i?
True
Suppose -23 - 22 = -5*p - r, -4*p + 4*r = -12. Let o(m) = m**3 - 8*m**2 + 5. Let y be o(p). Let h be (-3)/9*(1 - y). Is 1 > h?
False
Let y be -2*35/(-10)*1/(-7). Which is greater: -9/5 or y?
y
Suppose 2*z - 19 + 3 = 0. Let b = 14 - 21. Let j = z + b. Is 0 greater than j?
False
Let k be -1 + 0 + (-2)/(-2). Suppose 4*f + 5*i + 129 = 0, -4*f - 2*i = 34 + 80. Let o = 27 + f. Is o greater than k?
True
Let k be 4/10 - 297/(-45). Suppose -k*z = -2*z. Which is greater: z or -2?
z
Let r = 1 - 3. Suppose -5*o + 25 = -0, 3 = s + 3*o. Let z be 2/(-4) - 3/s. Which is bigger: z or r?
z
Let z(n) = 9*n + 6. Let c(i) = -4*i - 3. Let t(l) = -7*c(l) - 3*z(l). Let p be t(-2). Is p less than or equal to 2/19?
False
Suppose -a - 9 = 3*u, 3*u - 7 + 4 = 0. Is a greater than -12?
False
Suppose 2*q - 7 = 5*u - 2*q, 5*u - q - 2 = 0. Let r be u + ((-33)/(-12) - 3). Is r < 1?
True
Let b(d) = d**2 - d - 1. Let u = 6 + -6. Let s be b(u). Let x be 0 + 2 - (3 - s). Which is bigger: -1 or x?
-1
Suppose -3*v = -3, j - v = v - 21. Which is smaller: -18 or j?
j
Let l = -3.001 + 0.001. Is -3 less than or equal to l?
True
Let i be (3*-1)/((-6)/(-8)). Let o = -1 - i. Suppose -o*r = -1 + 7. Which is greater: 0 or r?
0
Suppose 64 + 101 = -3*s. Is -54 smaller than s?
False
Let w = 79/9 + -9. Which is smaller: w or 4?
w
Let w(i) = 4*i + 19. Let c be w(-9). Is c at least -18?
True
Let t = -2.12 + 1.6. Let q = 0.5 + t. Let r = q + 1.02. Is r equal to -0.2?
False
Let w be 1*(0/(-1))/4. Suppose 10 = 2*j + z - 3*z, 2*j + 5*z + 4 = w. Is j greater than 2?
True
Let a = -7 - -8. Let b be -3 + a*(-93)/(-33). Which is greater: -1 or b?
b
Let k = 48/95 + -2/19. Let z(m) = 17 + 19 + 10*m**2 - 38 + m**3. Let l be z(-10). Which is smaller: l or k?
l
Let p = 16.2 + -15. Let f = -0.2 + p. Do f and 0 have the same value?
False
Let t = 0.2 + -0.2. Let u = 0.18 + -0.35. Let b = u - -0.17. Is b equal to t?
True
Let a be ((-21)/234)/7*8/(-4). Which is bigger: 0 or a?
a
Let o = -30 + 35. Let h(p) = p**3 + 7*p**2 + 4*p - 6. Let i be h(-6). Let z = o - i. Is 0 greater than z?
True
Suppose -16 + 6 = -2*l. Suppose -2 = -l*x + 3. Which is smaller: 1/2 or x?
1/2
Let q(j) = -j. Let t be q(1). Let n = 19.6 - 13.6. Is t != n?
True
Let q be (-20)/12*6/4. Which is smaller: -3 or q?
-3
Let p = -2 + 4. Let u = 640 - 640. Which is smaller: p or u?
u
Suppose l = -5*q + 28, l = -2*q + 22 - 9. Suppose -5*u = -l*u. Is u less than or equal to 1/7?
True
Suppose i = 4*i. Which is greater: -2 or i?
i
Let z be (-2)/(-7)*7/3. Let k = 9.03 - 9. Let u = k + -0.03. Is z <= u?
False
Let u = -39 - -39. Which is smaller: 1/12 or u?
u
Let w = 405 - 11743/29. Let u(v) = v**2 + 19*v. Let b be u(-19). Which is smaller: w or b?
b
Let i = 25 - 26. Is 0 at least i?
True
Let x = -6 - 0. Let b(l) = l**3 + 5*l**2 - 6*l - 1. Let c be b(x). Which is smaller: c or 1/7?
c
Let u = 97 - 286/3. Let c be 1/(-1)*1 - -1. Let l be 0 + (3 - c) - 1. Do l and u have the same value?
False
Let a(q) = q - 4. Let b be a(5). Let j be 0/3*1/2. Suppose 2*g - 2 = 4*w - 0, j = 5*w. Is b less than g?
False
Let a be (3/(-6) + 0)/((-5)/(-4)). Which is smaller: -9/5 or a?
-9/5
Suppose 0 = -b + 4*z - 20, 2*z - 10 = -2*b - 3*b. Let y(w) = 2*w - 2. Let m be y(2). Is m smaller than b?
False
Let q(v) = -v**3 - 6*v**2 - v - 4. Let a be q(-6). Let o be 2 + (0 - 0 - a). Let c = o - -1. Is c at least as big as 0?
True
Let f = -524/5 - -1057/10. Which is smaller: -2 or f?
-2
Let f be (2/(-18))/(1/(-3)). Let p(z) = -z**2 + 8*z - 6. Let u = 16 - 9. Let n be p(u). Which is smaller: n or f?
f
Let t(y) = -y**2 - 12*y + 6. Let i be t(-12). Do i and 5 have the same value?
False
Let t = -26 - -27. Which is bigger: 2 or t?
2
Suppose -3*d + 5*a + 7 = 26, -4*a = 4*d - 28. Which is smaller: d or -1?
-1
Let i = 83 - 87. Let c be ((-8)/52)/(1 - 0). Which is bigger: i or c?
c
Suppose -4*d - 2 = -3*d. Is -4 at least as big as d?
False
Let p(b) = -b**2 - 10*b - 9. Let n be p(-9). Suppose 0 = 4*g - 2*g. Is g > n?
False
Let m be -3 - (-9)/(-2)*-2. Is m greater than or equal to 7?
False
Let p = -355 + 6747/19. Let o be -3 + 1/2*4. Which is bigger: p or o?
p
Let v be 1*3/6*10. Suppose 0 = -v*y - 5. Is -1 less than or equal to y?
True
Let u be 156/30 - (1 - -4). Which is greater: u or 0?
u
Suppose 3*p = -5*z - 13, 2*p + p = 5*z - 23. Which is smaller: p or -5?
p
Let c = -0.83 + 3.83. Which is bigger: c or -1/3?
c
Let n = 16.97 + -17. Is -0.1 >= n?
False
Let x be 9/(-2)*4/21. Let a = 127 - 12