6 + 6, -g = -4*j - 13. Suppose 0*t = -g*p - 3*t + 12, 2*p + 5*t = 20. Which is greater: p or -1?
p
Suppose -9 + 49 = -5*q. Which is smaller: -10 or q?
-10
Let t be 2/(-10) - 114/(-95). Which is greater: t or -1/39?
t
Let z(j) = j**3 - 2*j**2 - 2*j - 5. Let v be z(3). Which is smaller: -7/6 or v?
v
Let y be (-4)/10 - 18/55. Are y and -2 non-equal?
True
Let w be ((-15)/10)/(-2 - 4). Which is bigger: -5/2 or w?
w
Let b = 192/35 - 30/7. Which is greater: 0 or b?
b
Let d = 19 - 20.4. Let t = -0.6 + d. Is t smaller than 1/9?
True
Suppose -61 - 87 = -4*o. Let t = -409/11 + o. Let x(i) = -i**3 + 11*i**2 - 7*i - 30. Let b be x(10). Which is bigger: t or b?
b
Let o(y) = 2 + 2 + 6*y + 0*y**2 - y**2. Suppose -2*x - 3*q + 17 = -0*q, q - 29 = -4*x. Let c be o(x). Which is greater: c or -2?
-2
Let v(g) = g**2 + 13*g + 18. Let x be v(-14). Is x smaller than 29?
False
Let y = 0 + -0.2. Let v = y + 0.1. Let k = 3.4 - 3. Which is greater: k or v?
k
Let u = 25 + -2. Let y = u + -22. Which is greater: 8/5 or y?
8/5
Let q be (4 + (-29)/8)/12. Which is greater: 0 or q?
q
Let w be -2 - -2 - 1*-4. Let t(h) = h**2 - 5*h + 6. Let q be t(w). Which is greater: q or 4?
4
Let p = -0.03 + -0.77. Let q = -0.08 - 0.12. Let i = p + q. Which is smaller: i or 1/3?
i
Suppose u = 3 + 6. Is u at least 0?
True
Let c(f) = -f**2 + 6*f - 4. Let x be c(7). Let q = x - -15. Let z be (q/264)/(1/(-4)). Is z <= 1?
True
Let o(s) = s. Let z be o(-4). Is -9/2 less than z?
True
Let r = 18 - 17.9. Let f = -3 + 1. Let i = f + 2. Is r at least as big as i?
True
Let l be (-125)/124 - 0 - -1. Let o be 122/248 + 0 - -1. Let k = l - o. Which is smaller: k or 2/9?
k
Let o(n) = -n + 10. Let z be o(10). Let h(f) = f**3 - f**2 + f + 3. Let m be h(z). Is 7/4 greater than m?
False
Let w be -1*(-1 - 2)/3. Let j be -2 + (0 - w)*6. Which is greater: -7 or j?
-7
Let p(s) = s**2 + 3*s - 5. Let x = -7 - -2. Let z be p(x). Suppose -3*y + 7 = z*o, o + 2*y + 5 - 12 = 0. Do -2/3 and o have the same value?
False
Suppose -n - 2*n = -6. Suppose r + 2*r = -n*a + 4, 5*r = 0. Which is smaller: 3 or a?
a
Suppose 0*n = 6*n - n. Which is greater: -2/57 or n?
n
Let u be ((-2)/(-3))/((-6)/9). Let a be (-2)/4*u/2. Is a bigger than -1?
True
Let l = 28 - 27.9. Let f = 0 + -0.1. Let p = f - -1.1. Is l != p?
True
Let k = 11 - 11. Suppose 18 = 2*g - 8. Suppose -z + 2*i + 14 = 7*i, g = 2*z + 5*i. Is z >= k?
False
Suppose 15 = 3*m, 2*n + m + 9 = -0*m. Let i = n - -7. Is i < 6/7?
True
Let r = 1 - 0.9. Let b = -2.5 + 4.7. Let x = 2 - b. Which is smaller: x or r?
x
Let w = 94 - 96. Which is smaller: -1 or w?
w
Let w = -33 + 57. Which is greater: -1 or w?
w
Let q be 3/18 - (-1)/(-6). Let i be 0*(5/2 - 2). Is q at most as big as i?
True
Suppose -5*j + 1 = -4*p - 5, -3*j = -5*p - 1. Let f be p*(2/1 + -1). Let y be f + (-2)/(-14)*-5. Which is smaller: 1 or y?
y
Suppose 4*g - 12 = -4*m, -15 + 3 = -4*m - 5*g. Is m at most 2?
False
Let h = -18.9 + 19. Is 1.3 >= h?
True
Let x(s) = 2*s + 15. Let t be x(-6). Suppose -n = -t, n - 3 = 2*z - 6. Which is bigger: z or 3/2?
z
Suppose l = -l. Suppose -5*t = -b + 22, -5*b + 13 = -2*t - 5. Let z = t + 21/5. Which is bigger: l or z?
z
Suppose 4*q - 8 = -4*w, -5*w - q + 6*q = -10. Suppose 2*z = -w*p + 5*z - 17, -2*p = 3*z - 1. Suppose -7 = 4*l + 5. Which is smaller: l or p?
p
Let y be 5*3/3 - 2. Suppose -3*v + y*i = v + 2, 2 = -i. Does v = -1?
False
Let i = 24 + -19. Let c be 12/(-10)*20/(-8). Which is smaller: c or i?
c
Suppose 0 = o - 2*o - 2*j + 1, 0 = -o + 4*j + 1. Is o > -1?
True
Suppose 2*a - 3 = 3*y + 5, -5*y = 3*a + 7. Is -4/29 bigger than a?
False
Let i(f) = -f**2 - 6*f - 6. Let z be i(-5). Which is smaller: z or -1/16?
z
Let s be (-4)/12*6/8. Is s > -2/7?
True
Let g = 7.764 - 0.98. Let d = g + 0.116. Let z = -7 + d. Which is greater: -1 or z?
z
Suppose 2*g - 1 + 2 = 3*f, 5 = f + 4*g. Let k be -1 + (f - 6/9). Which is bigger: -0.1 or k?
-0.1
Let f be (-34)/30*(-3)/2. Let c = f + -6/5. Let j = -7 + 5. Are j and c equal?
False
Let a = 6 + -3. Suppose y + 15 = 4*r, -5*r - 5*y = -0*y - 25. Suppose -r*q = -a*q. Is 1 bigger than q?
True
Let o = 0.008 + 12.992. Is o at most -0.1?
False
Let o = 2.98 - -0.02. Let h = 5 - o. Which is greater: -1 or h?
h
Let d = 15 - 14. Let i be (1/d)/((-24)/16). Do i and -2 have the same value?
False
Let c(h) be the third derivative of h**6/120 - 2*h**5/15 + 7*h**4/24 - 2*h**3/3 + 2*h**2. Let b be c(7). Let a be (b*(-1)/2)/(-7). Which is bigger: -1 or a?
a
Let m be ((-78)/18)/(1/2). Let h = m - -9. Is h at least 0?
True
Let k be (-24)/(-6) + (-3 - 2). Let t = 5/22 + -179/594. Which is smaller: k or t?
k
Let n = -16 - -10. Let u be 0 - n/4*-2. Is u less than -5/2?
True
Let i = -5 - -5.1. Let z = 5 - 9. Let l = -3 - z. Does i = l?
False
Suppose 0*c = -2*c - 4. Let l = c - 0. Let b = 107/2 + -55. Which is smaller: l or b?
l
Let g = -18 - -9. Let m = g - -15. Is m != 0?
True
Let a(z) = -z**3 - z**2 + 3*z + 1. Let n be a(0). Is 5/22 != n?
True
Let d be ((-6)/21)/(2/(-14)). Suppose 5*g = -d*k + 7, 3*k - 1 = 2*k - 5*g. Let h be (-10)/k*8/(-10). Is h at most 1?
False
Let l be ((-2)/(-3))/(4/42). Let i = l - 2. Let k(s) = s**2 - 4*s - 7. Let a be k(i). Is -1/2 > a?
True
Suppose -p - 8*p + 9 = 0. Is -4 smaller than p?
True
Let z = -2 - -4. Let x be (-8)/(-12) - (2 - z). Which is smaller: x or 0?
0
Let g = 8 + -9. Which is bigger: 0 or g?
0
Let q = -4 + 6. Suppose -3*w + 16 = q*w + 2*g, -2*w = 5*g - 19. Suppose -s - w*n - 2*n = 8, 0 = 3*s - n - 15. Which is smaller: 3 or s?
3
Suppose 3*s - s = 2. Let c = 2 + 1. Let f be (c - 2) + 35/(-45). Is s > f?
True
Let a be 18/21 - (3 - 2). Which is smaller: 0 or a?
a
Suppose 0 = 4*r + 4 + 4. Let d = -25 - -23.9. Let t = 1.1 + d. Are t and r non-equal?
True
Let o be ((-6)/3)/(-1) - 2. Let g be 4/10 + 20612/(-60). Let u = 343 + g. Is o less than or equal to u?
False
Let w(o) = -3*o**3 + 2*o**2 - o + 1. Let u be w(2). Which is bigger: u or -18?
u
Let k(z) = -z**2 + 12*z - 3. Let y be k(6). Suppose -1 = 2*l - y. Let r be (4/l)/(3/6). Which is bigger: -5/4 or r?
r
Let f be -2 + 0 - (1 + -1). Is f at least 13?
False
Suppose -5*q - 29 = 5*o - q, -5*o = q + 41. Let w be 14/o*(-18)/21. Which is greater: w or 0?
w
Let y(p) = -p**3 + 7*p**2 - 9*p - 4. Let q be y(5). Are q and -1/25 nonequal?
True
Let h(m) = -m**3 + 8*m**2 + 2*m - 7. Let d be h(8). Let z(u) = -u + 9. Let r be z(d). Is r > 4?
False
Suppose 3*k = -2*s + k, -k = -3. Let f = 0 - s. Is 4 at least f?
True
Let r(k) = k**2 + k + 1. Let b(c) = -c**3 + 2*c**2 + 6*c + 6. Let x(w) = b(w) - 5*r(w). Let h be -4*(30/8 + -3). Let u be x(h). Which is greater: u or -4?
u
Let t = 12 - -1. Suppose -4*w - c + t = 0, -3*w + 3*c + 0*c + 6 = 0. Let z = -12.5 + 11.5. Is w > z?
True
Suppose 0 = 4*d - d + 3. Let h = -0.8 + 0.6. Let f = h - -0.1. Which is smaller: d or f?
d
Let j be -29 + 29 - 14/10. Let c(l) = -l**2 + 1. Let h be c(1). Is j != h?
True
Suppose -4*z = -9*z - 5. Let m be 70/22 + 2/(-11). Let y be 2/12*(-1 + m). Which is smaller: y or z?
z
Let k = 7 + -9. Let w be k/(8/(-12)) - 3. Does -1/2 = w?
False
Suppose o = -6 - 0. Let r be -1 - (-2)/o*0. Which is smaller: r or 1/7?
r
Let i = 37 + -28. Is i at most 10?
True
Let u(w) = w**2 + 5*w + 5 + 12*w - 7*w. Let f be u(-10). Suppose -f*a + 2 = 7. Is -3 equal to a?
False
Let i = 14 - 37. Let f = i - -68/3. Which is smaller: f or 1?
f
Let j = 0 - -0.1. Let f = 0.36 - 0.16. Which is greater: j or f?
f
Let d(p) = 3*p**3 + 10*p**2 - 2*p + 2. Let h(k) = -k**3 + k**2 + k - 1. Let y(n) = d(n) + 2*h(n). Let q be y(-12). Which is smaller: 12/13 or q?
q
Let r = -57 + 56.9. Which is greater: r or 19/4?
19/4
Let j = 3 - 7. Let d = -14 + j. Let q be 75/d*3/(-15). Which is smaller: 2 or q?
q
Let m(i) be the third derivative of -i**6/60 + i**2. Let z be m(1). Do -1 and z have different values?
True
Let y be 3/6 + 1/(-2). Suppose y*z - 2*z = 0. Let x = -65 - -64. Is z <= x?
False
Let r = -1.9 + 2. Suppose -4*g - g - 30 = 4*f, -2*g = 3*f + 12. Let j = 5 + g. Is j less than r?
True
Let h = 22 + -16. Let i be h/(-2)*(-2 + -1). Suppose 4*l = -i - 3. Do l and -3 have different values?
False
Let k = 7.6 - 7. Let w = -0.9 + k. Which is bigger: w or 2/5?
2/5
Let l = -19 - -21. Which is smaller: l or -0.01?
-0.01
Let m(d) = d**2 - 7*d - 6. Let f be m(8). Suppose -4*l + 15 = w, -f*w 