+ 4*a + 24. Which is smaller: -2 or v?
-2
Suppose 2*o - n - 20 = 0, 3*n = 2*o + 5*n - 32. Suppose -5*q - 4*r = 18 - 2, 2*q = -3*r - o. Is -5 <= q?
True
Let k = -343/410 - -3/82. Suppose 5*v = -d - 4, 4*v + d + 1 = -2. Is v >= k?
False
Let o be (-3)/(-2 - (-2)/2). Suppose -o*h + 19 = 1. Suppose 13 = 5*v + i, 0 = -3*v + h*v + 5*i - 21. Is v not equal to 1?
True
Let f = 3 + 0. Suppose f*i - i - 29 = 3*w, w + 4*i = 9. Suppose 3*t - 1 = -4, 4*s = -t - 29. Is s > w?
False
Let i(r) = -r**2 + 1. Let q be i(-1). Let y be (3/6*q)/1. Let g = 1/15 - 2/5. Is y equal to g?
False
Let y(r) = r + 3. Let h be y(0). Let b be 8/5 + 4/10. Suppose g + 3*w = 11 + 4, -2 = b*g - 2*w. Is g at least h?
True
Suppose -3*q + 4 = -5. Suppose -s - 12 = q*s. Is 0 equal to s?
False
Let h = 7 + -2. Suppose -n = -h*n - 12. Which is smaller: -5/2 or n?
n
Suppose -5*u + 9 = -1. Suppose 4*f + 47 = i + u*i, -f = -3*i + 41. Is i bigger than 12?
True
Suppose t = -13 - 5. Let h be (1 - (-21)/t)*1. Is h bigger than 1?
False
Let i be 34/9 + (-16)/(-72). Let h be 8/i - (-32)/(-18). Is 1 < h?
False
Suppose 6*r - 32 = 2*r. Suppose -h - 3*h + r = 0. Is 0 less than h?
True
Let q(t) = t**3 - 3*t**2 + 2*t + 3. Let d be q(3). Let u = d + -12. Is -3 not equal to u?
False
Let k(c) = -c**3 - c**2 + 5. Let w be k(0). Suppose w*p = 2*p. Suppose -f - 13 = -4*y + 4*f, p = -2*y + 2*f + 6. Is 1 smaller than y?
True
Suppose 4*y = -4*l + 20, -3*y = 2*l + 2*l - 19. Suppose -y + 3 = -u. Is u equal to -2?
True
Let j be ((-2)/(-3))/((-3)/9). Let p(n) = -n**2 - 6*n + 4. Let c be p(-6). Let i be (2/c)/(2/(-12)). Which is smaller: j or i?
i
Suppose 3*y = g + 3 + 3, 0 = -2*g - 2*y + 4. Let h = 12 + -25. Is h bigger than g?
False
Let f(u) = -2*u - 8. Let m be f(12). Which is smaller: m or -29?
m
Let b = -0.08 + -16.92. Let g = b - -20. Is g greater than 1/6?
True
Let p be (5/(-3))/((-3)/9). Let x be (50/4)/p + -2. Which is smaller: x or 0?
0
Suppose 2*w = -3*j + 19, w - 3*j - 11 = -3*w. Suppose -2*z = 3*z - w. Let h be -2 - z/(-5)*14. Does 0.1 = h?
False
Let u = -8 + 8.04. Let g = u + 2.96. Let i = g - 3. Is -0.03 equal to i?
False
Let t(x) = -4*x - 14. Let h be t(11). Are -58 and h nonequal?
False
Let h = -17 - -30. Are h and 15 unequal?
True
Suppose -5*h + 40 = 5*h. Is 23/5 bigger than h?
True
Let f = 9 + -16. Let b = f - -7.3. Does 0.3 = b?
True
Let o be (-1)/(-6) - (-17)/6. Suppose x - g + 28 = 5*x, -10 = -o*x + 2*g. Which is bigger: 5 or x?
x
Suppose 13*l - 27 = -1. Which is smaller: l or 30/11?
l
Let u = -606 - -603. Let n(z) = z**2 - 3. Let x be n(0). Is u at least x?
True
Suppose -2*s + h = 3*s - 6, 6 = s - 5*h. Let w be 36/(-26) - (0 - 0). Let l = 87/91 + w. Which is bigger: l or s?
s
Let z = -2 + 3. Do z and -1/3 have different values?
True
Suppose -5*v - 4*m = 196, -2*m = -5*m - 12. Let a be (v/(-21))/((-4)/(-28)). Is 11 at least a?
False
Let p = 7/4 + -45/28. Which is greater: p or -1?
p
Let t = 211/22 + -1002/11. Let g = -80 - t. Let q be 0 - 0 - (-21)/7. Is g != q?
True
Let u be 1/2*4*3. Suppose -2*j + 9 = 3*k - 0, 2*k = -3*j + 21. Let p be 51/j + 3/9. Is p not equal to u?
False
Let r be ((-8)/3 - -4)/1. Is 1 not equal to r?
True
Let n be ((-4)/(-10))/(-17 - -11). Is -1 greater than or equal to n?
False
Suppose 2*v + 3 + 5 = 0. Let u be 1/(v*2/(-64)). Which is bigger: 7 or u?
u
Let j be -2 + (0/2)/2. Let m = j - -6. Suppose m = y - 3*y. Is -1 < y?
False
Let n(k) = k**3 + 6*k**2 + 4*k + 6. Let p be n(-5). Suppose 5*b + 13 = 4*m - p, 3*b + 5*m = -7. Which is smaller: -5 or b?
-5
Let h = 0.9 - -0.1. Let s be (4/(32/(-2)))/(-1). Is h at most as big as s?
False
Suppose 5*w = -15, -2*q - 1 = 3*w - 0*w. Let r = 3 - q. Which is smaller: r or -1/6?
r
Let j = 6.7 + -3.1. Let a = 4 - j. Let z = a - -2.6. Which is smaller: 0 or z?
0
Let r(y) = 9*y + 3. Let w be r(-5). Let g be 132/w - (0 + -3). Let z be (2/2)/(4/4). Which is smaller: z or g?
g
Let z be ((-5)/(-15))/((-1)/(-6)). Let c be (1 - (1 + z))/(-2). Let y = 0 + c. Is 1/9 at least as big as y?
False
Let h = 0.3 + -0.4. Let m = 0.2 + h. Let l = -8.7 - -9. Is l at most m?
False
Let n(g) = 2*g - 12. Let z be n(-6). Is z at most -25?
False
Let r(c) = -c + 3. Let o be r(6). Let l = -3 - -2. Let q be (-4)/(4/(-3))*l. Does o = q?
True
Suppose -3*k = -0*k. Let y = -6 - k. Let u = y + 5. Is -2/17 bigger than u?
True
Suppose -5*f + 26 = 4*u, -f = -u + 2 - 0. Suppose -p - 3*j = f*p - 6, 0 = -4*p - 2*j + 12. Is p at most 4?
True
Let m be 5/(-9)*66/4. Let l = m + 17/2. Which is greater: -3 or l?
l
Let k = 6.6 + -6.7. Let n = -399 + 2003/5. Which is greater: k or n?
n
Let y = -1 - -1.1. Let a = 584.87 + -591. Let f = 0.13 + a. Is y != f?
True
Let l be 15*5/((-25)/2). Let w be 4/(-14) + (l - -6). Which is smaller: 1 or w?
w
Let o = 4 + -9/2. Let c = -10 - -10. Is c less than o?
False
Let x = 49761/8 - 734431/120. Let i = x - 100. Let h = 460 - 461. Which is smaller: i or h?
h
Suppose t + 2 - 3 = 2*p, 3*t - 11 = 2*p. Which is smaller: 1 or p?
1
Let q = -4/15 - -5/12. Is 1 at least q?
True
Let b(z) = -5*z - 22. Let h be b(-5). Which is bigger: h or 15/7?
h
Let v be (9 - 11)/(3*3). Let i = 0 - 0. Which is greater: v or i?
i
Let u = -4.2 + 1.2. Let l = 2.9 + u. Does -0.5 = l?
False
Suppose 2 = -2*n + 3*n. Let s be n - -1 - 0/3. Are 3 and s nonequal?
False
Suppose 5*n - 73 = -298. Let m = n + 134/3. Is m greater than 1?
False
Suppose 0 = -3*h + 7*h - 8. Let q = h - -3. Which is smaller: q or 6?
q
Let d = 13 + -19. Let f(o) be the second derivative of o**3/6 + 3*o**2 - 3*o. Let m be f(d). Which is smaller: 3/5 or m?
m
Suppose -3*h - 2 = 2*a, 2*a = a + 4*h - 1. Let u = -12 - -12. Let q = a + u. Which is bigger: -2/17 or q?
-2/17
Let h be 2/1 - (-526)/(-264). Is h less than or equal to -1?
False
Suppose -39 = -3*z + 3*a, -2*z - 2*a + 23 = -15. Suppose -4*t + 0*t = z. Which is greater: t or -5?
t
Let s be 0 - (0 - 2) - 2. Is s smaller than 1/52?
True
Let v = 432632 - 84362977/195. Let k = 2/39 + v. Which is smaller: 1 or k?
1
Let i(p) = p**3 + 4*p**2 + 5*p + 4. Let j be i(-2). Let k be (3/9)/(j/18). Let u = 0 + 0.2. Which is smaller: k or u?
u
Let n be 1 + 3 + (1 - 3). Suppose -2*f + 20 = n*f - 4*b, -4*f + b = -8. Is f greater than or equal to 1/13?
True
Let w = -21 - -20. Are w and 4/19 unequal?
True
Suppose -2*q - 5*r + 9 = -17, -5*r + 35 = 5*q. Is 14 at most q?
False
Suppose -2*w - 2*y - 28 = -10, -3*w + 2*y - 2 = 0. Let o(d) = d**2 - 7*d + 7. Suppose 20 = -0*s + 4*s. Let g be o(s). Do w and g have the same value?
False
Suppose v + 112 + 288 = 0. Let h be 2/7 + v/910. Is h bigger than 0?
False
Let y = -0.84 + -0.16. Is 18/5 at most y?
False
Let h = 236/5 - 47. Suppose 2*n + 256 = 4*v, 4 + 118 = 2*v + 2*n. Let u be (-3)/5*(-70)/v. Which is greater: u or h?
u
Let a = -0.08 + 0.12. Which is smaller: a or 1?
a
Let s be (4/(-6))/(10/6). Let y be (-2)/2*-1 - -1. Suppose 0 = -3*r + 5*r - y. Is r less than or equal to s?
False
Let q = -31910950 - -47068649353/1475. Let n = -33/25 - q. Which is greater: n or 0?
0
Let d be -2 - (0 - (0 + 2)). Which is greater: d or 4/5?
4/5
Let x = -1.86 - -1.56. Let y = 0.8 + -2. Let r = y - -1. Is r bigger than x?
True
Let y be (4/6)/(15/60). Is y at least as big as 3?
False
Let c be 2/(-8)*-1 - 0. Let z be ((5 - 4) + -1)/(-1). Is z greater than or equal to c?
False
Let s = -113/3 + 38. Suppose g + 12 = -g. Let p(h) = -h**3 - 5*h**2 + 6*h + 1. Let a be p(g). Which is bigger: a or s?
a
Suppose 2*q + 1 = 3*j, -2*j - 3*q + q = -4. Suppose 3*v + 4*i = j, 2*i = 3*v - 3*i - 19. Do v and 2 have the same value?
False
Let d = 1 + -1. Suppose -4*j + 9*j = 0. Let g be 14/21 - (d + j). Is 1 at least as big as g?
True
Suppose -3*c + 6*c - 16 = 5*s, 5*c - 2*s = 14. Let i be c/7 - 6/21. Suppose 2*z + 4 + 0 = i. Do -1 and z have the same value?
False
Let q be 2 - (-9)/(-12) - 1. Suppose -4*l + 5*j + 28 = 6*j, 2*l - 28 = -4*j. Suppose d - 5 = 5*s + l*d, d = 5*s + 5. Which is greater: s or q?
q
Let l = 2 - 2. Let z = -16110 - -146297/9. Let i = z - 145. Which is smaller: l or i?
l
Let s = 16 - 26. Let v = 9.7 + s. Is 0.4 not equal to v?
True
Suppose 2*o - 3*m = 3*o - 7, -5*o + 4*m = -16. Let y be ((-3)/o)/((-3)/(-12)). Let d be ((-1)/y)/((-4)/3). Do -8 and d have the same value?
False
Let s = 4226/69 + -184/3. Let x = s + -9/161. Is 0 > x?
True
Let s(y) = -y**2 - 5