= 1.95 + 0.05. Let z = p + -3. Does z = f?
True
Let o = -3.2 + -1.86. Let p = o - -5. Let j = p + 2.06. Are j and -1 non-equal?
True
Suppose -u = -3*d, -4*u - 4*d = -d - 30. Let p be (u - 8)*(-1)/2. Are -1 and p unequal?
True
Let t be -12 + (0 - -1 - 3). Let a be 6/21 + 4/t. Is 1 at least a?
True
Let j be (1 - -2) + (-1 - 0). Suppose 0 = 4*a + a + 5*u, 0 = -j*a + 5*u. Suppose -x - 2 = 1. Is x > a?
False
Let r = 5.99 - 6. Let z = r - -0.01. Which is smaller: z or -3/8?
-3/8
Let g = 0.53 - 0.63. Let j = -1 - -1. Is g at least as big as j?
False
Suppose 0*a + 3 = a + 3*u, 0 = -5*a + 4*u + 53. Let s = a + -6. Suppose -11 = -3*n + 1. Which is greater: s or n?
n
Suppose 4*j - 6 = -2*d, 4*j - 10 = 4*d + 2. Suppose -x + j*b - 1 = -0*x, -b = -5*x + 13. Suppose 0 = 5*k - s + x, -2*k = -4*k - 5*s + 15. Is -2/3 less than k?
True
Suppose -108 = z + 3*z. Are -25 and z equal?
False
Suppose 3*u - 2 = 4. Suppose -u*w = -w - 4. Let o = w - 4. Is -2/5 >= o?
False
Let f be (1/(-8))/((-1)/3). Suppose 4*r = 37 - 41. Is f smaller than r?
False
Let f = 5 - 3. Suppose 5*n = -5*h + n + 11, 4*h + 12 = f*n. Is -2 at most as big as h?
True
Suppose -h = -2*o - 3*h - 6, -h = -4*o + 13. Let j = 2 - 1. Which is greater: o or j?
o
Let m = 1 - 3. Which is greater: m or -3?
m
Let p = 14 - 20. Which is smaller: p or -5?
p
Let g = -12 - -28. Let s be g/(-12)*42/(-4). Let m = -7 + s. Which is smaller: m or 6?
6
Suppose -u + q + 2 + 3 = 0, 3*q - 6 = -4*u. Suppose u*s - 24 = -0. Suppose -4*o - d - 8 = 0, -3*d + d - s = 4*o. Is 0 at least o?
True
Let l be 0/(1 - 0) + -4. Let a be -5*(1 - 28/10). Suppose a*b + 5*q = 4*b - 35, 4*b + 5*q + 32 = 0. Which is smaller: l or b?
l
Let m be (9/(-12))/(4/16)*-1. Which is smaller: m or 1?
1
Let f be 2 + 1684*26/(-19180). Let x = f - 2/685. Let q be (-12)/90 - (-39)/(-45). Is x at least q?
True
Let t be (0/(-2))/(-3 - -2). Which is smaller: -2 or t?
-2
Let x be (-205)/1*(-2)/56. Let q = x + -29/4. Suppose 2*g = 4*g. Is g smaller than q?
True
Let k(n) = 4*n**2 - 3*n + 5 + 0 + n**3 + 1. Let v be k(-6). Let g be 1/4 - 4/v. Which is smaller: 0 or g?
0
Suppose -5*u = -13*u + 184. Do -1 and u have the same value?
False
Let f(n) = n**2 - 14*n - 8. Let w be f(14). Is 0 at most w?
False
Let q = -2 - -3. Suppose 50*f - 52*f + 4 = 0. Is f less than q?
False
Let r = 14.1 - 14. Is -10 at least as big as r?
False
Let k = 92/7 - 545/42. Is k greater than or equal to 0?
True
Let u = -164 + 156. Is -11 at most as big as u?
True
Let q be (-2)/(-18)*(-24)/14. Which is greater: q or 1?
1
Let v = -9 + 4.2. Let k = v + -0.2. Let p = k + 5.2. Which is smaller: p or -1?
-1
Let q = -6 - -6. Suppose q = -3*v - 4*x + 14, 2*v - 1 - 1 = x. Is v >= 3?
False
Let l be ((-8)/(-6))/((-3)/(-9)). Is 18 > l?
True
Let l = -34 + 35. Which is bigger: -2/109 or l?
l
Let l(q) = -q + 5. Let j be l(-8). Is j >= 13?
True
Let x = 7.4 - 5.3. Is -0.1 < x?
True
Let h(j) = -j - 2. Let b be h(-1). Suppose 2*o = 3*a + 8, -5*a - 6 = 2*o + 2. Let v be o/(-6)*8/(-6). Which is smaller: v or b?
b
Let p = 0.11 - 0.81. Let z = p + -1.3. Let w be 2 + (-34)/9 - -2. Are w and z unequal?
True
Suppose -2*g = -3*g - 2. Which is smaller: -18 or g?
-18
Let u = -8743567/115 + 304125/4. Let b = u + 2/115. Suppose 2 = n, -3*o + 4*n = 5 - 0. Are o and b unequal?
True
Let p = -294.4 + 294. Let s = 0.1 + 0.1. Let u = 0.1 - s. Is u < p?
False
Let x = -3 - 12. Let h be ((-2)/6)/(x/(-6)). Which is greater: 1 or h?
1
Let n be (0 + 5 - 1)*6/(-66). Is 2 bigger than n?
True
Let b = -0.5 + -7.5. Let i = b + 7.93. Are i and 0.2 equal?
False
Let q = -0.038 - -5.038. Let v = 0.03 - -3.97. Let g = q - v. Which is smaller: g or -8?
-8
Let z = -10.25 + 0.25. Let s = -12 - z. Which is greater: s or -1/3?
-1/3
Suppose 12*v = 18*v. Is v >= -11?
True
Let x(z) = z**3 - 3*z**2 - 3*z + 4. Let n be x(3). Let i = -3 - n. Is 2/3 less than or equal to i?
True
Let a = 72.36 - 1.36. Which is smaller: a or 0.1?
0.1
Let k = -1/18 - -41/90. Suppose 82 = -4*l - 2*d, 5*l + 0*d + 89 = 2*d. Let n be l/36 + (-2)/9. Do k and n have the same value?
False
Let i(c) be the second derivative of c**5/20 + c**4/2 - c**3 + 2*c**2 + 2*c. Let a be i(-7). Which is greater: -4 or a?
a
Let a = 0.9 + -1.1. Let t = -5 - -7. Are t and a equal?
False
Let a be 3/(-2) + (-3)/(-6). Let r be (1 - 2)/(a/4). Suppose r = -4*o - 0. Is o <= -1?
True
Suppose 4*x - 8 = 5*n, -2*x - x + 6 = n. Suppose -x*a + 3*u = -4, 3*u + 4 = u. Which is smaller: 4/9 or a?
a
Suppose 0 = 3*n + 28 - 25. Is -1/7 bigger than n?
True
Suppose 3*k + 8 = 2*k. Let r be k/28 + 40/42. Suppose -t + 2*c + 8 = 2*t, 0 = -4*t + 3*c + 12. Is t >= r?
False
Let h(k) = 2*k - 7. Suppose 3*p - 15 = -3*r, 3*r - p - 1 = 14. Let u be h(r). Let t = 1 + u. Is t bigger than 4?
False
Let g be (-25)/(-10)*(-2 - -4). Let c be 0*(-1)/2 - 1. Which is smaller: c or g?
c
Let l = 7133/29 - 246. Which is smaller: l or -1?
-1
Let b be (-3)/(-9) + (-16)/(-6). Let o = b - 0. Suppose -2*v - o*v - 5 = 0. Which is smaller: -1/5 or v?
v
Let j be (4 + 0)*(-1 - -3)/(-1). Which is smaller: 3 or j?
j
Let t = -1 + 3. Suppose -5*g + 17 = -13. Let i = 4 - g. Is t at most i?
False
Let v = -9 - -6. Let x = 2 - 0. Let s = x + v. Does s = 0.1?
False
Let m be 0/(304/(-64) + (-3)/(-4)). Which is greater: m or -4/65?
m
Let f = 28 + -67. Is f < -39?
False
Let y(g) be the second derivative of -g**3/6 + 5*g**2/2 - g. Let d be y(6). Suppose 0*n - 4*w - 15 = -5*n, 5*n = -3*w - 20. Is d >= n?
True
Let x(m) = -m**2 - 5*m - 4. Let b be x(-3). Let c(t) = t**2 + 4*t + 1. Suppose 3*h = -6 - 6. Let l be c(h). Is l > b?
False
Let i(o) = 2*o + 4. Let h be i(-4). Which is bigger: h or -2?
-2
Let c be ((-4)/8)/(2/(-8)). Let r be 18/36 - (-2)/8. Is r smaller than c?
True
Let g be ((-2)/14)/((-2)/2). Let a = -2 - 1. Let t = a + 3. Which is bigger: g or t?
g
Let f = 311/2 + -156. Let z = -3 - -3. Which is smaller: z or f?
f
Let f = 0.26 + -0.4. Let u be (-5)/(-4) - (-10)/(-40). Which is bigger: u or f?
u
Let b be (-1)/((-21)/(-54)) - -3 - 0. Is b greater than -1?
True
Let s = 0.06 - 0.06. Let i = -8 + s. Which is smaller: 0 or i?
i
Let s = -73.94 - -73. Let k = s + 0.8. Which is greater: -0.1 or k?
-0.1
Let b = 70 - 71. Let l = -0.02 + 4.02. Which is smaller: b or l?
b
Let t = 5 - 5.2. Let x(a) = a**2 - 4*a - 5. Let s be x(5). Suppose 6*k - k = s. Which is smaller: t or k?
t
Let d(t) = -t**3 - 7*t**2 - 3. Suppose -9 + 3 = 2*m - 4*o, 0 = -5*m - 4*o - 43. Let z be d(m). Are z and -1 nonequal?
True
Suppose -5*o = -16 - 24. Let h(q) = q**3 + 5*q**2 + 6*q + 7. Let t be h(-3). Is o != t?
True
Let k(m) = -m - 8. Let q be k(-5). Suppose h = 4*f - 5, -3*f = -3*h + h. Suppose -u = 4, s - h + 17 = -3*u. Which is bigger: s or q?
s
Let v be (-3)/6*(5 + -1 - -10). Are v and -1/4 equal?
False
Let c(j) = 3*j**2 - 8*j - 10. Let z be c(7). Let f = z + -165/2. Is -2 less than f?
True
Let u = 6 + 4. Let v = u + -10. Which is bigger: v or 2/17?
2/17
Let q = 0.6 - -2.4. Let r be (-6)/(-4) - (-69)/(-30). Which is bigger: r or q?
q
Let q = 0.01 + 0.09. Which is greater: q or -2?
q
Suppose -4*v = -2*v + 4. Let a(w) = -3*w. Let c(l) = 8*l - 1. Let t(r) = -11*a(r) - 4*c(r). Let p be t(-5). Is p < v?
False
Let r = -41/156 + 5/12. Which is bigger: -0.3 or r?
r
Let q(m) = m**3 + 7 + 2*m - 3*m**2 - 8 - 2*m. Suppose 5*y + 22 = 4*v, 11 = 3*v + 3*y - 4*y. Let a be q(v). Which is bigger: a or 0?
0
Suppose -2*q = 4*y - 10, 0 = -2*y + 3*q + 5 + 4. Suppose 20 = 3*w + 8. Suppose s - y*s = -w. Which is greater: 3 or s?
3
Let c = -6/13 + 5/39. Is c at least 0?
False
Let s = 0.3 - 0.2. Let m = 0.35 + -6.35. Which is bigger: m or s?
s
Suppose -3*r + 279 + 170 = 5*z, 4*z = -4*r + 364. Let c be (-4)/16 - (-6)/z. Let i = 32/55 + c. Is i at most 0.1?
False
Suppose 12 = -5*w - 3. Let g be 2/4*2/w. Let k(a) = -4*a + 1. Let m be k(1). Do m and g have the same value?
False
Let n = 2.17 + -2.3. Let i = n - -0.03. Which is smaller: i or 1?
i
Suppose 5*h = 25, -8*j + 3*j + 2*h + 20 = 0. Let b = 6 - j. Which is greater: 1 or b?
1
Let z = 7 - 11.5. Let u = -4 + 9. Let m = z + u. Which is bigger: m or 0?
m
Let h be (-9)/2 - (-1)/2. Let l = 305 - 309. Is l at least as big as h?
True
Let n = 150 + -143. Let t(p) = p**2 - 6*p - 5. Let z be t(7). Suppose -4*m + 30 = -m + 3*r, -r = -z. Is m less than n?
False
Suppose 2*s - 2 - 2 