z = -53, 3*q + q - 2*z - 34 = 0. Let k be h(q). Is -11 not equal to k?
True
Let i(d) = 3*d - 1. Let c be i(-1). Let q = c + 4. Let v be (-2 - 19/(-10))*2. Is q bigger than v?
True
Let c be -6*(-4)/(-88) - -3. Which is smaller: c or 2?
2
Let u = 3 + -1. Let l be (12 + -10)*2/4. Which is smaller: u or l?
l
Let b = 77 - 65. Is b bigger than 1/2?
True
Let s = -29 + 7. Let c = -6 + 5. Which is smaller: s or c?
s
Suppose 0*r - 13 = -3*n - r, -4*r = 5*n - 17. Suppose -3*j + 13 = 2*l, n*j = -2*l + j + 18. Which is bigger: l or -2/5?
-2/5
Let z = 22 + -21.97. Which is smaller: z or -2?
-2
Let x be (12/9)/((-2)/(-6)). Suppose 2*b = -x*b. Is 8/11 < b?
False
Suppose 0 = 3*c - 5*c - 10. Suppose 0*a - 33 = -3*i + a, i - 4*a = 22. Let j be (i/3)/((-4)/6). Is c at most as big as j?
True
Suppose 7 = -12*j - 5. Let c = -58 - -403/7. Is j <= c?
True
Suppose 2*p + 28 = -12. Let u = -41/2 - p. Which is bigger: 0 or u?
0
Let y = -0.96 + -0.04. Let u = y + 4. Is u smaller than -1?
False
Let c = 1.1 - 1. Is c at most as big as 0.8?
True
Let l = -11.3 - -2.1. Let j = -10 - l. Which is smaller: j or -0.1?
j
Let g = -3 + 4. Let q(c) = -g + 4 - 1 - c. Let p be q(3). Which is bigger: 2/9 or p?
2/9
Suppose 0 = -5*p + 13 - 3. Which is smaller: 0 or p?
0
Suppose 4*s - 2 + 6 = 3*k, 20 = 4*k + 2*s. Which is bigger: 1 or k?
k
Let o(h) = -h**2 - 4*h + 7. Suppose 7 - 22 = 3*u. Let w be o(u). Suppose 0*v - w*v = -6. Is v >= 4?
False
Let v be -3 - (-4)/8*5. Is -2 >= v?
False
Let o = 6 + -5. Let m = -1 + o. Which is bigger: 3/4 or m?
3/4
Let f be 0/(-1 + 1 - 1). Let z(g) = -g - 1. Let q be z(f). Let i be 0 + (q - (1 + -3)). Is i > 1?
False
Suppose 3*j = 2*m - 10, -m - 4*j = -3*j. Suppose 0 = 3*n - m*r + 1 + 1, 3 = 4*n + 3*r. Suppose n = 4*d - y - 9, -3*d - y = -10 - 2. Which is bigger: 2 or d?
d
Let d = 0.29 - -0.71. Which is bigger: 4 or d?
4
Let w be 120/(-28) + 4 - (-22)/28. Is -0.33 less than w?
True
Let a be ((-6)/14)/(6/4). Let i(x) = x**2 + 6*x + 4. Let b be i(-5). Let y = -2 - b. Is a equal to y?
False
Let l = -4 + 17. Suppose m - 2*u = -2*m + 12, 5*m - l = u. Which is bigger: m or 1?
m
Let x be 3*(-1)/(-6)*(-4)/(-7). Let q(v) = -v**3 - 5*v**2 - v - 4. Let y be q(-5). Is x less than y?
True
Let m be 3/8 - 8/192. Is -8 not equal to m?
True
Let h = 3 + -5. Let g be (-208)/36 + h/9. Let l = g - -4. Which is greater: l or -1?
-1
Let p = 90 + -90. Do p and -4 have the same value?
False
Suppose -20 = 4*t, -4*t = 5*b - 97 + 12. Suppose 5*u + b = 1. Is u bigger than -4?
False
Suppose -4*i = i - 45. Let n be -4 + -3 + i + -4. Is n < -1?
True
Let c be (-15)/(2*14/4). Which is greater: c or -3?
c
Let y be 1*-1 - (-2 + 2). Let h = y + 1. Let w = -166 + 1496/9. Which is greater: h or w?
w
Let z = 0 - 5. Let t be ((-2)/18)/((-1)/2). Let q = 1/36 + t. Are z and q unequal?
True
Suppose 3 = -5*g + 6*g. Let m = g - 1. Let t = 25 - 122/5. Is t bigger than m?
False
Let g = 1.95 + -2. Let h = 0.14 + -0.14. Do h and g have the same value?
False
Let c = 26963/9 - 2999. Is -2 > c?
True
Let j = 0.06 + 4.94. Let x = 7 - j. Are 3 and x equal?
False
Suppose -b + 5*t = -3, 0*t - 9 = -3*b + 2*t. Is b bigger than 3?
False
Suppose 110 = -4*h - h. Let m = h + 30. Which is bigger: 9 or m?
9
Let u = 6730/33 + -204. Which is smaller: 1 or u?
u
Let h(f) = -f**3 + 6*f**2 - f + 4. Let t be h(6). Is -2 != t?
False
Let b = 206/569 - 70063/81936. Let f = b + 15/16. Which is smaller: -1 or f?
-1
Let i be (-2)/8 - (-9)/4. Suppose 2*s = 3*y - 2 + 15, -4*y - 16 = -i*s. Let o be s - (0 - 1) - 2. Is o at least as big as -1/4?
True
Let n = -19.9 + 20. Is n equal to -2/49?
False
Let a = -91 + 100. Which is smaller: a or -0.2?
-0.2
Let r be -2 + (-2)/(-3)*2. Let d be (0 - 124/5) + 0. Let k = 25 + d. Is r at most as big as k?
True
Let n(b) = 3*b - 10. Let i be n(7). Is 13 less than i?
False
Suppose 2*i - 20 = -0*i. Let p be i*1/2*-2. Is -9 <= p?
False
Let y(m) = -m**2 + 11*m - 11. Let f be y(10). Is 2/47 less than f?
False
Suppose -5*o - 5*w = -o - 12, 2*w = -4*o + 12. Let i = -7 + o. Let z be (1/(-2))/(2/i). Is 1 at most as big as z?
True
Suppose -r = 2 + 1. Let l(h) = -h**2 - 3*h - 2. Let o be l(r). Let m = -2 - o. Which is greater: -1/4 or m?
m
Let o = -55 - -166/3. Does 5 = o?
False
Let o = 2.8 - -0.9. Let c = 4 - o. Let p = -0.6 + c. Is 1/2 >= p?
True
Let i = -5 - 2. Let j be (-2 + 3)*(1 - 6). Which is bigger: i or j?
j
Let j(f) = f**3 + 9*f**2 - 10*f + 7. Let x be j(-10). Which is smaller: x or -2?
-2
Let h = -2.5 + 3. Let m = h - 0.5. Are m and -1 equal?
False
Let q(n) = -n**3 - 7*n**2 - 9*n - 12. Let b be q(-6). Let o be 7*(-1)/2*-2. Which is smaller: o or b?
b
Suppose -z - 4*w + 1 = 4, -z + 2*w - 3 = 0. Suppose 2*a - 4*a = 4. Is a smaller than z?
False
Let y(i) = i**3 + 11*i**2 + 9*i - 8. Let n be y(-10). Let q be 2*(-2)/(-40)*n. Do 0.1 and q have the same value?
False
Let j = 197/68 - 11/17. Let i = -9 - -12. Are j and i unequal?
True
Let i = 1.27 + 6.43. Let m = -8 + 0. Let c = m + i. Is c at least -1?
True
Suppose y + 5*s - 10 = -4*y, 12 = y - 4*s. Suppose 0 = y*z - 0 + 4. Does -1 = z?
True
Let g(o) = -o**2 - 7 + 2 - 10*o + 1 - 7. Let p be g(-8). Suppose 0 = -p*w + 5*v + 5, 3 - 6 = -3*w - 2*v. Are 1 and w nonequal?
False
Let t = -4/169 + -5396/507. Is t at least -10?
False
Let o = 2 + -16. Let j = o - -13. Which is greater: j or -4?
j
Let u(x) = x**2 - x - 1. Suppose 4*d - 5*b + 0*b = -4, -5*b + 36 = 4*d. Let v be 1/d - 15/(-20). Let y be u(v). Is -1/2 <= y?
False
Let n = 51 + 1. Do n and 52 have different values?
False
Let f = 5323/15 - 355. Let w = 7/60 - f. Is 0 != w?
True
Let a(h) = h**2 - 2*h**2 + 2 - 3 - h - 4*h**3 - h. Let w be a(-1). Suppose -2*n - n + 2*k = -14, -16 = w*k. Is n equal to 2?
True
Let g = 0.03 - -1.97. Let l(t) = t**3 + t**2 + 2. Let q be l(-2). Let f be ((-7)/q - 3)*2. Which is smaller: g or f?
f
Let o = -1.6 + 2. Let t = -0.8 - -0.4. Let a = t + o. Is -1/3 at most as big as a?
True
Let b = -9 - -28. Let f = b + -18. Let m = -1 + 1. Is f equal to m?
False
Let d be (8/(-6))/((-3)/(-18)). Let s(y) = -9 + 1 + 1 + 0 + y. Let h be s(0). Do h and d have different values?
True
Suppose -5*n - 4*l + 10 = 0, -3*n - 5*l + 10 = 2*n. Suppose 0 = 2*d - 3*r + 10 - 27, n*d - 4*r - 22 = 0. Let v be 4/(-2)*-1 + 0. Is d greater than v?
False
Suppose -2*y = 2*y + 12. Let d(r) = -r**3 + 7*r**2 + 4. Let b be d(7). Suppose -5*h + 2*w - 2 = 0, h - 4*h + 10 = -b*w. Which is bigger: h or y?
h
Let x = 3104/15 - 207. Which is bigger: 1 or x?
1
Let p(s) = -4*s - 5. Let m be p(-2). Is m less than 22/7?
True
Let m be (-6)/21 + 60/(-231). Which is greater: -1 or m?
m
Let f = 49 - 57. Which is greater: 2 or f?
2
Suppose 4*k - 16 = n + 33, 25 = 5*k. Let r = n + 88/3. Let o = 1.9 - 2. Which is smaller: r or o?
o
Let l be 2 + ((-84)/15 - -4). Is l != 21?
True
Suppose -2*j = -3*j - 46. Let d = 369/8 + j. Is d greater than 1?
False
Let p be ((-3)/45)/((-3)/(-9)). Let n = 0.26 - 0.16. Is n equal to p?
False
Suppose 2*l + 0*l + 2 = 0. Let m be (2/(-10))/(l/(-2)). Which is greater: 0.2 or m?
0.2
Suppose 5*p + 0 = -5. Let s(f) = -f + 1. Let a be s(p). Suppose 4 = 12*h - 10*h. Are h and a equal?
True
Let r be 6*(-3)/((-18)/3). Suppose -r*l - 16 = -0*j - 4*j, -l = j + 3. Do l and -2 have the same value?
False
Let d = 11.54 + 0.46. Do d and 0.1 have different values?
True
Let k = 3008 - 123318/41. Does 0 = k?
False
Let p = -2 + 3. Let i = p + -6. Let q = -4 - i. Which is smaller: -2 or q?
-2
Suppose 2*a + a = 0. Let w = -1088/39 - -86/3. Which is smaller: w or a?
a
Let l = 4109/9 - 457. Let q be (-3)/(-12) - (-43)/(-36). Let s = q - l. Which is bigger: s or -2?
s
Let t = -14.23 - -0.23. Let i = 12 + t. Which is smaller: i or 6?
i
Let o = 3/283 + -695/12169. Which is smaller: o or 0?
o
Let g = 5 - 7. Let q be 0 + g + 27/12. Is q less than or equal to -2?
False
Suppose 46 - 43 = -y. Is -7 equal to y?
False
Suppose 7*u + 146 = 5*f + 4*u, 5*f - 144 = 2*u. Let n = f + -137/5. Let w = -4 - -3. Which is greater: w or n?
n
Let u(s) = 75*s + 1. Let n be u(-2). Let j = 439/3 + n. Is -2 <= j?
False
Let d = -10 - -11. Let i = 0 + d. Which is smaller: 2 or i?
i
Let g(y) = y**3 + 4*y**2 + 7*y + 4. Let c be g(-6). Let l = -548/5 - c. Is -5 less than or equal to l?
True
Let v be (-4)/(-1 - 0/2). Suppose 85 = p + v*p. Are p and 18 equal?
False
Su