n) + -2. Suppose 4*o + 4 = -5*g - 2, -5*o + 1 = u*g. Is o less than 2?
True
Let k = 3 - -1. Let u be (-6)/(-120) + (-1)/k. Suppose -v - 3 = -2. Which is smaller: v or u?
v
Let u be -4*((-15)/12 - 0). Which is smaller: u or 4?
4
Let g = 1.3 - 3.3. Which is greater: -0.21 or g?
-0.21
Let t = 162/5 - 488/15. Let b be ((-1)/3)/((-6)/18). Is t < b?
True
Let m(v) = -v**2 - 6*v + 5. Let b = 2 + -8. Let t be m(b). Let p be 114/(-210) + 2/t. Do 1 and p have different values?
True
Let g = -26 - -76/3. Suppose -f + 4*f + 20 = 5*t, -t - 4*f + 4 = 0. Suppose -t*p = -b - 2*b - 2, -1 = -b + 3*p. Is b less than or equal to g?
True
Suppose 7*n = 2*n - 25. Let b(w) = -w + 13. Let t be b(5). Suppose -g + 3*g = -t. Which is bigger: g or n?
g
Let b be (4 + (-28)/4)*(-2)/6. Is b at most 3/56?
False
Let t = 8 + -9. Is t greater than or equal to -6?
True
Let b = 0.17 - 6.17. Is 2/5 > b?
True
Let k = -0.46 - 0.54. Let u = -0.3 - -0.2. Which is bigger: u or k?
u
Let v be -1 - (0 - 6/2). Let r be ((-2)/6)/((-3)/(-45)). Let o be r/(-2)*(-12)/(-20). Does v = o?
False
Let t(o) = -o**3 - 6*o**2 - 6*o - 4. Let p be t(-5). Suppose 0 = -3*b + 2 + p. Let l = -676/7 - -97. Which is greater: l or b?
b
Let p(d) = 6*d**2 + 2*d + 1. Let z be p(-1). Suppose 5*x - j + 4 + 0 = 0, -5*x + 16 = 4*j. Suppose z + x = 5*k. Which is smaller: k or -3/8?
-3/8
Let j be (1/(-3))/(184/36 - 5). Is j >= -20/13?
False
Suppose 4*m - 10 = -2. Let b = 0 + m. Suppose -2*g = -5*g - 3. Do b and g have the same value?
False
Let m(h) = h + 3. Let t be m(0). Let s(g) = g**3 - 4*g**2 + 3*g - 1. Let z be s(t). Is z at least 3/10?
False
Let s = -4.946 - 0.054. Which is smaller: 2/7 or s?
s
Suppose 0 = -3*v + 3*a + 3, -5*a = 3*v - 6*v - 3. Suppose -t = v*j - 4*t - 19, -2*j = t + 3. Are j and -1/3 nonequal?
True
Suppose -4*q - 4 + 0 = 0. Which is greater: -1/18 or q?
-1/18
Let s be 4/((-1248)/126) + (-2)/(-13). Which is greater: -0.1 or s?
-0.1
Let o = 92 - 93. Which is smaller: -1/7 or o?
o
Let c(f) = -5*f**2 + 3*f + 9. Let k be c(-2). Is k at most as big as -18?
False
Let i = 7 - 2. Suppose -2 + i = h. Let g be (h + 18/(-4))*-6. Does 10 = g?
False
Let i = 3321/4 + -826. Which is smaller: 3 or i?
3
Suppose -2*k + 1 + 1 = 0. Let c(a) = 2*a**2 + 4*a + 3. Let z be c(-2). Are k and z non-equal?
True
Let q be (8/12)/((-4)/(-12)). Which is bigger: 2/3 or q?
q
Let i = 42 + -41. Is 2/47 <= i?
True
Let g(c) = c + 10. Let t be g(-7). Suppose 4 = t*w + 1. Is 1/5 >= w?
False
Suppose 5*h + o = 7, -4*h - 7 = -4*o - 3. Let p = 2.24 + -3.2. Let q = p + 1. Which is smaller: q or h?
q
Let x = 0.7 + 0.3. Which is smaller: -0.14 or x?
-0.14
Suppose -6 = 4*o + 4*v - 22, -4*v = -o + 4. Which is smaller: o or -0.1?
-0.1
Suppose -2*y - g = 2*g + 2, -5*y + g = -29. Let s be ((-1)/y)/((-4)/5). Which is greater: s or 1?
1
Let m = 0.5 + -0.65. Let n = m + 0.15. Let t = -4 + 3. Which is smaller: n or t?
t
Let l = 10 + -10.09. Let d = -0.01 + l. Let p = 19/21 - 4/7. Is p < d?
False
Suppose 3*q = n + 7, -6*n - 4*q + 13 = -11*n. Is n less than 36/13?
True
Let i = 1 + -0.8. Which is bigger: 0.07 or i?
i
Let y be 3*(-2)/15 + (-61)/(-15). Which is smaller: y or 3?
3
Suppose 8*h + 125 = -67. Which is smaller: -25 or h?
-25
Suppose -5*c = -3*c + 2, 50 = 5*y + 5*c. Suppose -9*k + 34 = -y*k. Is -18 > k?
False
Let y(f) = -f + 2. Suppose 8*s = 6*s + 4. Let t be y(s). Which is greater: t or 1/2?
1/2
Let q be 97/(-4) + -6 + (-6)/8. Which is bigger: 0 or q?
0
Let q = 221/540 - 1/108. Let w(z) = -z**2 - 11*z + 9. Let p be w(-10). Let k be p/(-7) + 2/(-7). Which is smaller: q or k?
k
Suppose -2*l + 3 = l. Is 3/4 >= l?
False
Suppose -2*b - u = 22, 0 = 5*u - 3*u + 4. Let n = -2 + -7. Which is smaller: n or b?
b
Suppose -7 = -4*y + 1. Let o(p) = 2*p - 5. Let n be o(4). Suppose 0 = -y*x + n*x. Which is smaller: x or 1/8?
x
Let z be 2/2*9/(-6). Let m = -10.2 - -10. Is z at least as big as m?
False
Let j(p) = 15*p**2. Let g be j(-1). Let y = g - 12. Which is smaller: y or 5?
y
Let v(h) = -2*h**3 + 8*h**2 - 3*h - 2. Let m be v(3). Is 4 >= m?
False
Let w(f) = -2*f**3 + 3*f**2 + 4*f - 2. Let n be w(3). Let s = n - -87/5. Which is smaller: 0 or s?
0
Suppose 12*l - 15*l + 12 = 0. Let h = 10 + -5. Suppose 2*v + l*y = 3*y - 5, -h*y = 25. Which is greater: 2 or v?
2
Suppose 18 = 3*a - a - 4*x, -5*x = 2*a + 18. Let i be 5/((-90)/44) - (3 - 5). Are i and a non-equal?
True
Let q = 1202/209 - 92/19. Is 2 at most as big as q?
False
Let o = 74 + -73. Are o and 4/15 unequal?
True
Suppose -p + 0 - 9 = -4*f, 4*f - 3*p = 19. Let n be f/(7/((-126)/8)). Which is greater: -1 or n?
-1
Let h = -0.1332 - 5.7968. Let l = 6 + h. Let a = 0.17 - l. Is -1/6 not equal to a?
True
Suppose 5*h + 0 + 5 = 0. Suppose q - 27 = -5*p, -q - 14 - 9 = -5*p. Suppose q*i = -5*l - 2, i + 2*l + 0*l = -1. Are i and h non-equal?
False
Let p = -22 - -11. Which is bigger: p or -1?
-1
Suppose -11 = -4*h + 13. Let b = 8 - h. Suppose 0 = -2*d + b*a, 5*a = -3*d + 3*a. Is d less than -1/4?
False
Let j = -159.7 - -160. Is j at most 0.051?
False
Let j = 1 - 2. Let a = 1 + j. Let c = 11 + -10.8. Which is bigger: c or a?
c
Let y = 17.1 - 17. Let k(d) = d**2 - 4*d + 2. Let j be k(3). Which is smaller: y or j?
j
Suppose -7*i + 2*i = 0. Let r = -7 - i. Are -7 and r equal?
True
Let q = 1397 + -4078/3. Let u = q - 39. Which is smaller: -1 or u?
u
Let j be 58/492 - (2 + 22/(-12)). Let c = -8 + 8. Is j <= c?
True
Let v = 0.06 - 0.36. Let j be (-10)/104 + (-4)/26. Is j less than or equal to v?
False
Let o be (6/15 - (-8)/(-20))/2. Which is smaller: o or -3?
-3
Suppose -3*j + j = -36. Suppose -5*i - t + 14 = 0, -3*i - 5*t + 4 + 22 = 0. Suppose -i*a + j = -5*a. Are -7 and a non-equal?
True
Let m be -4*1 - (0 - -2). Let n = m + 6. Let x be ((-1)/4)/(3/(-8)). Is x smaller than n?
False
Let m = 0.25 + -0.15. Suppose -t = -3*u, -7*u + 5 = -2*u. Suppose 2*s + 1 = 5*i, t*i - 2 = 3*s + 4. Is m at least as big as i?
True
Let z = -15 - -11. Let u be ((-4)/(-228))/(z/(-6)). Which is bigger: u or 0?
u
Suppose q - 2 = 2*i + 2*i, -5*q = -10. Is i not equal to -6/37?
True
Let z = 1 - 1. Suppose z = a + 2, 2*u - 8 = 4*a. Let h be u + 0/(-2)*1. Which is bigger: 2 or h?
2
Let g(d) = d**2 + 18*d + 33. Let j be g(-16). Is 7/4 less than j?
False
Let q = -0.7 - 7.3. Are q and 1/3 equal?
False
Suppose -9*f + 205 - 79 = 0. Is f less than 17?
True
Let l(a) be the first derivative of a**4/4 + 5*a**3/3 + 5*a**2/2 + 4*a - 2. Let k be l(-4). Let r = 2 - 3. Is k at most as big as r?
False
Let z be -10 + (3 + -15)/(-4) + -1. Which is greater: z or -2?
-2
Let f be -1*1*(76/(-12) - -6). Suppose 5*p + n = 4*n - 4, -4*n = -4*p - 8. Is p >= f?
True
Let x be (-43)/(-9) + (-4)/(-18). Suppose 0 = -3*u + 2*i - x*i - 378, 0 = 3*u + 5*i + 384. Let s = 495/4 + u. Which is bigger: s or 0?
s
Let l = -2/15 + -1/5. Suppose -6 = 5*o - 1. Which is smaller: l or o?
o
Let j = 2.99 - -0.01. Let t = j - 4. Let a = 5 + -7. Does t = a?
False
Suppose -2*o + 1512 = 4*o. Let y be (-78)/o + (-1)/(-2). Is y greater than or equal to 1?
False
Let f(o) = 3*o - 12. Let d be f(7). Are 9 and d equal?
True
Let s = -19 - -19.06. Let u = s + -7.06. Is u less than 0.1?
True
Let j(p) = -p**2 - 9*p + 9. Let k be j(-10). Let z be 0 - (-4)/((-72)/(-5)). Let t = z - -11/90. Is k < t?
True
Let r(c) = -c**3 + 6*c**2 + c - 8. Suppose -30 = 3*n - 8*n. Let x be r(n). Is x < -1?
True
Let a = 1 + -1. Let z = 1/16 - -1/16. Is z < a?
False
Let q be 8*((-1)/1)/(-1). Suppose 4*r = -29 - 23. Let b = r + q. Is b > -4?
False
Let p = -2 + 2.3. Let s = 0.4 - p. Which is smaller: -4 or s?
-4
Let z(k) = 2*k + 2. Let t be z(9). Let s = t + -16. Which is smaller: 2 or s?
2
Let p = 15.4 - 15. Let y = 2 - 1.8. Let a = y - 0.2. Are p and a equal?
False
Let p = 0.056 - -0.044. Are 0.09 and p unequal?
True
Let i = -5 - -11. Let x(u) = -u**3 + 7*u**2 - 5*u - 3. Let l be x(i). Let c = l + -1. Is 2 at most c?
True
Let i(o) = -2*o + 3. Let a be i(5). Let m be a/(-9) + 4/18. Let j = 115 + -577/5. Is j greater than or equal to m?
False
Let x(f) = -f**3 - 7*f**2 + 4*f + 10. Let k be x(-8). Which is smaller: 41 or k?
41
Let a(c) = -4*c**3 - c**2. Let n be a(-1). Let h(f) = -f - 8. Let u be h(0). Let r = -4 - u. Which is smaller: r or n?
n
Suppose -j = 4*k - 40, k = -2*k - 3*j + 30. Suppose k = -3*q + 4. Is q greater than -5/2?
True