-3)/(j/2). Is i != p?
True
Let j = -0.222 - 128.778. Do -2/7 and j have the same value?
False
Let u = 0.06 - -1.94. Let k = -1 + u. Is k greater than 2?
False
Let j(i) = -7*i + 6. Suppose -24 = -s + 5*s. Let v be j(s). Let q be (-34)/v + (-7)/(-21). Which is smaller: q or -1?
-1
Suppose 3*m - 2 = -5. Let b be ((-6)/(-21))/((-3)/12). Is b at least as big as m?
False
Let j(d) = d**3 + 2*d**2 - 2*d + 2. Suppose 5*s - 1 = 2*l, 7 = -4*l + 3*s - 2. Let z be j(l). Which is smaller: z or 0?
z
Let i be 2/4*-2 - -4. Let l(c) = 0*c**2 + 1 + 0*c**2 - 2*c**2. Let m be l(-1). Which is smaller: i or m?
m
Let x(g) = -3*g**2 - 22*g + 7. Let v(p) = -p**2 - 11*p + 3. Let u(q) = 5*v(q) - 2*x(q). Let k be u(11). Let c = 324 - 2912/9. Is c at most as big as k?
True
Suppose -3*p + 15 = -4*p + 2*k, 0 = p - k + 10. Let v = p + 9/2. Is -1.4 not equal to v?
True
Let j be 5/(-18)*(-4)/10. Which is smaller: 0 or j?
0
Let u = -76.008 + 76. Which is greater: 1 or u?
1
Suppose -m = 4*m + 15. Suppose -l + 2*l = 3. Let o = -1 - l. Is m <= o?
False
Suppose -431 = 4*m - 11. Let w be ((-15)/m)/(4/14). Which is greater: 0 or w?
w
Let d be 1/4 - 3/28. Let i(j) = j**3 - 12*j**2 + 18*j + 20. Let t be i(10). Which is greater: t or d?
d
Let p be (2 - -1)/((-6)/4). Suppose 3*m = 4*m. Suppose 5*v = d - 12, d + m = -v - 6. Which is smaller: p or v?
v
Suppose 5*p = 5*v - 5, -2*p + 4 = 2*v + 2*v. Suppose p - 3 = -3*w. Let o = -125/8 - -16. Is o != w?
True
Let t = -25/3 + 8. Suppose 0 = 3*f - 0*f. Which is bigger: t or f?
f
Let n = -18 - -43. Which is smaller: 23 or n?
23
Let k be 1275/819 + (-10)/15. Let z = k + -6/13. Which is smaller: z or -1?
-1
Let h be 6/(-27) - (-316)/315. Let l = h + -8/21. Is -1 != l?
True
Suppose v = -2 + 4. Are v and 4 equal?
False
Let s be (-46)/84 + 2/6. Which is smaller: -1 or s?
-1
Let k = -6 + 3. Let d be 0*k/18*-3. Suppose -h - 4*h = d. Is h bigger than -1?
True
Suppose -69406 - 24949 = -5*m. Let z = 76019/4 - m. Let t = -135 + z. Which is smaller: t or -1?
t
Let k(l) = -l**3 - 9*l**2 - 4*l - 5. Let y be k(-7). Let z be (30/y)/(6/(-10)). Which is bigger: 2 or z?
2
Let h = 3.4 - 3.8. Let t = 4.9 + -0.5. Let k = t + h. Is 1 greater than k?
False
Let n(a) = -a**2 - 3*a + 2. Let c be n(-4). Let u be ((-3)/c)/(0 + -6). Let x = 0.106 + -0.006. Which is greater: u or x?
x
Let q(n) = -5*n + 19. Let p be q(6). Which is greater: p or -10?
-10
Suppose 4*b = -5*q + 25, -41 = -2*b - 3*b - 3*q. Let d(p) = -p**3 + 10*p**2 - p + 11. Let z be d(b). Is z at least as big as 2/5?
True
Let u be (-2 - (0 + -4)) + -2. Suppose -s + u*i = -2*i + 5, 3*s + 2*i + 7 = 0. Which is smaller: 0 or s?
s
Let o = -2 + 2.03. Let z = 0.17 + o. Let k = -1/108 - 209/756. Which is smaller: k or z?
k
Let g = 1.6 + -1.5. Which is smaller: -2 or g?
-2
Suppose x - 6 = -2*b + 11, 0 = b - 3*x + 9. Are 11 and b equal?
False
Let s = -4 - -6. Suppose 5*u = 5 + 5. Suppose s*i + u = 3*i. Is i < 3?
True
Let r be (3/(-3) - -6)*1. Are r and 3 nonequal?
True
Let k(m) = -m + 7. Let g be k(-9). Let h be ((-2)/(-4))/(8/g). Do -4/11 and h have the same value?
False
Let v(q) = q - 13. Let t be v(10). Is 0 >= t?
True
Let y be (17/(-102))/(0 + 2/(-27)). Which is smaller: 0.2 or y?
0.2
Let v be 1*-3 + 1 - (-16 + 14). Is v < 2?
True
Suppose -2*c + 3 = 5*f - c, -4*f + 6 = 2*c. Suppose f = -2*b + b - 1. Suppose -2*z - 2 = -3*d - 18, -5*d = -z + 22. Which is greater: z or b?
z
Suppose 3*x - x = 16. Let u = x + -13. Let p = u + 4. Which is smaller: p or -1/3?
p
Suppose -2*s = -f, -4*f + 2*f = -s. Is 3/38 less than or equal to s?
False
Let l = 931/108 - 158483/540. Let d = -285 - l. Which is bigger: -1 or d?
d
Let n be (2/(-30))/(7/(-4137)). Let z = 39 - n. Is 0 less than or equal to z?
False
Let a = -31/29 - -1. Let y = 9 + -4. Suppose y*s - 3 = 2*s. Which is smaller: a or s?
a
Let g be (5/225*-2)/(2/(-10)). Which is greater: -19 or g?
g
Suppose -m = -3*m + 2. Let a be 0/(-1 + -1 + m). Let h be (3 - 0) + 76/(-24). Is a at least as big as h?
True
Let h be 2/8 - 17/52. Suppose 25 = -8*o + 3*o. Let y be (0 - -1)*(o - -4). Is y > h?
False
Let b(k) = -k**3 - 15*k**2 - 15*k - 8. Let d be b(-14). Is 9/2 at most d?
True
Let c(d) = -d + 11. Let w be c(10). Let r be 8*3/21 - 0. Is w bigger than r?
False
Let w be 30/24 + (-3)/12. Is w smaller than 10/11?
False
Let i be ((-9)/(-42))/(9/6). Let v = -8 + 8. Do i and v have the same value?
False
Let d be (-200)/(-6) + (-2)/(-3). Suppose 3*c + 10 = -2, 4*c = -3*j - d. Let b = j - -3. Which is smaller: b or -4?
-4
Let u = -1 + 1. Suppose u = -4*o - 2*l - 12, 5*o - 11 = 6*l - 2*l. Let r be -2 + 5 + o + -3. Which is smaller: r or 2/7?
r
Let m(u) = -4*u + 9. Let h be m(2). Is h less than 9/26?
False
Let n(v) be the first derivative of -v**2/2 + 9*v - 2. Let b be n(7). Suppose -3*q = 2*r - 2, 3*r = -2*q - 2*q + b. Which is bigger: -1 or r?
-1
Let h(c) = -c**2 + 12*c - 26. Let a be h(9). Is -1 at most as big as a?
True
Let m be (3 + -10)*(2 - 3). Suppose 24 = -5*g + g. Let k be (g/16)/(m/28). Is k greater than 2?
False
Suppose 0*x = 5*x. Suppose -2*w + 0 + 4 = x. Let c be (1 + 3/(-2))*w. Which is bigger: 2/5 or c?
2/5
Suppose -4*o - 19 - 11 = -5*v, o = -v - 3. Suppose 16 = 3*r + v*r - 2*f, -4*r + 10 = -3*f. Which is smaller: -1/2 or r?
-1/2
Let f = 13 - 13.4. Is 1/2 >= f?
True
Let d be (-15)/12 - (-2)/8. Let w(c) = 4*c**2. Let x be w(d). Which is smaller: -2/5 or x?
-2/5
Let u = 2 - 2.3. Let r = -0.02 + 0.12. Is r >= u?
True
Let x be 1*3 + (-3)/(-3). Suppose 0 = -2*q - 0 + x. Suppose -3*n + 1 = -q. Is 1/5 at most as big as n?
True
Let f be 66/18 + 4/(-6). Let w be (f - -3) + 0 + 0. Is 6 < w?
False
Let v = 27 + -25. Suppose -b = -0*b - 15. Suppose 0 = 2*x - 2*z - 4, 0 = -x + 4*z + b - 4. Which is greater: x or v?
v
Let p = 1.2 - 0.8. Which is greater: p or 2/21?
p
Suppose 4*l - 40 = -0*q - 4*q, 0 = -2*l + 8. Is 8 <= q?
False
Let b = 0.4 + -0.5. Let d = 0.1 + b. Let w = -1 - d. Which is smaller: w or -2/5?
w
Let z = 83 - 85. Suppose -2*d - 11 + 5 = 0. Is z less than d?
False
Let f = -0.27 - -0.87. Which is greater: -0.2 or f?
f
Let k(q) = -4*q - 3. Let r(h) = -2*h**2 + 2*h + 2. Let s be r(2). Let n be k(s). Let b = -8 + n. Which is smaller: b or -5/2?
b
Let z = -13/2 - -21/4. Is -0.15 greater than or equal to z?
True
Let h = 52.9 + -53. Which is smaller: h or -50?
-50
Let w(k) be the first derivative of -3*k - 4 + 1/2*k**2. Let c be w(-4). Which is smaller: c or -6?
c
Let t(n) = -3*n**2 - 16*n + 1. Let b be t(-6). Which is smaller: b or -13?
-13
Let y be 5/(3/2 - 1). Suppose 0 = 5*t - y, b + 11 + 0 = 4*t. Let d be (4/b)/4*3. Which is smaller: 4/9 or d?
d
Let p be (-2)/(-6) - (-28)/(-3). Let l be -10 + -1 + -1 + (3 - 1). Which is bigger: l or p?
p
Let s(x) = 2*x**2 - 4*x + 2. Let t be s(3). Let z = t + -8. Is -2/5 not equal to z?
True
Let s(a) = a**3 + 4*a**2 - 3*a + 6. Let d be s(-5). Let z be (d/(-8))/(1/6). Which is bigger: z or 4?
4
Let s be 1/4*(-24)/(-39). Let z = -9/26 - s. Let y = 0 + z. Which is greater: y or -1?
y
Let q = 81 - 897/11. Is q less than or equal to -2?
False
Let y = 166 + -151. Which is smaller: -0.3 or y?
-0.3
Suppose -2*w + 2 = -g + 5*g, 3*w + 2*g - 15 = 0. Let t = 1 + w. Which is bigger: t or 7?
t
Let a be (-15)/20 + (-15)/(-4). Let r be 2*-1 - -2*2. Suppose -a*s + 20 = r*s. Is 4 < s?
False
Let y = 38 - 37.97. Is y < 3?
True
Let l be (-540)/312 + 1 + 2. Let o = -10/13 + l. Is 1 less than o?
False
Let l = 0.1 + -0.4. Let k = 0.3 + l. Which is bigger: k or -1?
k
Let q(g) = -13*g + 4. Let c be q(3). Let f = c + 25. Do f and -9 have different values?
True
Let h be (-8)/(-40)*(-2)/14. Is 1 > h?
True
Let x(t) = -t**2. Let l(h) = 4*h + 1. Let u(v) = -l(v) - x(v). Let g be 51/12 + (-1)/4. Let q be u(g). Which is smaller: -4/5 or q?
q
Suppose 3*l = 2*l - 3*m - 2, 2*l + 2 = -5*m. Suppose -u = l*f - 12, 8*u - 5*f + 15 = 4*u. Which is bigger: -1/12 or u?
u
Let l = -25 - -22. Do 0.7 and l have different values?
True
Let p = 66 - 64. Which is smaller: -7 or p?
-7
Let f = -49 + 21. Let o be (-1)/f - 3/(-12). Is o greater than or equal to 1?
False
Let o = 1/158 + 32/1185. Is o at least 0?
True
Let i be ((1 - 0)/(-1))/1. Let m(u) = -2*u**2 - 13*u + 5. Let h be m(-7). Is i at most as big as h?
False
Suppose 0 = 2*f + 4*z + 16, 5*f + 0*f = -4*z - 22. Which is smaller: 1 or f?
f
Suppose 0*