+ 3. Which is greater: a or 32/7?
32/7
Let j = -25 + 11. Which is smaller: j or -2/9?
j
Let h(f) = f**2 - 7*f + 3. Let m be h(7). Suppose 0 = -m*k - 1 + 7. Do k and 1 have the same value?
False
Let d = -20 + 3. Is d at most -16?
True
Suppose 73 = -o + 19. Let d be 2/8 + o/(-8). Let i = -5 + d. Is 1 at least as big as i?
False
Suppose -9*b + 7*b + 36 = 0. Which is smaller: 2 or b?
2
Suppose 0*j + 2*x - 22 = 2*j, -4*x + 14 = j. Which is smaller: j or -4?
j
Let g be (-2)/((-2)/(-4) - 1). Suppose g*h - 12 = 0, 0 = -3*u - 0*u - 4*h + 12. Which is greater: u or 6/5?
6/5
Let p = -37192807/1016 + 73213/2. Let o = p - 4/127. Let x = o - -9/8. Is 1 > x?
True
Let m = -6.7 + 6.6. Which is smaller: 29 or m?
m
Let n(p) = -p**2 - 10*p - 7. Let c be n(-8). Let z be 111/c - 1/3. Suppose 0 = -4*v - 4 + z. Which is bigger: 0 or v?
v
Let r be (90/21)/(-5)*-7. Is -0.1 at most r?
True
Let q = -23/5 - -467/20. Which is greater: 20 or q?
20
Let z = -1.813 - 0.247. Let y = 0.06 + z. Which is bigger: y or -5/4?
-5/4
Let l be (24/(-30))/((-138)/15). Which is smaller: l or -1?
-1
Suppose -a + 3*a - 6 = 0. Let x be (a - (8 - 1))/(-4). Is -6 >= x?
False
Let h = 0.7 - 3.7. Let y be -3 - 51/(-18) - 1/(-2). Which is bigger: h or y?
y
Suppose -4*z = -11 + 35. Which is smaller: z or -2?
z
Let j(w) = -w**3 + 2*w**2 + 3*w + 4. Let l be j(4). Is -1 not equal to l?
True
Let p be (-18)/45 + 56/90. Which is bigger: 1/5 or p?
p
Suppose 9*l - 14*l = -10. Do 11 and l have the same value?
False
Let s = -0.32 + 0.32. Which is bigger: s or 115?
115
Suppose 7*f - 3*f = 8. Suppose f*m = -m - 6. Are -3/5 and m equal?
False
Let s(c) = 2*c - 56. Let z be s(29). Which is greater: 3 or z?
3
Let t = -5 - -8. Suppose k = 4*k - t. Suppose j + k = -0. Is 2/9 greater than or equal to j?
True
Let z = 6 - 4. Suppose 626 = 2*w + 4*u, -w - 12 + 325 = 4*u. Let o = 2197/7 - w. Which is greater: z or o?
z
Let p = -67.3 - -64. Let f = 0.3 + p. Is 0.1 less than f?
False
Suppose 29 = 5*t - 46. Let r = 14 - t. Let f be 0 + (-1 - 2)/(-3). Are r and f equal?
False
Let t be (-4)/8 + (-15)/(-2). Which is bigger: t or -5?
t
Suppose -3*g = -5*g + 4. Let i be 1*g/(8/(-20)). Does -3 = i?
False
Let u(t) = -2*t + 7. Let k be u(6). Let m be ((-3)/(-1))/(1*k). Which is smaller: m or -1?
-1
Let g = 5/4 + -3/4. Which is smaller: 2 or g?
g
Let h be (11/6)/(186/(-27)). Let m = -1/62 - h. Which is greater: m or 0.2?
m
Let f = 81 + -70. Is 7 smaller than f?
True
Let v = 16 + -12. Which is bigger: v or 5?
5
Let p be 33/(-18) - 12/(-8). Is -1 <= p?
True
Let z = 0.99 + -1. Let j = -0.08 + 0.19. Let i = z + j. Is 2 at most as big as i?
False
Suppose -t = -v - v + 7, -3*t = v. Is v <= 7?
True
Let t be (48/9)/((-1 - -7)/(-1)). Are -2 and t equal?
False
Let v = 19.8 + -1.1. Let h = v + -19. Which is smaller: h or -5?
-5
Let i be (1 - 27)/(3 + -4). Suppose 12 = 2*b - 2*j, 2*b - 3*j = -2*b + i. Let h be (-5)/12 + (-2)/b. Which is greater: h or -2?
h
Let z(m) = m**2 + 8*m - 6. Let g be z(-9). Suppose 3*t = -0*x - 4*x + 14, g*t + 4 = 5*x. Which is bigger: x or -2?
x
Suppose y + 3*n = -y + 15, 0 = -2*y + 3*n - 3. Suppose -3*c = -4*c - y. Which is greater: c or -4?
c
Let v = -2/67 - 57/335. Let c = v + -2/15. Which is bigger: 0 or c?
0
Let m = -33 + 34. Which is greater: m or 4?
4
Let a = -6 + 3. Suppose 0 = -3*w - u + 1, -4 = -4*w - 3*u + 4. Is w at least as big as a?
True
Let x be 0/3*(-1)/2. Let j = -363/2 + 186. Let n = -5 + j. Which is smaller: x or n?
n
Suppose 3*u + y - 14 = -0*u, 0 = -u + 5*y - 22. Which is smaller: 7/2 or u?
u
Suppose 0*x = -x - 2*u - 7, -3*u = x + 8. Is -4 bigger than x?
True
Suppose -5*a + 0*l = 4*l - 25, 2 = -3*a + l. Let q = -0.7 + 5.7. Let n = -7 + q. Which is bigger: a or n?
a
Let z = -19798/65 + 1516/5. Is z < -2?
False
Let n = -17/6 - -15/2. Let o = 65/12 - n. Let p = 3 - 2. Is p != o?
True
Let b = 287/4 + -69. Do b and 2 have the same value?
False
Let o be ((-18)/8)/((-6)/4). Suppose 12 = -t + 5*t. Are t and o non-equal?
True
Let c be 44/6*(-3)/(-12). Let z = -10/3 + c. Suppose -o = 7 - 5. Which is bigger: z or o?
z
Let x = -0.7 - -0.6. Does x = 0.1?
False
Let j be 4/14 + (-3)/((-42)/10). Which is smaller: j or 32?
j
Let c = -3 + 2. Let n(q) = -q**3 - 6*q**2 - 4*q - 5. Let d be n(-5). Let r be 1 - -4*4/d. Which is smaller: c or r?
c
Let f = 0.01 + -0.17. Which is smaller: f or 0?
f
Let f = 4 - 6. Suppose -2*x - 6 - 2 = 4*y, -20 = -4*x + 4*y. Suppose 0 = s + x, -n + s = n. Which is smaller: f or n?
f
Let q = 28 - 28.41. Which is smaller: -0.2 or q?
q
Suppose 2*l + 4*o - 2*o + 2 = 0, 5*l - 2*o - 9 = 0. Is -1 > l?
False
Let m be -1 + (-1 - (-32)/(-14)). Let c = -316/77 - m. Which is smaller: c or 0?
0
Let b be ((-1)/2)/((-5)/(-10)). Let w be 8*(3 - 1)/(-28). Which is greater: b or w?
w
Let g = 0.02 - -2.28. Let y = -0.3 + g. Is y greater than 0?
True
Let g be ((-7)/(-3))/(2/(-6)). Suppose -5 = -y + 4*z, 2*y - 4*z + 3 - 1 = 0. Let r = y + 0. Is g <= r?
True
Let c be ((-4)/(-6))/(2/9). Suppose -30 = -c*t - 2*t. Let a(r) = r**2 - 5*r - 6. Let s be a(t). Which is smaller: 2/11 or s?
s
Let p = -1.987 - 0.013. Which is bigger: -19 or p?
p
Let h be 2/6 + 4/(-3). Is h >= 5/11?
False
Let o be (265906/(-453))/(77/874839). Let j = o + 6669102. Let d = -6/151 + j. Is d at most as big as 1/4?
True
Suppose 7*q + 23 = 8*q. Let b be (-22*2)/(4/(-2)). Which is smaller: q or b?
b
Suppose 0*z = z + 14. Let p be (3 - -506)*2/z. Let a = p - -73. Is a <= 0?
False
Let l be 0 + 4 - (0 + 2). Suppose 5*z + u - 15 = 0, -5*z + 5 = 5*u - l*u. Is z less than 3?
False
Suppose 0 = 4*u + 5*w - 57, 13 - 1 = -u + 4*w. Let g = u + -6. Let n(i) = -i**3 - 4*i**2 - 3*i + 1. Let l be n(-3). Is l bigger than g?
False
Let c = 1 + -5. Let r be 4/(-6) - (-28)/6. Let k = r + c. Which is greater: 4/5 or k?
4/5
Let z(j) = 2*j - 18. Let o be z(10). Let r(y) = y**2 + 4*y. Let d be r(-4). Is o greater than d?
True
Suppose 0 = 3*m + 2*m. Let i = 1 - m. Is i > 1?
False
Suppose 10 = 5*u - 5*v, 7 = 5*v - 3. Suppose 0*s - 2*o + 12 = 4*s, 0 = -u*o + 8. Suppose t = -t + s. Is 1 bigger than t?
False
Suppose b + 3*b = 0. Let t be (2 - (-6)/(-4))*-2. Let x be 0 + (0 + t)/(-1). Do b and x have the same value?
False
Let h be (-38)/(-30) + -1 - (-36)/(-54). Which is bigger: h or 2.7?
2.7
Let y(k) = -k**2 + 23*k + 19. Let u be y(20). Are u and 79 nonequal?
False
Suppose -8*s - 20 = -3*s. Let a(i) = -i**2 - 5*i - 2. Let b be a(s). Is b not equal to 0.1?
True
Let j be (1137/(-12) - 0) + 0. Let y = j - -94. Suppose 0*k + 8 = -4*k. Is y != k?
True
Let d be 14/(-4) - 1/2. Suppose 5 = j + 8. Are d and j non-equal?
True
Let z = -30 + 29.8. Is z less than 19?
True
Let p be (-1*3 - 0)*-1. Let v = p - 4. Let n = v + 0. Is -1/6 less than n?
False
Let q = -13/45 - -2/9. Which is smaller: 1 or q?
q
Suppose 2*q = -2*o + 7*q + 23, -15 = 3*q. Is o at most as big as -1/6?
True
Suppose 3*x + 4*p = 15, x - 2*x = 2*p - 7. Let t be (0 + (-2)/x)/(-10). Let m = -196/3 + 590/9. Which is smaller: t or m?
t
Suppose 3*r = -3*y + 2 + 1, -4*y + r - 6 = 0. Which is greater: y or 2/283?
2/283
Let u = 3 - 2. Let r = -104 - -726/7. Is u at least r?
True
Let l be (-14)/(-8) - 2/(-8). Suppose 10 - 5 = 5*z. Which is smaller: z or l?
z
Suppose 0 = -5*u + 5*a + 1 + 9, 0 = -3*u - 5*a - 10. Which is smaller: 4 or u?
u
Let q(r) = r**2 - 5*r + 3. Suppose 2*x = -0 + 8. Let k be q(x). Which is smaller: -0.1 or k?
k
Let y = 17.87 - 18. Let t = y + 0.83. Is t > -0.1?
True
Let o be -2*((-531)/(-174) - 3). Let q = -81/58 + o. Let d = -3 + 0. Which is smaller: q or d?
d
Let o = 3 + 16. Is 21 < o?
False
Suppose 28 = 4*k - 4. Let d be (6/(-15))/(k/10). Which is greater: d or -1?
d
Let v = 111 - 112. Which is smaller: v or -3.1?
-3.1
Suppose i + 24 = 23. Which is greater: -0.14 or i?
-0.14
Let z = -4.9 + 4.2. Is z bigger than 3?
False
Let s(p) = p + 7. Let o(j) be the second derivative of -j**3/3 + 2*j. Let t be o(3). Let f be s(t). Which is smaller: f or 1/4?
1/4
Let q = -25 - -27. Which is greater: q or 1?
q
Let o be 48/8 - -2*1. Suppose 0*v = -4*l - 2*v - 4, -5*l = -4*v - o. Are -5/6 and l nonequal?
True
Let d be (-3 - -2)*7 + 2. Is -5 != d?
False
Suppose -59 = 3*n - 29. Which is smaller: 0 or n?
n
Let b = -11.1 + 11. Let p = 0.8 - 1. Let h = p + 1.2. Is b at least h?
False
Let c(f) = 3*f**2 + 9*f + 1. Let p(q) = -q*