0). Is v greater than -5?
False
Let i = 0.25 + -0.3. Let k be (-3 + 6 + -3)/(-11 - -12). Is k not equal to i?
True
Let c = -5 + 7. Suppose 0 = 2*w + c*w. Which is greater: -0.2 or w?
w
Let u = 31 + -10. Let c = 22.5 - u. Which is smaller: c or -1?
-1
Let n = -7 + 12. Suppose p + 3*p - 7 = n*u, 4*u = 4*p - 12. Is 0 > p?
False
Let s be 9/21*33 + (-5)/35. Which is bigger: 16 or s?
16
Suppose -3*u + 0*u + 15 = 0. Suppose u*s = 4*s. Let o be (-6)/(-10) - 2/(-5). Is s equal to o?
False
Let y be (0 + (-2)/(-4))/(3/30). Suppose 0 = 3*u, -5*l + 3*u + 10 = -5. Suppose -x - 2*d = 3*x + 18, -l*x - 20 = -y*d. Is -6 at most x?
True
Suppose 4*i - 4*q + 4 = 0, 2*i + 4 = -4*q + 2. Let m = 2 + i. Let w be ((-39)/(-45) - m)*1. Which is smaller: -1 or w?
-1
Let s be 25/(-260) - (56/26 + -2). Which is bigger: s or 3?
3
Let a be 1*3 + (-3)/(-3). Let o = a + 1. Which is smaller: o or 4?
4
Suppose -l - 3*f - f = -2, f - 77 = 4*l. Let i = l - -124/7. Let h = -18 + 18.2. Is h at least as big as i?
True
Let q be (344/72 - 4) + (-2)/(-9). Which is smaller: -3/85 or q?
-3/85
Let f(w) = w + 12. Let j be f(-8). Suppose -2 = j*q + 22. Is -13/2 > q?
False
Suppose -3*o + 3 = -2*z, 4*z = -5*o + 5*z - 2. Let l be (o + 0)*6/14. Is -1 at most l?
True
Let j be (-1)/4*-6*(-16)/(-24). Which is greater: j or -2/39?
j
Let a = -8.9 + 2.9. Which is smaller: 0 or a?
a
Suppose 4*p = 5*i - 7, -p + 10 = p + 2*i. Let t = 2 - p. Which is bigger: t or 2/7?
2/7
Let a = -0.33 + 0.53. Let s = 23/4 - 6. Is a at most s?
False
Let b(l) = -l**2 + 8*l - 9. Let h be b(6). Suppose -7 = -h*c - 1. Which is smaller: 1 or c?
1
Let m = -3.3 + 1.24. Let n = -0.06 - m. Let h = 4/5 + -29/30. Which is bigger: h or n?
n
Let v = 4 + -2. Suppose k = -4*t - v, t + 3 = 2*k - k. Which is greater: 2 or t?
2
Let p be 5 + ((-12)/(-3))/(-2). Let j = -6 + p. Is j at least as big as 0?
False
Let v(j) = -j**3 + 8*j**2 - 2*j + 11. Let h be v(8). Let n = h + 13. Let t be (-2)/4 - (-12)/n. Which is greater: -2/21 or t?
t
Suppose 2*b = k - 1, 0 = 2*b + 4 + 6. Which is smaller: -28/3 or k?
-28/3
Let q = -54/5 + 11. Which is bigger: q or -1?
q
Let j = 1.96 + 0.04. Let r = -4 + j. Let f = 2.2 + r. Is f <= 2?
True
Let j be (-24)/(-21)*(-5)/860. Are 0 and j non-equal?
True
Let b(n) = n**3 - 10*n**2 - 12*n + 14. Suppose -q = q - 22. Let h be b(q). Is 2 less than h?
True
Let r be (-4)/48*-51 - 4. Which is smaller: r or -15?
-15
Suppose -2*p - 3*p = 0. Suppose 5*n + 5 = p, -2 = -b + 4*n + 3. Let o be (-1)/(1 + 5/(-2)). Which is bigger: b or o?
b
Let k be (18/(-75))/((-4)/5). Which is bigger: k or 0?
k
Suppose -2*f = -4*f. Let j = 1 + f. Is j smaller than -0.2?
False
Let k(a) = 2 + 0 + 0 + 2*a. Let t be k(1). Is t smaller than 2?
False
Let f(l) = l**3 + 6*l**2 + 7*l + 7. Let q be f(-5). Do -3 and q have different values?
False
Suppose 4*t - d = 72, t = 2*t - 2*d - 11. Which is bigger: t or 18?
t
Suppose -5*g - 3*m = 37, -2*g + m - 26 = -9. Let i = g - -13. Let k = -7 - -11. Which is bigger: i or k?
i
Let i = 6/43 + -140/387. Which is greater: -1 or i?
i
Let a = -104/15 - -12832/2145. Let q = 10/13 + a. Suppose 0 = -0*w + 2*w. Which is smaller: w or q?
q
Let c = -37 + 33. Is c at most as big as -21/4?
False
Let i = 9 + -1. Suppose a - 3*m - 13 = 0, 5*m + i = -12. Let d = 79 - 709/9. Is d at least a?
False
Let t = -6 - 8. Let n be ((-8)/t)/(2 - 4). Let x(p) = p**2 - p - 1. Let v be x(1). Which is smaller: v or n?
v
Let k be (-363)/(-168) - (-6)/(-21). Do 3 and k have the same value?
False
Let t be 26/6 + (-6)/(-9). Which is smaller: 35/6 or t?
t
Let y = -23.894 + -0.106. Is y > -2/5?
False
Let x(z) = z - 3. Let a be x(3). Let s = 8 - 2. Let d = 5 - s. Which is smaller: d or a?
d
Let d = 14 - 21. Which is smaller: -6 or d?
d
Suppose -2*v - 7 = -21. Which is greater: v or 0.1?
v
Let p = 0.1 + 0.1. Let b = 1.2 - p. Let s = b - 1.3. Which is smaller: s or -2/5?
-2/5
Let r = 547844/945507 + 4/13703. Let t = r + -2/3. Which is greater: 0 or t?
0
Let c = 1562/2709 - 2/387. Is 0 greater than c?
False
Let k = 4 + 1. Suppose k = a - 0. Which is bigger: 6 or a?
6
Suppose -4*v - v = h - 10, 2*v = 5*h - 23. Suppose 0 = 2*f + 2*g - 6, -g - h = 6*f - f. Let u be (-2)/(-7) - 23/7. Is u bigger than f?
False
Let r = 1/105 + -38/21. Let u = r - -23/10. Let x = -6 - -8. Is x smaller than u?
False
Suppose 0 = -a - 88 + 16. Let k be ((-1)/(-5))/((-2)/a). Let t = k + -38/5. Which is greater: 1 or t?
1
Let t be (-44)/(-6) + 2/(-6). Let o = t - 5. Suppose o*w - 4*q = w, 2*w + 2*q = 0. Is w bigger than -1?
True
Suppose 3*o - 8*o + 15 = 0. Suppose 3*p = -2*k, -p - 4*p = -o*k - 19. Let c = 2 + 1. Do c and p have different values?
True
Suppose 2*d = -0*d. Which is smaller: d or -2/145?
-2/145
Let a = 1655/6 - 275. Let y be 13/(-36)*(9 + -7). Let p = y + a. Is 0 at least p?
False
Let l be (2 + (-8)/4)*(-1)/2. Is -8/7 != l?
True
Let n(j) = j**2 - 4*j. Suppose 0*a - 15 = -3*a - b, -9 = -3*b. Let m be n(a). Is m greater than -2/61?
True
Let f be 82/(-6) - 1/3. Let a = 103 + -116. Is a < f?
False
Let x(i) = -i + 6. Let l be x(-8). Which is greater: -1/4 or l?
l
Let a be 0/((-1 - 1)/2). Suppose z = -a*z + 3. Suppose -4*g = 4*u + 8, -1 - 1 = 5*u + z*g. Is u at most 0.1?
False
Let p = -22 + 65/3. Is -25/6 greater than p?
False
Let u = -5 - -10. Let a be (-1)/u + (-21)/45. Which is smaller: -0.1 or a?
a
Let y = 22 - 22. Is -12/11 > y?
False
Suppose 0 = -2*w + 4 + 4. Suppose 6 = 3*b + 3*j, -3*j - 1 = -4*b - 0. Let x be 17/4 - b/4. Is x less than or equal to w?
True
Suppose -3*t + 14 = 2*d, 5*t - d - 2 = 2*t. Is t bigger than 3?
False
Suppose -w - w + 4*n = 10, 4*w = -2*n. Let t be (-95)/15 - w/3. Let f = t + 5. Is 1/3 equal to f?
False
Suppose 22*x + 63 = 15*x. Let j = -19 + 11. Which is greater: j or x?
j
Let t = 2 - 0. Let x = 1 - t. Let f be 10/(-14) + (-11)/(154/4). Is x less than f?
False
Let m = 2 + -3. Let c be (-1)/m + (-23)/7. Let z = c + 18/7. Which is smaller: z or -0.1?
-0.1
Let a = -64 + 64.1. Is a less than or equal to 78?
True
Let a be 14 - (3 + (-3)/2). Let f = 49/4 - a. Which is greater: 0.3 or f?
0.3
Suppose -v = -2*v + 3. Suppose 0 = -7*k + v*k. Is k < 2/11?
True
Let p(g) = g**2 + 6*g - 3. Let n be p(-7). Suppose -4 = -3*f - n*z, 5*z - 21 = -1. Let q be (-5)/1 + (3 - 1). Are f and q equal?
False
Suppose -8 = 6*i - 4*i. Let g = i + 5. Which is greater: -2/13 or g?
g
Let d(z) = -4*z**2 + 2*z - 2. Let b be d(1). Is -5 != b?
True
Let s = 15 + -9. Suppose 9 = -5*q - s. Which is smaller: q or -4?
-4
Suppose -30*y + 1 = -29*y. Is 5/7 greater than y?
False
Let v = -112 + 57. Is v > -55?
False
Let m(o) = o - 5. Let c be m(6). Let v be c*((-4)/7)/(-2). Are v and 0 non-equal?
True
Let n = 9 + -4. Let w = n + 0. Let t = w + -6. Which is greater: 0.1 or t?
0.1
Let u = 10 - 4. Let l be 2 - (u + -4 - 0). Is 6/5 less than or equal to l?
False
Let c be 9/(-26)*(-64)/48. Is c equal to 1?
False
Suppose -3*x + 3*d - 27 - 6 = 0, 4*d - 12 = 0. Suppose 0 = 5*p - 24 + 69. Is x < p?
False
Let b = 467/3390 + -1/226. Is b less than -0.2?
False
Let n = 7 - 13. Let t = 4 + -3. Let s be t/(3/n*1). Is s at least as big as 1/4?
False
Let v = 5 - 5. Let h be 25/(-10) + v + 0. Is h <= -4?
False
Let x be 135/(-7) + 26/91. Which is greater: -20 or x?
x
Let h be ((-12)/8)/(30/8). Let d(z) = z**2 + 13*z - 13. Let i be d(-14). Are h and i unequal?
True
Let t(b) = b**3 - 5*b**2 - 5*b - 7. Let i be t(6). Do i and -3/2 have the same value?
False
Suppose -8*s = -13*s + 15. Which is bigger: s or -4?
s
Suppose 3*k = 3, -5*l + k + 253 = 4*k. Suppose f - l = -4*f. Let b be f/24 - 8/12. Are 0 and b equal?
False
Let v = -22 - -16. Let j be 1/3 + 230/v. Let i be j/(-14) - 12/(-42). Is i bigger than 2?
True
Suppose -1 = -2*u + 43. Which is bigger: 23 or u?
23
Let o = 5 + -1. Let s = o + -2. Is 2/5 greater than or equal to s?
False
Let o = -0.45 - -0.6. Let w = -0.85 + o. Let k = w + -0.3. Which is smaller: 0.1 or k?
k
Let l(r) = -r**3 - 3*r**2 - r - 3. Let d be l(-3). Suppose -k + 3 + 1 = d. Suppose -k*y - 5 = -1. Which is smaller: y or -1/2?
y
Let s be (4/13)/(60/(-10)). Which is smaller: 1 or s?
s
Let l be (-2)/6*-2*(-12)/496. Which is smaller: l or -1?
-1
Let f be 10/24*(-7)/(-35). Is f at least 0?
True
Let u(t) = -t - 6. Let b = -9 - -5. Let k(w) = w**3 + 5*w**2 + 5*w - 1. Let i be k(b). Let c be u(i)