07
Suppose 0 = 4*y + 5*s + 35, 0 = 5*y - 2*s - 28 + 47. Is y smaller than 36?
True
Suppose 4*u + 73 = 3*u + 5*d, -4*u = -5*d + 262. Are u and -65 nonequal?
True
Suppose -34 + 70 = -2*t. Let g be (-2)/t + (-7)/225. Is 1/4 smaller than g?
False
Suppose 2*u + 4*r + 580 = 0, 2*u + 4*r = 5*u + 890. Which is bigger: u or 0?
0
Suppose 2*o + 54 = -o. Let m be (2/10)/((-3)/o). Suppose -13*l - 36 + 36 = 0. Do l and m have the same value?
False
Suppose 0 = -4*n + n + a - 32, -3*n - 34 = a. Let b = -8 + -2. Let u = n - b. Which is bigger: u or -3?
u
Let u(h) be the second derivative of h**4/12 + 11*h**3/6 - 3*h**2/2 - 4*h. Let i be u(-11). Let d be i*((-51)/(-54) - 1). Is d <= 1?
True
Let i = 298 - 335. Which is bigger: -39 or i?
i
Let h = 34 + -31. Suppose 7 = -r - h. Which is greater: r or -9?
-9
Suppose -2*j - 884 = 4*d, 2*j + 401 = 5*d - 492. Let s be (-16)/20 - j/30. Which is smaller: 13 or s?
13
Suppose -28 = -2*q + 28. Let b = q + -20. Let o = -841 + 850. Is b < o?
True
Let a be (-12)/(-27) - (205/(-45) + 4). Which is smaller: a or -1/2703?
-1/2703
Let q = 50642/3 + -16842. Let g(p) = -p**3 + 40. Let r be g(0). Which is bigger: r or q?
r
Let v = -204 - -1038/5. Which is bigger: v or 1?
v
Let h be 111/21 - (-2)/(-7). Let d(r) = 2*r + 31. Let b be d(-13). Suppose -3*i + h*v - b = 0, i - 2 = -i - 2*v. Which is smaller: i or -2/3?
-2/3
Let y(u) = -u + 4. Let l be y(5). Let n be (-2364)/1092 + 3/(-21). Which is bigger: n or l?
l
Let t = 668 - 127587/191. Do -1 and t have the same value?
False
Let h = -75.2 - -75.2. Which is smaller: h or -30?
-30
Let f(s) = 5*s**3 - 3*s**2 - 12*s + 5. Let i be f(4). Is i >= 229?
True
Suppose -s = -3*s. Let a be (-7 - -7) + -2 - (s + 66). Is a greater than -68?
False
Let c = 648 - 650. Does c = -50?
False
Let t(s) = 22*s + 405. Let b be t(-16). Is b bigger than 50?
True
Suppose 3*z + 6 = -3*n, 3*z = -n - 3 - 5. Suppose -8 = -q + 5*r + 15, r = -4. Let k be 12/(-15)*(2 + q). Which is smaller: k or z?
k
Let t be 3/(-2)*(-676)/(-39) - -3. Which is smaller: t or -22?
t
Let o be 1 - -2 - (-3045)/(-1005). Which is smaller: o or 2?
o
Suppose 5*c + 2659 = 3*v + 14, -4*v = -2*c - 3522. Suppose 0 = 40*a - 32*a + v. Is a < -111?
False
Let u = -5 - -6. Let y = 98 - 121.6. Let c = y - -23. Is u bigger than c?
True
Let q be (-1)/(-3 - -4)*1. Let o be -1*(1 + (q - 0)). Suppose -4*m = -4*i + 24, o*i - 3*m - 26 = -5*i. Is i < 4?
False
Let v be (-10)/(-4) + 423/(-18). Is -21 greater than v?
False
Let t = 1 - -5. Let v be (2/t)/((-5)/3). Let g be 1 + 2*(9/6 + -2). Does v = g?
False
Suppose -12 = y + 5*y. Which is smaller: 11/10 or y?
y
Let o = 7/10 - 73/90. Let z(i) = 8*i - 4*i - 2*i + 11. Let b be z(-6). Do b and o have the same value?
False
Let a(z) = -10*z**2 + 62*z + 130. Let v be a(-2). Which is greater: v or -32?
-32
Let d(g) = g**3 + 9*g**2 - 10*g. Let s be d(-10). Let z(h) = -h - 4. Let q be z(s). Let k(f) = f + 31. Let c be k(-36). Which is smaller: c or q?
c
Suppose 15 = -3*k, -4*y - 4*k + 212 + 376 = 0. Suppose -7*o + 4*c = -3*o - y, -c = 3. Let h be 28/o - (-42)/10. Is 0.1 smaller than h?
True
Let y = 4 + -8. Let g = -91/4 + 22. Which is greater: y or g?
g
Suppose 47 = 4*d - 3*s, -4*d - 2*s + 12 = -30. Suppose 2*y - 17 = -d. Which is smaller: -4 or y?
-4
Let x(y) = -7*y**2 - y - 11. Let g be x(4). Let k = g + 190. Let n be (-74)/(-154) - (-27)/k. Which is smaller: n or 1?
n
Let b = 77.42 - 80. Let o = b - -2.7. Let h = 0.32 - o. Which is smaller: h or -0.5?
-0.5
Let t = -25852/9 + 2866. Is -7 not equal to t?
True
Let b(k) = 6*k + 10. Let m(a) = -5*a - 9. Let x(u) = -4*b(u) - 5*m(u). Let o be x(-4). Is o at least -3?
True
Let x be (-1*(-2)/(-184))/(14 + (-270)/20). Let c be (-1 - -1)/(0 - -2). Is c at most x?
False
Let p = -154433/10435 - 1/2087. Let q = 13 - 28. Which is bigger: p or q?
p
Suppose -8*x + 3 + 13 = 0. Suppose -3 + 1 = -x*v. Which is smaller: v or 0.3?
0.3
Suppose 10*x = 7*x. Let p be 5/(4 - ((-68)/8 + 4)). Which is bigger: p or x?
p
Suppose 2*i - 2 + 20 = -h, -3*h = 3*i + 63. Which is smaller: -165/7 or h?
h
Let p(c) = -c**3 - 3*c - 1. Let j be p(0). Is -14/11 < j?
True
Let q be (2/11)/(9/198) + -12. Which is greater: q or 7/25?
7/25
Let c = 1/1272 + 9749/3816. Is 4 less than c?
False
Let f = -31.95 - -34.4. Is 3 less than f?
False
Suppose 5*f = 13*f + 40. Let j(a) = -a**2 - 8*a - 10. Let z be j(f). Which is greater: 2 or z?
z
Let l = -208/187 - -22/17. Is l at most as big as -4?
False
Let x be -1*8 - (-13 + 10). Let h(o) = 0*o - 3*o + 7*o - o + o**2 - 5. Let y be h(x). Are y and 4 equal?
False
Let j be (-36)/(-126) - (-18)/(-14). Which is smaller: j or 4/135?
j
Let l(k) = -k**2 + 7*k - 6. Let g be l(4). Suppose g*x - 3*x = 0. Suppose f - 5 = -x*y - 2*y, 11 = 4*f + 5*y. Is f greater than 2/23?
False
Let v be 2/((-60)/8734) - (-4)/30. Is -291 greater than v?
False
Let y be (989/1)/(402/(-150)). Let i = -369 - y. Is i smaller than -1?
False
Let l be -1 + -3 - (-4 + -10 - -4). Is -8 smaller than l?
True
Suppose 0 = -3*u - y - 2141, 0 = 2*u + 3*y + 1146 + 272. Is u bigger than -716?
True
Let i = -60.2 + 68. Let y = -6.8 + i. Which is greater: -1/19 or y?
y
Let p = -1163/9 + 129. Let r = 18554 + -18555. Which is greater: p or r?
p
Let w be (60/16)/(-5) + (-12)/16. Suppose -7*h + 12*h + 15 = 0. Which is bigger: w or h?
w
Let f(n) = -5*n + 35. Let v be f(7). Is 2/13 equal to v?
False
Suppose 6 = -2*w, 2*x - 3*w + 7 - 30 = 0. Suppose -v = -5*g, 58*g + 4*v = 59*g - 19. Is g at most as big as x?
True
Let a be 345232/(-24)*2/(-12). Let s = -2395 + a. Do 2 and s have different values?
True
Let w = -1609.381 - -1609. Is -0.3 less than or equal to w?
False
Let o be (-3)/(5622/(-11240)) + -6. Which is greater: 0.3 or o?
0.3
Let p = -372 + 1487/4. Which is smaller: -58 or p?
-58
Let m = 1.8 + -2.1. Let n = -12.3 - m. Let s = n - -9. Is s <= -0.3?
True
Let a = -110 + 149. Is a smaller than 1?
False
Let t = 33 + -32. Let f be -13*(-7)/14 - 1/t. Which is smaller: 7 or f?
f
Let j = -655.8 - -522.95. Let l = 133 + j. Which is greater: l or 0.1?
l
Let j = 7/138 - 1073/4830. Which is bigger: j or 1?
1
Let p be -3 + 1 + 12714/6162. Which is bigger: 1 or p?
1
Let w = -32 + 33. Let v = 2 - w. Are 3/28 and v non-equal?
True
Suppose -3*m - 2*j - j = -3, 3*m - 1 = -4*j. Let s be (m - -2) + -6 + 3. Suppose x = -x - s*i + 16, -2*x = 5*i - 25. Which is greater: 4 or x?
x
Let x = 11.9 + 1.1. Let b = x + 5. Let j = -4 + b. Which is smaller: j or 0.1?
0.1
Let z = -85 - -81.76. Let n = -3.5 - z. Which is bigger: n or -1/2?
n
Let p = 1.75 + -0.45. Let a = 6.7 + p. Are a and 1/3 equal?
False
Suppose 2*g + 4 = -2*g. Let d be g + 4*(-22)/(-48). Is -1/5 <= d?
True
Let y be ((-33)/12 - -1)*30/105. Let x = 49 + -23. Let j = -37 + x. Which is greater: y or j?
y
Suppose 0 = -61*d + 3936 + 2042. Does 99 = d?
False
Let j = 33 - 2. Suppose j = -4*i - 13. Which is bigger: i or -2?
-2
Let f = -2.3 - 29.7. Let o = 31 + f. Let d = -6 + 4. Which is smaller: d or o?
d
Let o(d) = -3*d + 0*d**3 + 4*d**3 + 3*d - d. Let f be o(1). Let k be (-3)/(f*10/6). Which is bigger: k or 0?
0
Let d be (-7)/((-245)/84) - 2. Which is smaller: 63 or d?
d
Let k = -438.9 + 438. Which is smaller: 2 or k?
k
Let h(s) = s. Let q = 3 + 0. Let m be h(q). Let k = -3 + m. Do k and 2/5 have different values?
True
Let l = 644721 - 8385880/13. Let c = -347 - l. Let a = -3/52 - c. Is a at most as big as 1?
True
Let s = 455 - 459.07. Let p = s - -0.07. Let t = 38 + -188/5. Which is bigger: t or p?
t
Let n = 3 - 1. Let q be n - 12/(0 + -4). Suppose -4*f + q*f = 0. Which is bigger: f or 2?
2
Let j = 2.19 - 2. Let m = j - 13.59. Let a = -13 - m. Which is smaller: 0.1 or a?
0.1
Suppose -4*x - h = 7, 3*h + 12 = 3*x - 2*h. Let p be 27 + 10 - x*2. Is 41 at most p?
False
Let p be 63 + -2 - 59/(472/(-16)). Let g = 58 + 5. Do g and p have the same value?
True
Let j(t) = -6*t**2 + 2*t. Let v be j(-2). Let h = 20 + v. Let f be 29/(-12) - 6/h. Is f < -2?
False
Let j be (8/(-10))/((-6)/(-45)). Let z = j + 11. Let m be -13 + 13 - (-1 + z). Is m greater than or equal to -5?
True
Let w = 0.545 + 5.435. Let s = w - 6. Let m = 0.12 + s. Which is bigger: m or -0.2?
m
Let d = -321 - -308. Is d less than or equal to -15?
False
Let i = 576 - 581. Which is smaller: i or 9?
i
Suppose -4*j - 5*g = -3, 2*g = 4*j - 9 - 1. L