Let o = -788/3 - -260. Which is bigger: -0.1 or o?
-0.1
Let r = 4 + -2. Which is greater: r or 0.09?
r
Let q = 17 - 18. Let v be (2 + q)*12/(-16). Is v > -1?
True
Let m(h) = -h**3 + 10*h**2 - 6*h + 13. Let y be m(9). Let j be (-4425)/y - 6/(-8). Let f = -110 - j. Which is bigger: f or -1?
f
Let w = 16 - 7. Do w and 10 have the same value?
False
Suppose 6 - 26 = -5*x - 5*y, -4*x - y = -10. Suppose -18 = -3*p - 3*q, 0 = x*p + 4*q - 6 - 14. Is p less than or equal to 1?
False
Let t = -204 + 1432/7. Let s be 1*(-2)/6*-3. Which is smaller: t or s?
t
Let j be (-16)/4*2/(-4). Let d be 1/((-1)/j*-2). Do d and 0 have different values?
True
Let p = -2 + 7. Suppose 163*s = 166*s - 9. Is s <= p?
True
Let c = 13 - 18. Let o = -1052 + 5233/5. Let r = c - o. Which is smaller: -3/5 or r?
-3/5
Suppose 3*n - 4*n = 0. Suppose 144 + 9 = -q. Let f = q - -1073/7. Is n > f?
False
Let l = -23.9 - -22. Which is bigger: l or 1?
1
Let j be 1/((3 + -5)/(-24)). Let s be (1/2)/((-1)/j). Is -5 at most s?
False
Suppose -33 - 17 = -2*d + 5*a, -5*a = -3*d + 70. Let n = -14 + d. Is n at least 7?
False
Let p be ((-12)/(-25))/2*(-4)/36. Are 0 and p nonequal?
True
Let h = 1.25 + -0.25. Which is smaller: h or 18/5?
h
Suppose l - 8 = -3*l. Let y be (2/6)/((-2)/(-12)). Let m be 0 - -2 - 3/y. Which is bigger: l or m?
l
Suppose 0*w + 3*l = 3*w, -5*l = -15. Let j be -1*w + 4 + 1. Suppose 3*d + 5 = -j*d. Is d greater than or equal to -0.04?
False
Let v = 23 + -22. Are v and 3 nonequal?
True
Let p(z) = -z**3 + 4*z**2 + 6*z + 3. Let q be p(5). Let a = q - 7. Is a at most as big as -1/3?
False
Let c(k) = 7*k**3. Let s be c(1). Suppose -n = 5, 2*n + s = -z + 1. Is z at most 4?
True
Let k be 28/21*(-54)/(-3). Are k and 0 non-equal?
True
Let t be (-7)/(-12) - 1/3. Let j(b) = 0*b**2 - b - 2*b + 2 - 3 + b**2. Let k be j(4). Is t < k?
True
Let h = 0.5896 + -120.6396. Let x = 116 + h. Let o = 0.05 + x. Is o greater than or equal to 1/2?
False
Suppose 0 = 5*o + 21 + 29. Let v(a) = 10*a + 2. Let x be v(-1). Which is smaller: x or o?
o
Let l be 88/6 + (-2)/3. Suppose -4*a - 3*b = 7, a + 2*b + l = 3*a. Which is smaller: 0 or a?
0
Let w(q) = q - 10. Let u be w(8). Let p be 1 + u - (-6 - -3). Are 1/2 and p nonequal?
True
Let y be ((-12)/8)/(1/2). Let p be ((-2)/y)/((-8)/(-9)). Which is smaller: 0 or p?
0
Let q(f) = -f**2 + 1. Suppose -12 = -2*c - 2*w, -3*c - 2*w + 8 = -5*c. Let r be q(c). Is -1 equal to r?
False
Let f be -2*1 + 9 - 1. Let a(l) = l**3 - 6*l**2 - 3. Let u be a(f). Let h be ((-3)/(-6))/(2/(-4)). Which is smaller: h or u?
u
Let j = -1 + 12. Let l = -8 + j. Suppose l*s - 4*p = -p + 3, -10 = -s - 2*p. Does 5 = s?
False
Suppose 5*f = 23 - 8. Let j = -3 + 8. Which is bigger: f or j?
j
Let m(s) = s**2 + 7*s - 10. Let x be m(-9). Let w be ((-2)/x)/(5/(-50)). Is 2 less than w?
True
Suppose -2*x = -c - 0*c + 1, 0 = c + 4*x + 5. Let j be c/5 + 48/15. Let p = j + -1. Is 2/3 != p?
True
Let h = -9 - -7.7. Let l = h + 1.5. Which is greater: l or -0.4?
l
Let i be ((72/(-27))/2)/(4/6). Which is smaller: i or -1?
i
Let p = 5 + -9. Let c be 7 + p - 3*1. Is c at most 2/11?
True
Let i = 1628/129 - 38/3. Is 1 less than i?
False
Let p = 0.02 + 0.05. Which is smaller: p or 2?
p
Let v be 1/(-2) + 12/8. Is v smaller than -0.2?
False
Let q(u) = -7*u**2 - 16*u - 11. Let s be q(-4). Is s greater than or equal to -119/2?
True
Suppose 41*g = 46*g. Are g and -8/17 nonequal?
True
Let t = -6 - -4. Let i be 1 - 3 - (t + 0). Is i at least as big as 0?
True
Let a(c) be the first derivative of -c**2/2 + 5*c + 1. Let z be a(4). Is z <= 0?
False
Let g = -2.1 - -1.4. Let j = g + 0.7. Is j bigger than 3?
False
Let p(v) be the second derivative of v**4/12 - v**3/6 + v**2 + 3*v. Let k be p(0). Suppose 0 = -z + 3*z + k. Which is greater: 0.5 or z?
0.5
Let k = -85 + 86. Is 4 less than or equal to k?
False
Let n(s) = -s - 13. Let h be n(-15). Let z be h*2*3/(-12). Are -1/4 and z equal?
False
Let g be (4/8)/(4/962). Let j = -122 + g. Which is smaller: -1 or j?
j
Suppose -4 = -4*m - 0. Which is smaller: 3/16 or m?
3/16
Let b = 7 - 10. Let u = b - -2. Let q be u/9 + (-4)/18. Does -1 = q?
False
Let a be (4/6)/(10/15). Suppose a = n + 3. Let b(p) = p**3 + p**2 + 2. Let t be b(n). Is t >= -2?
True
Let s be 10/4 + -2 - 0. Let z = -0.93 + -0.07. Which is greater: z or s?
s
Let q(p) = 10*p**3 + 2*p**2 - 2*p + 1. Let h be q(1). Let s(u) = u**2 - 11*u. Let x be s(h). Let b(n) = n**2 + 4*n - 5. Let d be b(-5). Does d = x?
True
Suppose -3*c - 170 = -5*z - 4*c, -5*c = 25. Suppose p + 4*p + z = 0. Do -7 and p have the same value?
True
Let l(w) = w**2 - 2. Let i be l(2). Let t = 18.8 - 19. Which is smaller: t or i?
t
Suppose 0*i + 3 = -3*i. Let j(l) be the first derivative of l**4/4 - l**2 - l - 2. Let q be j(i). Which is smaller: 1 or q?
q
Let m(a) = 15*a**2 - 6*a. Let f be m(7). Let y be (-4)/22 + 280/f. Is 0 bigger than y?
False
Let g(f) be the first derivative of f**4/4 + 4*f**3/3 - 5*f**2/2 + 2. Let b be g(-5). Let r = 0 - b. Which is smaller: r or 3/7?
r
Let a = -32 + 30. Let v = 5 + -5.5. Which is greater: v or a?
v
Let f be (-83)/84*2 + 1 + 1. Do f and 1 have different values?
True
Suppose 34 = g + 32. Are 8/11 and g unequal?
True
Let z(l) be the second derivative of 1/12*l**4 + 0*l**2 + 1/3*l**3 - 1/20*l**5 - 2*l + 0. Let j be z(2). Which is smaller: j or -1?
-1
Let r = -40 + 319/8. Which is smaller: 0 or r?
r
Let i be 5/4*(-20)/(-2). Which is bigger: i or 13?
13
Let f be (-4 - -5)*(1 + (-2 - -1)). Which is smaller: -3/94 or f?
-3/94
Let k = -477/4 - -120. Suppose -5*a = 8 - 23. Let d be a/(-3) + (2 - 1). Is d less than k?
True
Suppose 3*z - 7*z = -4. Let b = 155/92 + 3/46. Is b not equal to z?
True
Let c = -6.7 + 3.8. Let h = -3 - c. Which is smaller: 8 or h?
h
Let u = 2698/65 + -206/5. Are 0 and u nonequal?
True
Let l be (7/(224/12))/(2/(-1)). Which is greater: l or -1?
l
Suppose 3*y - 5 = 8*y. Let l be y/3*20/6. Let m = -4/9 - l. Which is smaller: 1 or m?
m
Suppose 3*o = o + 2*w - 16, 0 = w - 5. Let l be (1*(2 + o))/5. Which is smaller: l or 2/9?
l
Let r be 8/(-4) - -8*16. Let m = r + -385/3. Is -1 bigger than m?
True
Let s = 6 - 1. Suppose 15 - 40 = -s*i. Suppose -5*c + j = i, -c + 2*j + 0*j - 10 = 0. Which is bigger: 1/4 or c?
1/4
Let d = 54.2 - 49. Let m = 5 - d. Which is smaller: 1/5 or m?
m
Let b(d) = d**2 + 3*d - 6. Let n = -10 + 5. Let g be b(n). Suppose -5*q - 2*p = 1, -g*p = -2*q - 9*p - 13. Are 0.7 and q nonequal?
True
Suppose 135 = -2*y - 17. Let d be -3 + ((-1100)/y)/5. Is d greater than or equal to -1?
True
Suppose 4*l - 15 = -l. Let c = -5 + 6. Suppose -4*p + 6*p - 2*j = 10, -j - c = 0. Is l not equal to p?
True
Let o = 24 - 48. Let t be 38/30 - (-16)/o. Is t <= 0?
False
Let q(v) = 15*v + 4. Let k be q(3). Let x = -2/1465 + 71201/1465. Let z = k - x. Is 1 at least as big as z?
True
Suppose 2*a - 3*a = 0. Let k be -1 - (6/7 + -2). Which is bigger: a or k?
k
Suppose 4*w = 6*w - 10. Suppose 0 = w*b - 6*b. Which is bigger: b or -2/11?
b
Suppose 3*w - q + 1 = 0, 5*w + 0*q + 5*q - 25 = 0. Which is smaller: w or -1/48?
-1/48
Let o be 16/(-42) - (-6)/(-21). Let k = -37.54 - -38. Let r = 0.06 - k. Does o = r?
False
Suppose -2*l - 6 = -20. Let q = l + 1. Suppose 0 = 2*t - 6*t - q. Is t bigger than -2/3?
False
Let o be (4 - 443/98) + (-1)/(-2). Does 1 = o?
False
Suppose 7 = -3*y + 319. Let u = 518/5 - y. Let w = 0 + -0.1. Are u and w equal?
False
Let c(n) = 3*n**2 - 2. Let f be c(2). Let i be (2/5)/((-5)/f). Which is smaller: 0 or i?
i
Let y = -5 - -6. Which is smaller: 5 or y?
y
Let b = 6/71 - -189/284. Which is smaller: b or 1?
b
Let h be 2 - 55949287/(-411) - -2. Let g = h + -136134. Let k = 2/137 + g. Which is smaller: 0 or k?
k
Let h = -7 + 11. Suppose -4*r = h*u - 59 + 11, -u + 36 = 4*r. Is 8 >= r?
True
Let w = 12 - 2. Let u = -9.8 + w. Let r = 1 + -1. Is r >= u?
False
Let o = -33/2 - -17. Is 2 <= o?
False
Suppose 4*t + o - 4 = 0, t - 2*t - o = -4. Suppose -4*s - 4*q = -20, 6*q + 5 = s + q. Let c be s/7 - (1 - t). Which is smaller: c or -1?
-1
Let x be (0 - (-117)/21) + -3. Let v = x - 464/175. Is v < 1?
True
Let v = 0.94 + 0.06. Let s = -0.8 - -0.71. Let f = s + -0.01. Which is smaller: v or f?
f
Let o be (1 - (1 - 2)) + 342/(-168). Which is smaller: o or 0?
o
Suppose 310 = 2*p - 7*p. Let x be 8/44 + p/(-22). Does 3 = x?
Tr