fferent values?
True
Let a be -1*(0 + 3 + -2). Let z(k) = -k**2 + k - 3. Let f be z(-5). Let u be 11/f - (-2)/3. Is a < u?
True
Let p = 0 + -4. Let u = 3.8 + p. Let w = 24 - 23. Is u not equal to w?
True
Let q be (0 + 0)/(-5 + 4). Let u = 4 - 3. Let n be (1 - u) + 2/4. Which is smaller: q or n?
q
Let f be (-3)/(-1) + -1 + (-224)/(-49). Which is greater: f or 8?
8
Let r be 20/(-8)*(-16)/10. Let c(o) = o**2 + 5*o + 6. Let f be c(-5). Is r at most as big as f?
True
Let x(r) = r**3 + 3*r**2 + 3*r + 1. Let z be x(-2). Let t be 1/(-2) - 6/81. Let o = t + 2/27. Which is smaller: z or o?
z
Let f = -0.1 - 0.9. Let v = -10 + 8. Which is smaller: f or v?
v
Let f be ((-2)/(-6))/((-3)/(-18)). Let a be ((1 - 2)*1)/1. Let o = a - -4. Is f greater than or equal to o?
False
Let d = 3 - 2. Let i be -2*(-3)/(-6)*d. Do -1/11 and i have different values?
True
Let i(d) = -d**3 - 3*d**2 + 5*d - 7. Let z be i(-5). Let x be (-6)/27 + 4/z. Let k = -5 - -4. Which is greater: k or x?
x
Let n = -4 + 4. Suppose k + 2 = r, 3*k = -n*k - 3*r + 6. Which is greater: k or -2/3?
k
Let x be (-27)/45 - 2/(-5). Let a be 8/12 - (-4)/(-6). Which is bigger: a or x?
a
Suppose 0 = -g - 0*g. Let t = -4 - g. Let h be 0 + (-2 - 1) + 0. Which is smaller: h or t?
t
Let b = -13 - -12. Let x be (-3)/34*2*-1. Which is smaller: b or x?
b
Let y(i) = -2*i - 1. Let k be y(1). Which is greater: -7/3 or k?
-7/3
Let s = -2 + 3.9. Let p = s - 1.7. Which is smaller: p or 0.1?
0.1
Let p(d) = -d**3 - 3*d**2 + 3*d - 3. Let o be p(-4). Is o at least as big as 2?
False
Let d(o) be the third derivative of -o**6/120 - o**5/10 - 5*o**4/24 + o**3/3 + 2*o**2. Let s be d(-4). Let k(r) = -r - 10. Let u be k(s). Is u >= 0?
True
Let s(q) = q + 8. Let n(c) = -c + 1. Let v be n(6). Let x be s(v). Is x at most 1?
False
Let a = -1 - 2. Let u be 1*(6 - 2)/1. Let h = -7 + u. Is h less than a?
False
Let f = -0.2 - -0.16. Which is smaller: -1 or f?
-1
Let k = 7 + -2. Let t = -5 + k. Do 0 and t have different values?
False
Let s(m) = -4*m**3 - 8*m + 3*m**2 - 10*m**2 + 5*m**3. Let l be s(8). Which is greater: -1 or l?
l
Let g = 14 - 8. Let k be (-22)/6 - g/(-2). Is k smaller than 1/2?
True
Let b be ((-1)/(14/12))/2. Let c be 2*2/(8/6). Suppose q - 15 = 2*q + 5*y, c*q + 3*y + 9 = 0. Is q smaller than b?
False
Let g = -3 - -1. Let r = 2.9 + g. Let l = r + -0.8. Is 0.1 > l?
False
Let p(k) = -2*k + 16. Let u be p(12). Which is smaller: u or 1?
u
Let r = 0 + -1. Let n = r - -3. Let d(i) = i**3 - 3*i**2 + 2*i + 2. Let v be d(n). Which is smaller: 0 or v?
0
Let z be (-310)/35 + 2/(-14). Let q be 22/(-99) + (-47)/z. Do q and 5 have different values?
False
Suppose -3*p - 3 = -q - q, 4*p - 2*q = -6. Let s be p/1 + (-110)/(-40). Let t = -2.8 + -0.2. Is t > s?
False
Let f be (-3)/(-4) - 3/(-12). Suppose -4*p = y - 0*y, 4*p = 0. Which is smaller: f or y?
y
Let h = -9 + 8. Suppose 2*p - a = -1, -2*a - 2 = -2*p - 0*p. Let k = p - h. Is k >= -2/5?
False
Suppose 0 = 2*f + 4*a - a - 9, -5*f - 4*a = -26. Let h be (-2)/(-5*(-2 + f)). Is h >= 0?
True
Suppose 3*k + 74 = -55. Which is bigger: -44 or k?
k
Let l(s) = -6*s**2 + 0*s + 5 + 5*s**2 + 4*s. Let a be l(-3). Which is smaller: a or -15?
a
Suppose -4 = 2*j - 5*g, 3*g = -2*j + g + 10. Suppose 4*s + 4*q = 4, 2*q = j*s - 3*q - 11. Suppose v - s = -v. Is v > 1?
False
Let z(d) = 4*d - 7. Let k be z(2). Which is smaller: -4 or k?
-4
Suppose -18 = -2*i - 0*i. Let r = i + -10. Which is smaller: r or -2/13?
r
Suppose 0*i = -4*i. Let t be 4/44*-36 + 3. Which is smaller: i or t?
t
Let o = -67 - -48. Is o equal to -14?
False
Let k = 0.015 + 0.035. Is k at least as big as -0.2?
True
Let q(s) = 2*s - 1. Let y be q(2). Suppose -4*k = -y*w + 4, -w = 2*k + 2*k + 4. Which is bigger: k or -1/4?
-1/4
Suppose -y - 2*u - 5 = -2*y, -11 = -3*y + 2*u. Suppose 0 = -y*v + 6*v - 6. Let n be v/(-4)*-1 - 0. Is n not equal to 1?
True
Let u = 7 + 14. Is u equal to -0.3?
False
Let s = -55 + 100. Is 44 at least s?
False
Let g = -1 + 1. Let p = -3 + 21. Let y = 23 - p. Which is smaller: y or g?
g
Let y be (-1 - -5) + 4/(-2). Let p = -9 + 13. Suppose p*q = 6*q - y. Which is smaller: q or 0?
0
Let x = 38 + -44. Which is greater: x or -16/3?
-16/3
Suppose -15*f = -12*f + 132. Which is smaller: -43 or f?
f
Let w = -0.2 - -0.3. Let t = -19/44 + 2/11. Is w bigger than t?
True
Let v(x) = -x + 8. Let o be v(8). Which is bigger: o or 4/41?
4/41
Let y = 19 + -20. Which is smaller: y or -6/5?
-6/5
Suppose -3*t - 259 + 877 = 0. Let v = t - 1858/9. Does v = 1?
False
Let s = -565 + 571. Let a = 39 + -155/4. Do a and s have different values?
True
Let g = 0.1 - 0.1. Let z be (-2)/(-2) - (-8)/2. Suppose z*m = 2*t - 6, -3*m = 2*t - 10 + 4. Is m at most g?
True
Let m = 15 - 11. Is m less than or equal to -2?
False
Suppose 0 = -3*r - 5*v - 29, 4*r - 3*r = 5*v - 23. Are -12 and r unequal?
True
Let m = -13 - -8. Let g be 0 + (-2 - 0) - m. Suppose -5*i - 3 = -23, 5*k - 11 = i. Are g and k nonequal?
False
Let n(v) = -v**3 + v**2 - v + 1. Let x be n(1). Suppose x*d - 5 = -d - 3*a, -3*a = -5*d - 11. Let o = -35/3 - -12. Is o < d?
False
Suppose 2 = 4*o - i + 4, o - 2*i = 3. Which is bigger: o or -3/5?
-3/5
Let a = 16 + -3. Suppose -5*b + a = -7. Suppose 2*w + y + 2 = -y, -5*w + b*y = -4. Which is smaller: -2/19 or w?
-2/19
Let g = -5 + 3. Let v = g + 1.8. Which is smaller: 0.07 or v?
v
Let y be -2 - (10/55 - 146/77). Which is greater: 2 or y?
2
Suppose o + 13 = 6. Let g = -2 + -4. Is g smaller than o?
False
Suppose 5*d + 2 - 7 = 0. Suppose -4*l + 2 - 6 = 0. Which is smaller: d or l?
l
Suppose 7*j - 2*j + 84 = 3*q, 0 = 4*q - 5*j - 107. Which is smaller: 25 or q?
q
Let i = -20/51 - -1/17. Let o = -88 + 88.1. Which is bigger: i or o?
o
Let o(d) = -d**3 - 7*d**2 + 1. Let p = 13 - 20. Let r be o(p). Let z = 38 - 113/3. Which is smaller: z or r?
z
Suppose -4*h = -8 + 4. Let d be h/5*(-4 - 0). Does 0 = d?
False
Let m = 1587 + -7991/5. Is m at least as big as -10?
False
Let r = 5 + -5. Which is greater: 5 or r?
5
Let r be 6/(-4)*12/(-9). Let h be ((-2)/4)/((-1)/r). Do -2/15 and h have the same value?
False
Suppose 0 = 2*z - 3*l - l + 22, z + 4*l = 13. Let g be z - (-4 - 0/(-4)). Is 1 equal to g?
True
Let m be (46/(-38))/((-49)/21). Let n = -18/19 + m. Which is bigger: 0 or n?
0
Suppose -2*c + 0*c = 0. Suppose c*k + 4 = -4*k. Let g = -1 + 0. Is g >= k?
True
Let v = -1 - -2. Let b = -11 + 10. Which is greater: b or v?
v
Suppose j = -3*j + 496. Let q be (-6)/4 - j/(-104). Which is smaller: 1 or q?
q
Let r(t) = 27*t + 1. Let b be r(-1). Let x be ((-2)/b)/(2/(-4)). Suppose 0*s = 5*s. Is x > s?
False
Suppose 3*u + 3*v + 9 = 0, 4 - 18 = 4*u + 5*v. Let z be (7/21)/(u/6). Which is smaller: 3/4 or z?
z
Let i be ((-2)/(-38))/((-2)/4). Which is smaller: i or 1?
i
Suppose 0 = -7*r + 4*r - 5*b, 5*b = 0. Let g = 0 + r. Is g > 2/21?
False
Let c = -61/330 + -1/66. Is -3/2 >= c?
False
Let w = -26 + 27. Which is bigger: -2/87 or w?
w
Let y = 19 + -18.82. Let c = y - 0.28. Is c smaller than 0.03?
True
Let z = -0.7 - 2.3. Let u = z + 3. Is u at most -6?
False
Suppose -4*l + 0*l - 123 = o, 0 = -5*l - 3*o - 159. Is -30 less than l?
False
Let m be (-103)/(-132) - (-4)/(-6). Let h = 3/22 + m. Is 1 less than or equal to h?
False
Let k = -0.063 - -0.023. Is k less than or equal to -0.1?
False
Let m be 2/(2*-1*-1). Suppose 0 = 4*a - 2*y + 14, y - 2 = m. Let i = a + 2. Is 0.1 bigger than i?
True
Suppose 5*u + 6 = -2*j - 2, 0 = 4*j - 3*u - 36. Does 2/5 = j?
False
Let p = -17 - -16.99. Let l = -0.4 + 0.5. Which is smaller: p or l?
p
Let b = 1 + -1.2. Let s = -11/4 + 3. Does s = b?
False
Suppose s - w = 6, 0 = -10*s + 5*s - 5*w. Suppose -6*l + 3*l + 15 = 0. Which is bigger: s or l?
l
Let r(i) = i - 7. Let m = -12 + 22. Let f be r(m). Let h be f + ((-33)/5)/3. Is h <= 1?
True
Let z = 3.9663 - 0.0763. Let v = z - -0.11. Let c = -1 + v. Is c not equal to -1/2?
True
Let c = -313/222 + -28/37. Which is smaller: -3 or c?
-3
Let l be ((-2)/48*346)/35. Let g = 1/60 - l. Suppose 0*a = 2*a - 2. Is g <= a?
True
Let o(l) be the first derivative of l**3/3 - 3*l**2 + 3*l - 1. Let k be o(6). Let w(h) = h**3 + 2*h**2 - 4*h. Let j be w(-3). Is j greater than k?
False
Let q = 5 + -2. Suppose 18 = -2*s - 5*g, q*s + 3*g = s - 22. Let n be (4/(-6))/(s/6). Is 0.2 at most n?
True
Let u = 62.8 - 64. Is 3 bigger tha