4*o + 3. Is 1 != o?
True
Let r = 0 - 0.06. Let g = -0.32 + 0.06. Let s = r - g. Is 0.1 greater than s?
False
Let j(f) = 4*f**2 - f - 4. Let h be j(-3). Let a = h + -13. Let b be a/(-12) + (-14)/21. Do b and -2 have the same value?
False
Let y be (-1)/3 - (-4444)/(-33). Let g = y - -677/5. Is g bigger than 2/5?
False
Let t = 11 + 6. Are t and -1 unequal?
True
Let r = -4 + 7. Let g = 33.8 - 34. Which is bigger: r or g?
r
Suppose 0 = u - 0*u - 1. Let g be 3 + -3 + (6 - u). Suppose -3*o = -g*n - 8, 4*o + 0*n + 4*n = 0. Which is smaller: 2/13 or o?
2/13
Let g = -28 - -31. Let i = 3 - 2. Let c be (i/8)/(g/(-6)). Is c greater than 1?
False
Let x be ((-20)/6)/((-10)/15). Let u be (-2 - 0)/(x - 3). Which is smaller: u or -2/3?
u
Suppose 6*m = 3*m. Which is smaller: 2/5 or m?
m
Let j be (-1)/((-2)/2 + 0). Let n = 449/4 - 112. Do n and j have the same value?
False
Suppose 5*y + 4 + 16 = 0. Let d = 5 + y. Which is smaller: 2 or d?
d
Suppose x = 3*x. Let r = 2520/13 - 194. Is x equal to r?
False
Let b(u) = 4*u + 118. Let h be b(-29). Let z be (-1 - -1)*3/6. Which is smaller: h or z?
z
Let c be (2 - 1*(-8)/(-2))/3. Which is smaller: c or 0?
c
Let k = -59/2 + 30. Which is greater: k or 2/3?
2/3
Let t = 286 + -1996/7. Which is smaller: t or 0?
0
Suppose 2*d = -2*n - n - 31, -43 = 5*n - d. Let v be 2*(-5)/(-2) - 0. Let u = v + n. Is 0 bigger than u?
True
Let z be 1/3*(0 - 3). Let g be 3 - 3 - z*3. Suppose 1 = -g*l + 2*u, 4*u = l + 2*l - 1. Which is smaller: l or 1/5?
l
Let g = 27 - 28. Is 2 less than g?
False
Let h be (0 + -1)*(-15)/(-3). Let n be (-2)/(-8) + h + 5. Is 0 bigger than n?
False
Suppose 2 = 2*r - 6. Suppose -4*m = -c - m - 9, -2*c + r*m = 12. Is 2/17 bigger than c?
True
Let s = -7 - -10. Let w be 0*(2 + s/(-2)). Let y = -1 - -2. Which is smaller: y or w?
w
Let t(n) = 5*n**2 + 5*n + 5. Let v = -10 + 7. Let s(m) = 4*m**2 + 5*m + 4. Let o(r) = v*t(r) + 4*s(r). Let k be o(-4). Which is greater: -4 or k?
k
Let l(i) = i**3 + 3*i**2 + 3*i - 1. Let y be l(-2). Let t be y/3 + (-20)/(-6). Which is bigger: 1 or t?
t
Let z = -3.1 - -3. Let h = 6.84 - 7. Let x = h - 0.04. Which is bigger: z or x?
z
Let i be 4/(-5)*600/16. Let x be 12/75*i/(-12). Let o = 0.4 - 0.3. Does x = o?
False
Let b be ((-6)/(-9))/(2/6). Let r be -3*(b + (-60)/27). Let g(d) = -d**2 - 5*d + 7. Let p be g(-6). Which is bigger: p or r?
p
Let s be -3 + 18/8 + 1. Let u(d) = -d**3 - 3*d**2 + 5*d + 4. Let h be u(-4). Is s equal to h?
False
Suppose 3*j + 2*j = 0. Suppose -6*m + m - 15 = j. Does -4 = m?
False
Let l = -15 + 11. Which is smaller: -3 or l?
l
Let u(s) = -s + 13. Suppose -5*j + 6 + 9 = 0. Let g be -3*2*j/(-2). Let t be u(g). Which is greater: 3 or t?
t
Let w = -2/303 + -596/1515. Suppose 2 = 2*a, -l = -a - 2*a + 2. Which is smaller: l or w?
w
Let i(p) = p. Let w be i(-6). Let o = -25 - -16. Let u = o - -4. Is w <= u?
True
Let h = -0.03 - -2.03. Let r = -6.9 - -7. Let d = r + -0.1. Which is bigger: h or d?
h
Let g = 27 + -25. Suppose -4 = 2*b - 2*p, b + p = 4 - 0. Which is smaller: g or b?
b
Let i = 23 + -47/2. Let o = i - -1/6. Let d = -0.1 + 2.1. Which is greater: o or d?
d
Let u be -2*(-12)/(-8) + -7. Let c = -9 - u. Which is bigger: -3 or c?
c
Let o be 4/(-28) - 5/14. Is o at least as big as -14?
True
Let h = -5 - -9. Let z be h/18 - 87/27. Let q be (4 - 5) + -2 + -1. Is q less than z?
True
Let t(j) = j**2 - 4*j. Let z(k) = 2*k**2 - 7*k. Let r(f) = 11*t(f) - 6*z(f). Let h be r(-1). Which is smaller: h or -8?
-8
Suppose 0 = 2*k + 3 + 3. Let n be (0 + 0)*(-1)/(-2). Let w be k*(1 - n) - -2. Which is smaller: 0 or w?
w
Let y(p) = -p**2 + 5*p - 5. Let d = 20 - 10. Let s = d - 6. Let w be y(s). Is w < -4/3?
False
Let y = -2/407 - 800/2849. Let f = 271.9 - 272. Is f less than y?
False
Let b(c) be the third derivative of -c**4/24 + 2*c**3/3 - 5*c**2. Let n be b(4). Let t(o) = o**3. Let l be t(1). Which is bigger: n or l?
l
Let o = 2 - -1. Let g = o - 1. Let u = 1 - g. Is 0.2 at least as big as u?
True
Let a be -2 - 1*(-47 + 0). Suppose -2*s + 26 = -4*d - 0*s, 0 = 5*d - 5*s + a. Let p = 5 + -9. Is d >= p?
True
Suppose -5*p - 9 = -3*f, 4*p - 4*f + 0 + 12 = 0. Suppose -4*y = -2*y + 5*q - 276, 0 = 4*y - 3*q - 604. Let a = y + -2222/15. Is a at least as big as p?
False
Let a = -147 + 1031/7. Which is smaller: a or -0.32?
-0.32
Let a = 1251 + -13776/11. Which is smaller: 0 or a?
a
Let o(j) = -j**2 - 4*j + 9. Let s be o(-5). Is 4 bigger than s?
False
Let b(l) be the first derivative of 5*l**2/2 + 1. Let p be b(1). Suppose k - 10 = -2*k + p*y, -k = 2*y + 4. Is k less than 2/5?
True
Let f = -4 + 1. Which is smaller: -5 or f?
-5
Let o(c) = c**2 - 2*c - 5. Let l be o(4). Suppose -3*z + 12 + 0 = 0. Is l bigger than z?
False
Suppose 0*f = -4*f. Let k = 5 + -5. Suppose -2*t - 4 = -k. Is t not equal to f?
True
Let k(r) = 2*r**2 - 2*r + 2. Let h be k(2). Suppose -g = -h*g. Does g = 4?
False
Let w(h) = -5*h + 8. Let l(m) = -6*m + 9. Let t(a) = 4*l(a) - 5*w(a). Suppose -15 = -3*p + x + 2*x, 2*p = -2*x + 6. Let n be t(p). Which is smaller: -2/7 or n?
-2/7
Let q = -1 + 1. Let k be 21*(0 + 4/(-12)). Let a be (-1)/(-7) + (-3)/k. Which is bigger: q or a?
a
Let d(c) = c**2. Let m(u) = u**2 + 3*u + 1. Let s be m(-3). Let n = 0 - s. Let i be d(n). Which is greater: -1/4 or i?
i
Let y(r) be the first derivative of -r**4/4 - 5*r**3/3 + 3*r**2 + 8*r - 1. Let v be y(-6). Let t = 5 - v. Is -4 at least t?
False
Let l = -382/15 - -74/3. Are -3 and l non-equal?
True
Let m be (-3)/2 - 4910/84. Let k = m + 60. Which is smaller: 1 or k?
k
Let o(p) = -p**2 - 8*p - 3. Let m be o(-6). Let u = 12 - m. Does 5 = u?
False
Suppose 4*h + 2 = -6. Let w be 6 - 7 - 8/h. Which is smaller: w or 4?
w
Suppose -4*c - 2*w + 4*w = -12, 0 = -5*w + 10. Suppose 0 = 4*g + 8, 5*d + 0*g - 3*g = -24. Let p = -2 - d. Is c at most p?
True
Let b = 1.09 + 0.01. Let m = b - -2.9. Let f = m + -6. Which is smaller: f or -1?
f
Let o(j) = -j - 3. Let k be o(-8). Suppose 0*s - 2*s - 2*h = 6, -k*s + 5*h = 45. Which is smaller: -5 or s?
s
Suppose 3*a - 19 = -2*u, 6*a - u = 3*a + 4. Suppose s + 1 = -m - 1, a*m = -2*s - 6. Which is smaller: s or 2/15?
s
Let t = -983/15 - -197/3. Is t bigger than -1?
True
Let i = -1168/9 - -130. Is i <= 0?
False
Let x(z) = 78*z**3 + z**2 + 3*z + 1. Let j be x(-1). Which is bigger: -78 or j?
-78
Let f be 2/((-1)/((-16)/2)). Suppose -l - 5*u - f = 0, 0 = -4*l + l - 5*u - 18. Which is bigger: l or -2?
l
Suppose -3*p + 4*u - 9 = 0, 2*u - 6 = -0*u. Let m be p/(14/(-4) + -1). Suppose -12 = -z - 4*s, s - 3 = -z - 0. Which is bigger: z or m?
z
Suppose -3*x = -18 - 0. Let k = 3 - x. Let z be k/12*(-1 + -3). Is 2/7 >= z?
False
Let j = -80 - -79.63. Is -3 equal to j?
False
Suppose -2*v = -2 - 8. Is v not equal to 4?
True
Let j be (-1454)/(-18) + -2 + 2. Let w = 81 - j. Suppose 30 = 5*h - 2*b + 7*b, -5*b + 22 = -3*h. Is w bigger than h?
False
Let o(q) = -q**3 - 20*q**2 + 19*q - 27. Let s be o(-21). Which is smaller: 14 or s?
14
Suppose 3*d - d - 4 = 0. Suppose 0 = -2*r + z + 3*z - 14, 3*z = d*r + 11. Are r and 2/5 equal?
False
Let m = -0.04 + 0.42. Let w = -0.08 + m. Is w != -0.2?
True
Let i = -2.1 - -2. Let k = -22.5 - -22. Which is smaller: k or i?
k
Let b = 5 - 2. Suppose -w - 2*t - 10 = 0, -3*w - b*t = -3 + 18. Let z = 0.3 - 0.3. Do w and z have the same value?
True
Suppose v + 43 = -20. Do -64 and v have different values?
True
Suppose -3 = 4*i - 4*p + 9, -2*p + 18 = 4*i. Let w be 1/(1*(-2 + 3)). Suppose i*s - s = -w. Is 0 >= s?
True
Let s = -16 - -14. Which is bigger: s or -1?
-1
Suppose 2 + 7 = -3*c. Let f be 1/(-5) - c/(-10). Is f at most as big as 1/4?
True
Let q = 49 + -49.1. Let h = -3 - -2.9. Let x = 0.3 + h. Which is bigger: x or q?
x
Let m = 104 - 68. Suppose 4*v + 4 = -4*i + m, 0 = -4*v - i + 20. Suppose -u = v*u. Is -1 not equal to u?
True
Suppose -2*p + 3*g + 66 = 0, -3*p - 2*g + 5*g + 102 = 0. Which is smaller: 34 or p?
34
Let d = -2 + 1. Let t = d - -2. Let s = -129/5 - -26. Which is bigger: t or s?
t
Let y = -3 - -4. Let x = 1.09 - 0.19. Let t = 0.1 + x. Is y smaller than t?
False
Suppose -4*k = 3*n - 23, 5*n = -k + 12 + 15. Suppose 5*b - 2*b + 8 = -4*a, 2*b = -k*a - 4. Which is smaller: 2/7 or b?
b
Let z(p) = 2*p**2 - 5. Let y be z(-3). Are 13 and y non-equal?
False
Let a = 7 - 13. Let y be 5/(-18) - 3/a. Let q = 90 - 90