). Are a and q unequal?
True
Let a be 2/(-4)*16/(-2). Let s be a/6 + (-66)/45. Which is smaller: -1 or s?
-1
Let o = -13.94 + 14. Let w = o - -0.94. Is w != 0.2?
True
Let m(z) = z**2 - 5*z + 2. Suppose -2*u + 22 = -4*b, u + 5 = 5*u + 5*b. Let g be m(u). Suppose 3*o = o + 4. Are o and g nonequal?
False
Let o = 7.1 - 7. Which is bigger: 0.02 or o?
o
Let l(w) = -4*w. Let g be l(-1). Suppose g*y + 0 = -2*q + 4, -5*y + 4*q - 21 = 0. Let m be (-3 - (-1 - -1))/(-1). Which is smaller: y or m?
y
Let a = 10 + -14. Suppose -3*u - u = 40. Let p = u + 7. Which is bigger: p or a?
p
Let v = 0.4 + -0.4. Let f = -0.18 - -0.08. Is v at least f?
True
Suppose -7*f + 11*f + 184 = 0. Let p be 2 - (4/f + 2). Is 1 smaller than p?
False
Let l = -45 - -37. Which is smaller: l or -3?
l
Suppose -16 = 2*z + 5*i, 4*i + 0 = 3*z + 1. Let r(f) = f + 3. Let y be r(z). Let t be (y - (-1)/(-2))*-2. Is t less than -2/5?
False
Let f = -62157/203 - 446/29. Let b = f - -321. Which is smaller: b or 0?
b
Let x(h) = -h**3 - 9*h**2 - 8*h + 1. Let g be x(-8). Let m be (-4)/(-14)*g*-1. Suppose -3*n + 10 = t, t = -2*t + n. Do t and m have the same value?
False
Suppose 9 = 2*t + 3*w, 0*t - 4*t = -3*w + 27. Let h be 1*(2 + t) + -1. Which is greater: -3 or h?
h
Suppose 4*y = 8*y - 4. Which is smaller: 0.12 or y?
0.12
Suppose -q + 5 = 2. Suppose -5*d + q = -27. Let x = -9 + d. Is -3 at least as big as x?
True
Let q be (1 - 16/10)/1. Let f be (-12)/(-6) + -1*(0 + 0). Which is greater: q or f?
f
Let y = -1 - -1/2. Which is smaller: y or 10?
y
Suppose u + 3*a = 6, -u + 5*a = 2*a. Which is bigger: u or 5?
5
Suppose 2*x = v + 3, 8*v + 4 = 4*v. Suppose -5*g = 1 + 19. Let t be (-6)/3 + g/(-1). Is x != t?
True
Suppose -25 = 4*a + 3. Let c = -74 + 68. Is c at most a?
False
Suppose 3*m = 3*u - 2*m + 115, -4*u = 5*m + 95. Is -30 at least as big as u?
True
Let m be (5/((-20)/(-2)))/((-1)/2). Which is bigger: m or -17?
m
Suppose -15 = -5*a - 0*a - 5*z, -4*a - z + 21 = 0. Let j be (1 - -13)*6/(-3). Let w be a/j*4/(-9). Which is bigger: w or 0?
w
Suppose -2*g = g - 27. Suppose 2*m - 3*m - 3 = -p, 3*p - g = -5*m. Let c be (10/22 + 66/121)/(-5). Is m smaller than c?
False
Let s = -27/35 - -4/7. Let y = -6 - -6. Suppose y*a + 1 = a. Which is smaller: s or a?
s
Let s = -1.3 - -0.3. Let c = -1.11 - -0.31. Which is smaller: s or c?
s
Let v = 53.6 + -54. Which is greater: v or -1/4?
-1/4
Suppose p - 15 = -5*r, p - 5 = -3*r + 6. Suppose 3*i = 4*s - 4, -7*s - r*i - 16 = -3*s. Which is greater: s or -3?
s
Let l be (-3)/(-2*(-1)/8). Which is greater: -10 or l?
-10
Let p = 4 + -4.5. Let y = p + 0.6. Is -2 smaller than y?
True
Let d be 42/38 + (0 - 1). Let s = 2 + -2. Which is bigger: s or d?
d
Suppose 0 = -2*w - l, l - 4 = 2*l. Suppose -2*y + 44 = w*y. Which is greater: 9 or y?
y
Let q = -0.53 + -1.47. Let r be 4/14*2/(-4). Which is smaller: r or q?
q
Let h be (2/3)/(2/(-6)). Suppose 0*r = 5*r + 50. Let d be (-3 + r/(-4))*6. Which is greater: d or h?
h
Let h = -0.9 + 0.6. Let q = h - -0.3. Let u = q - 1. Which is greater: 0.4 or u?
0.4
Suppose -f = -6 - 5. Let r be 1/3 + 61/6. Let v = f - r. Which is smaller: 0 or v?
0
Let l = 0.5 - -5.5. Is 0.1 at least l?
False
Let p(x) = -5*x**2 + x. Let d be p(1). Let l be ((-42)/(-9))/(d/(-6)). Let i be ((-33)/12 - -3)*28. Are i and l unequal?
False
Let v = 0 + 0. Let d(w) = w**3 + 6*w**2 - 9*w - 5. Let c be d(-7). Let m be (-2)/15*c/6. Is m < v?
True
Let j(q) = -q**3 - q**2 + q - 2. Let h be j(-3). Suppose -5*v + 68 = 3*t, 3*v - h = 5*t + 55. Let i be v/20*2/4. Is i >= -1?
True
Let l = 3 - 5. Let g be l*9/30*-5. Let z be g - (-3)/(-3) - -2. Is z smaller than 4?
False
Let p(c) = c**3 - 11*c**2 + 10*c + 6. Let b be p(10). Which is bigger: 13/2 or b?
13/2
Let m = 39 - 38. Which is bigger: -1/4 or m?
m
Let l(q) = q**2 + 6*q - 6. Let h be l(-7). Let z(m) = 5*m**3 - 1. Let s be z(1). Are h and s unequal?
True
Let a = -6 + 8. Let b be (-3)/2 - 9*1/6. Which is greater: b or a?
a
Let a = -3 - -1. Suppose 0 = -5*y - 6 - 19. Let f be (9/45)/(2/y). Do f and a have the same value?
False
Let t = -14 + 12. Is t greater than or equal to 4/7?
False
Suppose -w - w = 24. Let t = -12 - w. Is t bigger than -4/7?
True
Suppose 19 + 1 = 10*b. Is b greater than or equal to 9/13?
True
Let w(p) be the first derivative of p**3/3 - 2*p**2 - 10*p - 9. Let i be w(5). Which is smaller: i or -3?
i
Let p = -0.3 + 1.3. Let b = 34.98 - 30. Let i = 0.02 + b. Which is smaller: i or p?
p
Let r = -577972/145 + 3986. Which is smaller: r or -1?
-1
Let n = 8 - 2. Suppose -3*k = -z + 8, 0 = n*z - 3*z + k - 4. Let l = 37/51 - 1/17. Which is bigger: z or l?
z
Suppose b - p + 2*p = 8, 5*b - p - 16 = 0. Let r be 22/b + (-4)/8. Let y = 28 - 25. Do r and y have the same value?
False
Let q(f) = -2*f - 5. Let j be q(2). Which is greater: j or -8?
-8
Let v = -77 + 81.1. Let x = v - 4. Which is bigger: x or -0.5?
x
Let h(d) = -2*d. Let r be h(-1). Suppose j = -j + r. Let n = -0.5 + 0.7. Are j and n unequal?
True
Let m = -48 + 33. Which is bigger: m or -1/2?
-1/2
Let p = -3.11 + 4. Let t = p + 0.11. Which is bigger: t or 1/5?
t
Let z = 6 - 6. Let t = -4.8 + 0.8. Are t and z unequal?
True
Let a = -22.4 - -22. Which is smaller: a or 0.2?
a
Let j = 0 + 2. Suppose 2*k + 4*z + 12 = 0, 0 = -k - z + 3*z - j. Let x = k + 3. Are x and 3/8 equal?
False
Suppose 4*u + 0*u - 8 = -2*b, u - 3 = -b. Let t be 13/(-1) - (1 + -2). Let z = t + 14. Are z and b equal?
True
Let n = 0.096 + -0.135. Which is smaller: 0 or n?
n
Let p = 0.1 - 0.1. Let f = -5 + 4.6. Let y = 0.4 + f. Is p != y?
False
Let l = 0.6 - 0.9. Let i be 4 - -3*6/(-9). Is l not equal to i?
True
Suppose -4*n - 5 = -3*z, -2*n + 5*z - 11 = 2*n. Let j be (-123 - 1)/((-12)/8). Let d = 1745/21 - j. Is d < n?
True
Suppose -k + 66 = -3*k. Let t = k - -11. Is t greater than or equal to -22?
True
Let p(v) = -6*v + 56. Let x be p(10). Which is smaller: x or -1?
x
Let q be (-20)/40 + (1 - 182/4). Do q and -45 have the same value?
True
Suppose -2*d = 5*w - 73, 5*d = -5*w + 36 + 34. Let q be (-2)/(-3)*51 + -1. Let a be q/15 + (-3)/w. Which is bigger: 4/7 or a?
a
Let i = -3 + 0. Let y = 65/102 - -1/34. Which is smaller: y or i?
i
Suppose -o = -4*z - 2 + 18, -4*o = -5*z + 20. Suppose o = -4*p + 3*f - 45, 3*p - 5*f + 25 = -f. Let i be (-2)/(-7) + p/(-21). Which is smaller: i or -2?
-2
Let b = -0.1 - -0.1. Let w = -0.0409 + 0.0809. Do b and w have different values?
True
Let m(q) = -2 + q**2 + 0 - 3. Let j be m(0). Which is smaller: j or -4?
j
Let i = -2 - -1. Let w = -11/3 + 3. Which is smaller: w or i?
i
Let d be (0/2)/(-1) - -1. Suppose 0 = -3*z + 5*r + 19, -4*z + 4*r = -3*z - 4. Suppose 0 = 5*l + 2*v + 8, -z*l + 3*l - 5*v - 20 = 0. Which is smaller: l or d?
l
Let k = 38.29 - 38. Let w = k - -0.01. Let z = w - 0.4. Is z > -1/4?
True
Suppose -5*d - 6 = -11. Which is smaller: 14/13 or d?
d
Let d = -66405/47 - -1413. Let n = -136/329 + d. Let b(t) = t**3 - 9*t**2 + 9*t - 8. Let r be b(8). Which is bigger: r or n?
r
Let f = -42 - -39. Is f less than -6?
False
Let b = -25.4 - -25. Is b at least as big as -1?
True
Suppose -7*f + 20 = -2*f. Let o = 16 - 5. Suppose -b - f*b - 1 = -3*i, -5*i - b = -o. Are i and -2 equal?
False
Let p = 8.17 + -0.17. Let w = p + -8.3. Let x = -19 + 20. Is x > w?
True
Let t be (3/9)/(1/3). Let z be (2/(-6))/(1/2). Let d = z + 4/9. Which is smaller: t or d?
d
Let f = -46 - -45. Which is bigger: f or 2/179?
2/179
Let p be -2 + 1 + (-5)/(-4). Let d(m) be the first derivative of -m**3/3 + 2*m**2 - 2*m - 6. Let a be d(3). Do p and a have the same value?
False
Let y(h) = 5*h + 0*h**3 + 3*h**3 - 3*h**3 - 1 + 6*h**2 + h**3. Let r be y(-5). Is -3 at least as big as r?
False
Let p be 128/80 + (-3)/5. Which is smaller: p or -2/41?
-2/41
Let n be 8/144*6/9. Which is smaller: 1/2 or n?
n
Let l = -11 + 17. Let g = l + -8. Is -5 >= g?
False
Let h = 0.097 - 0.097. Let a = 6.7 - 7. Which is smaller: h or a?
a
Let k = -3.2 + 1.2. Let s = k + 3. Which is smaller: s or 0.1?
0.1
Let g be 14 + 0 + (-2 - -2). Let m = 15 - g. Is m >= 5/6?
True
Let z = 2 - -1. Let m(i) = 2*i**2 + 2*i - 1. Let x be m(-2). Suppose -x*p + 5 = 2. Which is greater: z or p?
z
Let o = 161/4 - 40. Let a(p) = -p**2 + 8*p - 9. Let w be a(7). Let t be 1*(w + 0 + 3). Which is bigger: o or t?
t
Let a be (-3)/(-2)*102/9. Suppose -a =