 = -5 + 1. Let p = 1 + -4. Let v = p - h. Which is greater: 3 or v?
3
Let m be ((-30)/(-24))/(-2*(-6)/8). Which is greater: 2 or m?
2
Let p = -3 + 1. Let q be p/(-5) + 39/15. Which is bigger: q or 2?
q
Let p = 41 + -42. Which is bigger: p or 1?
1
Let b = 5.93 - -0.07. Let y = -5 + b. Let v = -2 - -2. Does y = v?
False
Let p(y) = y**3 + y**2 + 2*y. Let n be p(-3). Let z be 4/2*10/n. Is z greater than -2?
True
Let o = -15.1 - 1.9. Let n = 2081/4 + -520. Is o < n?
True
Let k(l) = l**3 - 9*l**2 + 1. Let i be k(9). Let t be (2/(-10))/(9/(-15)). Is t greater than or equal to i?
False
Suppose -2*i - 2 = 2*x, 4*x - 11 = 2*i + 3. Let l be 1/41*i/(-33). Let h = 911/4059 - l. Which is bigger: h or 0?
h
Let u be 0 + (-15)/55*-2. Which is bigger: u or 2?
2
Let r(i) = 6*i**2 + i - 1. Let a be r(1). Let w be (-1)/(1/a*4). Suppose v + 10 = -4*s, -v + 5*s + 5 + 3 = 0. Which is bigger: v or w?
w
Let q be (4 - (0 + 0)) + 12 + -16. Which is bigger: q or 1.5?
1.5
Suppose 0 = -5*a - 0*a - 4*j + 36, 5*a = 5*j. Suppose -a = -2*c - 0. Suppose -2*p = -2, 4*i + 0*p = c*p - 6. Which is greater: -3/2 or i?
i
Let a be 1/(-2)*(-7 + 7). Suppose -12 = -3*z - a*z. Suppose -z*c - 25 = c, g - 7 = 2*c. Is g at least as big as -4?
True
Suppose 7*v + 6 = v. Which is smaller: -1/32 or v?
v
Let p = -7 + 16. Let j = p - 6. Is j <= -1?
False
Let m(s) = -5*s + 1 + 3*s - 2*s**2 + 3*s**2. Let j be m(1). Which is greater: 1 or j?
1
Let o = 14 - 12. Is 6/11 greater than or equal to o?
False
Let s = -43/3 - -209/15. Let g be ((-6)/28)/(15/(-20)). Which is smaller: g or s?
s
Let d be (1/2)/(2/(-7960)). Let n = d + 9759/5. Let h = -38 - n. Which is smaller: h or -1?
-1
Let r(t) = -t. Let h = 5 + -8. Let i be r(h). Which is greater: 7/4 or i?
i
Let y = 2/15 + -19/30. Suppose 0*z = 4*z. Which is bigger: y or z?
z
Suppose -2*k + 5*i = -213, -238 = -2*k - 5*i + 25. Let t be (597/(-9))/((-5)/9). Let h = t - k. Which is bigger: h or 0?
h
Suppose 3*r = -r - 4. Let f = -17 - -186/11. Which is bigger: f or r?
f
Suppose -3*d + 0*d - 36 = 0. Let h be 3/(-6)*d/(-15). Are h and 1 nonequal?
True
Let w(z) = -z**3 - 3*z**2 - 3*z - 4. Let x be w(-3). Suppose x*s + 1 = 11. Let r be (s/2)/(3/(-3)). Are -1 and r non-equal?
False
Let i = 56 + -56.2. Which is bigger: i or 9?
9
Let a = 668/5 + -134. Let f be (0/5)/(-1 - 1). Suppose -2*t = -i - 2, -4 = -4*t + 4*i - f. Are t and a nonequal?
True
Let o = -3.6 + -0.4. Let f = -1 - o. Which is smaller: -1 or f?
-1
Suppose 3*q - 4 = -q. Suppose -115 = 2*x + 157. Let v = x + 954/7. Which is smaller: v or q?
v
Suppose -3*i = n - 0*i - 16, -3*n + 2*i - 7 = 0. Which is bigger: 0 or n?
n
Let k = 0.09 - -0.05. Is -0.1 less than k?
True
Let s = 3 + 1. Suppose -5*t + 14 - s = 0. Suppose 3*o = 4*q + 12, 4*o = -t*q + 13 + 3. Is o less than or equal to 5?
True
Suppose -4*h + 90 = -10. Does 24 = h?
False
Let m = -1.06 + 1.35. Which is smaller: -0.1 or m?
-0.1
Let x be (-4)/(-6)*(-9)/(-6). Which is smaller: x or 1/2?
1/2
Let s be 156/(-399) + 6/21. Let p be (-1 + 1)/(-2) - -1. Which is smaller: s or p?
s
Let a = 88 - 91.04. Let t = -3 + 0. Let i = a - t. Which is smaller: -1 or i?
-1
Let x = 15.8 - 16. Is -2/7 equal to x?
False
Let v = -0.35 + 15.35. Let u = v + -17. Are u and 0.3 equal?
False
Let c = 235 - 75. Let q be (-74)/c + 4/10. Which is bigger: 1 or q?
1
Let g(k) = -k**2 - 4*k + 5. Let u be g(-4). Let z(w) = 2*w - 8. Let l be z(u). Suppose -4*m = -o - 21, 3*m - 28 = 4*o + 4. Which is smaller: m or l?
l
Let z be 1*(-4)/(-2 + 0). Let b = -2.077 - -0.077. Is b greater than z?
False
Let s be 26/10 - (-17 - -19). Which is bigger: 0 or s?
s
Let f(q) be the first derivative of -q**4/4 + 5*q**3/3 + 5*q**2/2 + 6*q - 2. Let n be f(6). Suppose n = -h - h. Which is smaller: -1/5 or h?
-1/5
Let q = 3.7 + 0.3. Let u = -2.7 - -2.5. Which is bigger: q or u?
q
Let i = 355.7 - 373. Let o = i + 17. Which is greater: 3 or o?
3
Suppose -4*r = -0*r - 3*p + 68, 0 = r - 2*p + 12. Do r and -21 have different values?
True
Let c be (3 - 4) + 362/(-8). Let m = 46 + c. Let o(j) = j + 5. Let p be o(-6). Is p at most m?
True
Let i = -27 + 27. Which is smaller: 2 or i?
i
Let w = 4.02 + -0.02. Let v = -2.7 + -0.3. Let d = v + w. Which is smaller: d or 4?
d
Let i be 554/8 - 6/(-8). Which is smaller: i or 68?
68
Let o be (-3)/(-117) + 0/(12/3). Which is smaller: o or 0?
0
Suppose -i = -0*i - 7. Is 7 bigger than i?
False
Suppose -142 - 114 = -4*r + 4*a, -3*a = 4*r - 221. Is r != 57?
True
Let x(u) = 3*u**2 - u + 2. Let c be x(2). Suppose o + c = -3*o. Let d be (-104)/84 + (-2)/o. Which is smaller: d or -1?
-1
Suppose n - 95 - 34 = 0. Let j = -647/5 + n. Which is smaller: j or 0.6?
j
Let u be (-4)/(-5) + (8/5)/8. Which is smaller: -1/25 or u?
-1/25
Let s = 34 + -34.1. Let a = -0.6 - 0.4. Is a > s?
False
Suppose k - 3 = 3. Suppose k = -2*d - d. Which is smaller: d or 0?
d
Let r = 5 - 3. Let p be (r/8)/(3/30). Let u = -17/6 + p. Which is bigger: u or -1?
u
Let n be (-2)/(-3*1/(-6)). Let b = n - -4. Is 1 >= b?
True
Let g = 56.6 - 57. Which is smaller: g or 0.9?
g
Let w = 11 + -7. Let s = -3.98 + w. Let u = -2.98 - s. Which is smaller: u or 0?
u
Suppose 0 = -b + 3*n - 0*n + 10, b + 3*n + 20 = 0. Which is smaller: b or -4?
b
Let r be (-19)/(-38)*1/2. Are r and -1 nonequal?
True
Let h be 22*1*44/(-2996). Let p = -4/107 - h. Let q = 3 + -2. Is p at most q?
True
Suppose -2*m - 3*x = 11, m - 4*m + x = -11. Is m < 4?
True
Let j(d) = d**2 + 5*d + 2. Let a be j(-3). Let q = a + 7. Suppose -2*t = -p - q*p, -5*p - 5*t = -15. Is 2/7 smaller than p?
True
Suppose -8*j = -3*j + 5. Which is smaller: -2 or j?
-2
Let p(n) = -n**2 - 5*n - 3. Let f be p(-3). Let y be f + ((-150)/16)/3. Are y and 1 equal?
False
Let d = -6 - -3. Is d at most as big as -14/5?
True
Let w = -7 - -12. Let i(p) = -p**2 + 3*p + 2. Let n be i(w). Which is smaller: -7 or n?
n
Let z = -12 - -13. Let c = -117/4 + 467/16. Which is smaller: c or z?
c
Let i be (-12)/(-16) + 573/(-60). Which is smaller: i or -8?
i
Let x be 0 - (3 - 2)*-13. Let i = 40/3 - x. Is i != 1?
True
Let t = -4 + 4. Let n = t - 2. Let d = n - -2.1. Which is greater: 3 or d?
3
Let o = 73.73 - 74. Is o greater than or equal to 0?
False
Let i be 1 - 1 - 2/(-4). Let u = 3 - 2. Which is smaller: i or u?
i
Suppose 4*f = -3*x + 9, -3*f + f - 3*x = 3. Let u be f*(-4)/8 - -3. Which is smaller: -3 or u?
-3
Let j(d) = 2*d**2 - d + 2*d**2 - 6*d - 5*d**2 - 5. Let w be j(-6). Is w > 1?
False
Let u = 0.3 - 0.2. Let j = 0.1 + u. Let t = -0.3 + j. Is t > 1/4?
False
Let y = -175 - -699/4. Do y and -2/35 have the same value?
False
Let a = 36632/483 + -531/7. Let r = -666/13 + 30727/598. Let b = r - a. Which is smaller: b or 0?
0
Let i(o) = -14*o + 1. Let p be i(-1). Suppose 6*g = g + p. Does 0.1 = g?
False
Let v = 1 + -4. Let z = 39 + -37. Which is smaller: v or z?
v
Let u(l) = l**3 - l**2 - 5. Let q be u(0). Which is smaller: -4 or q?
q
Let g(m) = -m + 9. Let o be g(4). Suppose -o*s + 55 = -j - j, 3*j + 50 = s. Which is smaller: -16 or j?
-16
Let u be -1 + 1 + (-6)/3. Let z be (-10)/15*(u + 5). Which is smaller: z or -1?
z
Let w = -0.04 - 0.06. Let q = 0.06 - -1.94. Does q = w?
False
Let c = -2 + 5. Let q be (c + -3)/(8/(-4)). Which is greater: -2/47 or q?
q
Suppose -3*b = 2*u + 21, 13 = -u - 7*b + 3*b. Which is bigger: -10 or u?
u
Let m(g) = -107*g + 1. Let o = -6 + 3. Let z be m(o). Let k = 2250/7 - z. Which is smaller: k or 0?
k
Let v be (-3)/5 - 49/35. Let y be (5 + -3)/v*4. Which is smaller: -2 or y?
y
Let s = 7.3 + -3.5. Let g = -4 + s. Do 2 and g have the same value?
False
Let a = 4.8 + -0.8. Let l = 4.1 - a. Let w = l - 0.1. Is w at least 0?
True
Let v be 5/(-10) + 3/2. Let x be -2 + 0 + 0 + v. Is -2/11 at most x?
False
Let m = -4.2 + 5. Let u = m + -1. Let h = -0.2 - -1.2. Which is smaller: h or u?
u
Suppose -2*b - 3*u = -11, 5*u - 19 = -2*b - 6. Suppose 5*k + p + b - 1 = 0, 2*p = -4*k. Which is greater: k or -2?
k
Let k = -29 - -40. Suppose 4*s + k = -0*o - 3*o, 2*s - 3*o = -1. Which is bigger: -3 or s?
s
Let g(y) = -4*y + 19. Let b be g(8). Which is smaller: b or -27/2?
-27/2
Let z = 11 + -10. Which is bigger: z or 0.5?
z
Suppose -8*s + 3*s + 2*x = 15, 0 = -5*x. Suppose -1 = -2*a - 7. Is s less than a?
False
Let v = -0.5 - 2.5. Let n = -3.08 - v. Let m = n + 2.08. Does m = 2?
True
Let y = 85/3 - 29