. Let v(q) = q**2 + 3*q + 2. Let s be v(-2). Is s at least as big as r?
True
Suppose 7*z + 2 = 8*z. Suppose 12 = l + 4. Suppose z*a - 2 = -l. Is a at least as big as -3?
True
Let q = 2 - 0.9. Let s = q - -5.9. Let k = s + -7.2. Which is smaller: -2 or k?
-2
Suppose -4*n + 394 = 86. Suppose -4*y - n = -5*k - 0*y, -2*k + 44 = 5*y. Let r = k + -33/2. Which is smaller: r or -0.1?
-0.1
Suppose 2*u - 2*g = -4*g + 22, u + 1 = 3*g. Suppose -u = -o - 3*o. Let i be 2 - (1 - o - -1). Is 0 >= i?
False
Let r = -55 + 25. Do -30 and r have different values?
False
Let j(n) = n**3 + 5*n**2 + 6*n + 5. Let a be j(-3). Is -3 >= a?
False
Let r = 11.1 - 11. Is r equal to 7?
False
Let h = -8 - -3. Let y = 9 - 8. Is y >= h?
True
Suppose -4*z + 2*z = 12. Let l be 5/7*z/(-15). Let d = 9.1 + -9. Which is greater: d or l?
l
Let g = -7 + 11. Suppose -g = -4*r + 4. Let h(o) = o**3 + 5*o**2 + 4*o + 1. Let p be h(-4). Is r at least p?
True
Suppose 2*d - 6*d - 2*o - 2 = 0, 4*d + o = 1. Which is bigger: d or 1/5?
d
Let y be 3/(-12) + 30/(-8). Let i = y - -5. Which is bigger: -3 or i?
i
Let w = 169/5 - 172/5. Let s be 2/4 + (-6)/4. Let c(f) = -f - 1. Let p be c(s). Which is bigger: p or w?
p
Let u = 0 + 0. Let r(k) = k**2 + 4*k + 5. Let j be r(-4). Let q be j*((-4)/10 + 0). Are u and q unequal?
True
Let b = -22 - -21. Is b > -1/56?
False
Suppose t = -3*c + 4, 1 = t + 4*c - 4. Is 4/73 at most as big as t?
True
Let k = 56.8 - 57. Is k < 0.015?
True
Suppose 4*k + 0*d = 3*d + 3, 5*d = -5. Suppose 2*n - 3*n - 6 = k. Let f = n - -4. Which is bigger: f or -3?
f
Suppose -j = 2*j. Let i be 1/6 - j/(-3). Does i = -1?
False
Let b be (-6)/(-40) + 26/(-65). Which is smaller: -0.1 or b?
b
Let j = 21.5 - 22. Which is smaller: -0.1 or j?
j
Suppose 3*y = 16*y. Which is smaller: -3/38 or y?
-3/38
Suppose 0 = -3*m + 7 + 11. Let k(l) = -l**3 + 5*l**2 + 5*l + 7. Let h be k(m). Suppose -5*j - 5*c = -0*j - 20, -c + 4 = -j. Which is smaller: h or j?
j
Let v(q) = -q**2 - 6*q + 3. Let d be -3*(-2)/(6/(-5)). Let b be v(d). Do b and 8 have different values?
False
Let q = 1 + -0.6. Let k = -4.6 - q. Which is smaller: -1/4 or k?
k
Let v = -4.11 - -0.31. Let l = 4 + v. Let q = 1.1 - 0.1. Which is greater: l or q?
q
Let g(r) = -r**3 + 8*r**2 + 11*r - 17. Let p be g(9). Is 2 at most as big as p?
False
Let f = 37408/11 + -2506716/737. Let j = f - 2/67. Which is smaller: j or -1?
-1
Let p be (-6)/(-15)*(6 - 1) - 3. Which is smaller: -3/19 or p?
p
Suppose 5*i = 4*s - 7, 6*i - 5*s = 2*i - 2. Let w = -5 - i. Suppose q - 2*h - 1 = 0, 2*q - 2*h - 3 = -5. Which is bigger: w or q?
w
Let s be (3 - 2) + 1 - (-108)/(-51). Let r be (-2)/(-6) - (-1 - -2). Which is smaller: r or s?
r
Let v be (3 + 14/(-6))*3. Suppose 0 = -5*h + 7 - v. Are -4/11 and h nonequal?
True
Let n = -88 - -974/11. Do n and 2 have different values?
True
Let p = 17.65 + 0.35. Let t = 17 - p. Is -2/3 smaller than t?
False
Suppose -n = 2*n - 9. Suppose -25 = 2*x + n*x. Suppose 3*t + 8 = 4*h, 0 = 2*h - 0 + 2. Is t smaller than x?
False
Let r be -1*4*5/(-20). Let x be (1 - 0)*1/r. Let l be x/(-1)*(-9)/(-12). Are l and -2 non-equal?
True
Let f = -19.4 - -1.4. Let h = -17.94 - f. Are 1 and h equal?
False
Suppose 0 = -p - 0*p + 27. Let v = 24 - p. Does v = -3?
True
Let r = -141 - -85. Let a = 119 + r. Let z = a - 687/11. Which is greater: 1 or z?
1
Let y = 5.5 - 6. Let v = -1.3 - -2. Let c = y + v. Which is smaller: 0 or c?
0
Suppose z - 5 = 6*z. Are z and 1/33 nonequal?
True
Let v(b) = -5*b + 4*b + 0*b + 6. Let t be v(5). Let w = 2 + 0. Which is smaller: w or t?
t
Suppose 0 = -4*p - 0*p - j + 21, -5 = -5*j. Suppose -l - p*q - 4 + 3 = 0, 2*q = 0. Which is smaller: 4 or l?
l
Let c = -9 + 6. Let l be (4/c)/((-30)/(-36)). Is -2 < l?
True
Let l be 45/6 - (-9)/6. Let g be (36/l)/(0 + 1). Is 4 > g?
False
Let y = 2/107 - -95/642. Which is smaller: y or 3?
y
Let p be (-12)/(-18) + (-1 - 489/(-9)). Which is smaller: 55 or p?
p
Let n = 1425/4 - 354. Is 3 < n?
False
Suppose 0 = 4*p + p - 10. Let c = -9 + 4. Let j = c - -4.9. Is p at least as big as j?
True
Let y = 0.17 + -0.27. Which is smaller: 8 or y?
y
Suppose -3*a + 5*w = -32, 5*a - 8 = -5*w + 32. Let t = a - 8. Which is greater: t or 8?
8
Suppose -270 = -9*d + 387. Which is bigger: 72 or d?
d
Let m(d) = -d**2 - 3*d - 2. Let k be (-8)/(-12) + (-11)/3. Let w be m(k). Let f be (0 + -1)/(w - -3). Is -2 bigger than f?
False
Let u(z) = -z - 21. Let t be u(-12). Is -9 less than t?
False
Let m = -3 - -4. Suppose 0 = 3*g - m + 4. Is -1 bigger than g?
False
Let t be 1 - 2910/513 - 2. Let m = t + 61/9. Which is smaller: -1 or m?
-1
Let t = 10 - 21. Let g(c) = -c**3 - 12*c**2 - 10*c + 2. Let r be g(t). Which is smaller: r or -10?
-10
Let n = 14 + -14.2. Which is smaller: -2/7 or n?
-2/7
Suppose -15 = d + 2*d. Is -5 < d?
False
Suppose -5*p + 12 = -5*i - p, 0 = 5*i - p + 3. Let t be (3 + 0)/(6/4). Do t and i have the same value?
False
Suppose j + 5*a = 4*j + 16, 2*a = j + 4. Let k be ((-4)/(-5))/(4 + -6). Which is smaller: k or j?
j
Let t = -7 - -11. Suppose -6*c + c + q + 6 = 0, t*c - 8 = 4*q. Is 3 >= c?
True
Let d(q) = q + 10. Let r = 6 - 14. Let m be d(r). Is m != 2?
False
Let n be 237/(-1035) + (-2)/(-10). Which is greater: -1 or n?
n
Let s = 97/65 - 35/13. Let w(i) = -i. Let c be w(0). Suppose c = -8*q + 3*q. Is q not equal to s?
True
Suppose h = 4*h - 2*q + 26, 0 = q - 4. Let d be 2 + -4 + h + 2. Let v(x) = x**3 + 6*x**2 + 2*x + 9. Let t be v(d). Is t greater than or equal to -1?
False
Let p = 1.2 - 1. Let a = 0.35 + -0.38. Do a and p have the same value?
False
Let b be (50/(-4))/(2/4). Let h be (-10)/b - (-2)/(-5). Which is smaller: h or -3/7?
-3/7
Let x be (-47)/(-4)*2 + -1. Let l = 17 + 6. Let u = x - l. Which is smaller: 1 or u?
u
Let d(a) = -a - 2. Let s be d(-7). Suppose 0 = -4*i - 2*m - 2, -3*i - s*m = -0*i + 19. Do i and 1 have different values?
True
Suppose -2 = 2*k + 26. Let w be (-21)/k*8/6. Are w and 0 unequal?
True
Let c be (-10)/(-2) - (0 + 0). Let t = c - 5. Which is greater: 2/3 or t?
2/3
Let a(v) = v + 2. Let d(w) = -w**2 + 2*w + 2. Let i be d(4). Let g be a(i). Let r(m) = -m**3 - 5*m**2 - 4*m - 4. Let l be r(g). Is l smaller than -5?
False
Let k be (-1)/(-1) - 12/14. Let l(o) = 8*o**2 + 5*o + o**3 + 11 + 3*o**2 + 0*o**3 + 6*o. Let q be l(-10). Which is greater: k or q?
q
Let r = 1.01 + -0.91. Suppose 48 = 5*d - 2*h, 3*h - 3 = -2*d + 1. Is r <= d?
True
Let h = -12.4 - -12. Suppose -p - 4 = -0*p. Let k = -5 - p. Is k less than h?
True
Let y = 189/10 - 37/2. Let w = 3 - -1. Suppose -u = w*u. Which is bigger: u or y?
y
Let q(b) = -5*b + 0*b + 3 + b - b**2. Let k be q(-4). Suppose 4*c = -5*z + 35, -z = -3*c + 4*c - 8. Is k less than z?
False
Let u = -31/11 - -115/33. Let p(s) = 4*s + 1. Let w be p(1). Suppose 2*q - 4*c + 14 = 0, w*c - 21 + 1 = 5*q. Do q and u have the same value?
False
Let k(v) = 3*v**2 - 2*v - 1. Let p be k(-1). Let r = -2 + p. Let o be (-8)/7*-2 - r. Does 1 = o?
False
Let r(z) = z**3 - 10*z**2 + 5. Let i be r(10). Is 15/4 less than i?
True
Let f(c) = 2*c**2 - 2*c + 4. Let r be f(2). Which is smaller: 7 or r?
7
Let t be 1 + 2 - (-30)/(-9). Is t < -0.07?
True
Let v = 45/7 - 111/14. Which is smaller: -10 or v?
-10
Let t = 0.1 - 0.4. Is 0.2 > t?
True
Let o = 159 + -159. Which is smaller: 2 or o?
o
Let u = 10 + -6. Let o be -24*1*(-2)/u. Let q be o/30 + (-2)/(-20). Is q at least as big as -0.1?
True
Suppose -y + 15 = 2*y. Which is greater: y or 4?
y
Let s = -4.1 + 4.33. Let f = -2 - -2.03. Let q = s - f. Is q at least as big as -1?
True
Let h(g) = -g**2 - 5*g - 3. Let r be h(-2). Suppose 4*k - 4*a = -28, -k + r*a = -3*k + 1. Let p be ((-1)/2)/(2/k). Is -1 < p?
True
Let x = -1046/11 + 11551/132. Let o = x - -15/2. Which is smaller: o or -1?
-1
Suppose 2*x + 2 - 6 = 0. Let j be 3/(((-18)/(-4))/(-3)). Let a be (-1)/(0 + j/6). Which is smaller: x or a?
x
Let h be ((-30)/4)/(2/(-4)). Are 15 and h equal?
True
Let m = 13 + -12. Which is greater: 1/7 or m?
m
Let s = 3 - -1. Suppose 0 = 5*n + 2*m - 9, n = -s*m + 13 - 4. Is n bigger than 3/8?
True
Let t = 49 - 11. Let b = -24 + t. Suppose 5*r + 10 = 5*l, -5*r - b = -4*l + l. Is l at least -4/5?
False
Let b = 0.2 - 0.3. Let u = 8 - 8.5. Let g = u - -0.3. Is g != b?
True
Suppose 6*w = 11*w. Is 2/9 > w?
True
Let w be (3 - 39/12)*-4. Let a be (-33)/(-15) -