 o + 4*u, 3*u + 30 = 5*o - 2*u. Suppose -2*t - o = -2*g - 20, 5*g + 25 = 0. Let r be ((3 - -3) + 1)/t. Is 8 > r?
True
Let t = 975 - 938. Which is greater: t or 36?
t
Let i(s) = 23*s**3 - 3*s**2 + 7*s - 5. Let o be i(1). Is 19 at most as big as o?
True
Let s(y) = 18*y - 109. Let x be s(6). Is x greater than 2/153?
False
Let a = -27373/6 + 4550. Is a less than -13?
False
Let v = -0.75 - 1.25. Is v at least as big as 0.008?
False
Let j = 1.15 + 67.85. Let k = j + -68.957. Is 2/5 at most as big as k?
False
Let g(a) = -a**3 + 23*a**2 - 66*a - 46. Let n be g(19). Which is smaller: 147 or n?
n
Let n = -12 + 18. Let x = -1 - 1. Are x and n equal?
False
Let q = 17 - 18. Let c(m) = m. Let v be c(q). Let g be ((-2)/3)/((-25)/(-15)). Are v and g unequal?
True
Let r = -2213.09 + 2213. Let f(c) be the first derivative of c**2/2 + 1. Let l be f(1). Is r >= l?
False
Let g be 3/(-9) - 8/3. Let m(y) = -3 + 6*y - 2 + y**2 - 4 + 6. Let x be m(g). Do -13 and x have the same value?
False
Let c(w) = w**3 - 8*w**2 + 8*w - 7. Let u be c(7). Suppose -x - 3 + 7 = u. Let v(d) = d + 10. Let y be v(-7). Is x >= y?
True
Let d be ((-6)/(-8))/(5/120). Let v be 4/(-3)*d/64. Is v not equal to 0?
True
Suppose -13 = n - 3*r - 1, 2*n - 5*r + 20 = 0. Suppose 2*l - 390 = -5*k - 2*l, 0 = 4*l. Let f be -2*3/k*6. Which is smaller: f or n?
f
Let a be 3 - (-30)/(-4)*2/3. Let p(g) = -g**3 - 4*g**2 - 6*g - 4. Let j be p(a). Let x = -1/3 - -17/33. Which is bigger: j or x?
x
Suppose -30 = 3*w + 2*w. Let r = w - -12. Let x = -2 + 7. Which is greater: r or x?
r
Let d be 73/4*(8 - (-3 - -7)). Is 72 smaller than d?
True
Let w(z) be the first derivative of z**4/4 + 2*z**3 - 7*z**2/2 + 5*z + 1. Let n be w(-7). Suppose -n*x + 20 = 95. Is -15 bigger than x?
False
Let q = -0.3 + 0.32. Let u = 0.08 + q. Let z = -5 + 2. Is z < u?
True
Let q(l) = -l**3 + 9*l**2 - 21*l + 9. Let r be q(6). Which is bigger: r or -13?
r
Let p = 86/9 - 38/9. Which is smaller: 4 or p?
4
Let p = -175 - -144. Is p at most as big as -0.2?
True
Let r = -88.5 - -88.7. Which is smaller: 440 or r?
r
Suppose 13*s - 5*s - 168 = 0. Are s and 1 non-equal?
True
Let w be 9/(-2)*(-755)/(-10). Is -340 < w?
True
Let o = 0.2 + -16.2. Let h = -12 - o. Let b = 5 - 5.2. Which is smaller: b or h?
b
Let p be 513/(-12)*4/1. Let q be 2603/p + (-2)/(-9). Is -15 greater than or equal to q?
True
Suppose 0 = -2*x - 0*w + 2*w - 64, -2*x + w = 65. Is x smaller than -33?
False
Let i = -29 - -189. Let p be (1/(-2))/((-16)/i). Suppose p*n = 5*z - 40, 2*z = 7*z + 5. Is -10 at most as big as n?
True
Let g(n) = 3 + 0 + 3*n + 0. Let y be g(-3). Let o be 6/8 - (-110)/(-40). Which is smaller: o or y?
y
Let v be (96/(-72))/(12/(-15)). Let u be 0/2 + (0 - 0). Suppose 3*l + l - 7 = -3*i, -i - 3*l + 4 = u. Is v > i?
True
Let l = -3.217 + 0.117. Which is bigger: l or 5?
5
Let f = 1 + -2. Let t be (5/(-22))/((-10)/(-40)). Is f at most as big as t?
True
Suppose 4*p = 3*b - 44, b - 2*p + 6*p = -12. Suppose -b*r + 3*r = -25. Suppose r*t - t = -4. Which is smaller: 1 or t?
t
Suppose x + 3*x + 15 = -5*q, -13 = 2*q + 3*x. Which is smaller: -152 or q?
-152
Let n = 111.1 + -13.1. Let y = -98.5 + n. Is -2/7 <= y?
False
Let z(b) = 31*b - 1. Let k be z(1). Suppose 32*g - k*g = 0. Is -3 greater than or equal to g?
False
Suppose 6*a - 139 + 49 = 0. Let c = a - 26. Let r(j) = -2*j - 19. Let s be r(c). Are s and 3 equal?
True
Let z = 0 - 0. Let r be 1*(1 + z)*7. Let u = 14 + r. Are 22 and u equal?
False
Let m(a) = 104*a**2 + 30*a - 31. Let b be m(1). Is b bigger than 205/2?
True
Let t be 18/12 + 66/4. Suppose 4*s + 2*q - 28 = 0, -s + t = s + 2*q. Is 0 < s?
True
Let p = 2 + -0.5. Let d = -231 - -230.8. Which is bigger: d or p?
p
Let z = -4.5 + 109.5. Is z > -1/2?
True
Let x = -292 + 293. Which is smaller: x or 2/3?
2/3
Suppose -20 = 4*p, -j - 5*p + p - 51 = 0. Which is smaller: j or -29?
j
Let a = -230/3 + 232/3. Let i be (1*3)/(3/(-3)). Let k be 1 + 0*i/(-9). Is a not equal to k?
True
Let o = -18/19 + 269/304. Let p = -147 + 147. Which is smaller: p or o?
o
Let f = -68 - -74. Let g be (-39)/(-70) - (4 + (-21)/f). Is 0 less than or equal to g?
True
Suppose 0 = -5*i - 5*k, 2*k + 2*k = -4. Let m be (-5*(-8)/210)/(12/14). Which is smaller: i or m?
m
Let b = -2/3661 + -33470/3661. Let h = b + 797/91. Are -1 and h unequal?
True
Let m = 0.287 + -0.187. Which is greater: 12/29 or m?
12/29
Suppose 0 = 21*g - 28 + 322. Which is smaller: -15 or g?
-15
Suppose -1165 - 6149 = -53*h. Is h smaller than 415/3?
True
Let p(w) = w**3 + 7*w**2 + 6*w - 2. Let x be p(-6). Suppose -f - f = -5*y + 12, 2*f = 4*y - 14. Let t(i) = -3*i - 34. Let l be t(f). Which is smaller: x or l?
x
Let g be -12*((-438)/(-9))/(2/3). Let v = g + 20152/23. Which is bigger: 1 or v?
1
Let a be (6/7)/((-500)/560). Let x = -5/981 - 26689/24525. Let c = a - x. Is 0 > c?
False
Let b = 7205/9 - 801. Let i = -32 - -29.9. Let c = 2 + i. Do b and c have different values?
True
Suppose 0 = -2*k + 5*k + 264. Let p = 87 + k. Is 1/5 less than or equal to p?
False
Suppose -2*k + 3 = 5. Let z be -6 - -1 - 13464/(-2652). Which is smaller: z or k?
k
Suppose -8*q + 329 = 977. Is q less than -81?
False
Suppose -4*g + 22*g = 2880. Which is smaller: g or 159?
159
Suppose 0*h - 1 = -h. Let q be ((-64)/666)/((-110)/(-2310)) + (-2)/(-1). Is q equal to h?
False
Let m = -24.902 + -0.098. Let f = 66 + m. Is 2/3 < f?
True
Let t = 563 - 534. Is 59/2 at most t?
False
Let y(u) = 33*u**3 - 3*u**2 + 2*u + 2. Let d be y(1). Is d at most as big as 32?
False
Let m = 3.8 + -25.8. Let i = 22.1 + m. Is i smaller than 11?
True
Let t(d) = 9*d**3 - d**2 - d + 1. Let z be t(1). Suppose 4*v + z = -16. Is -9/2 > v?
True
Let g = -18 + 23. Let o(a) = -3*a - 6. Let y be o(g). Let w be 15/y + (-2)/7. Which is bigger: -2 or w?
w
Let w = 1128 + -1127. Is w <= -4/907?
False
Let g be (-1422)/(-12)*1/(-3). Let u = g - -39. Is u at least 2.4?
False
Let j be (-16)/(-48) + 1*3/(-9). Which is bigger: 2/653 or j?
2/653
Suppose 6*z - 8*z - 20 = -2*v, 2*z = -10. Is 71 greater than or equal to v?
True
Let h(x) = -5*x**2 + 37*x + 73. Let d(g) = -3*g**2 + 25*g + 49. Let u(q) = 8*d(q) - 5*h(q). Let w = 106 - 119. Let y be u(w). Is y greater than -2/19?
True
Let u be (-1 - 2 - -3) + (-24)/(-4). Let j be (-45)/u*((-27)/15 + 2). Let g = -110/9 - -12. Is g less than or equal to j?
False
Let w be (3/(-2) + 3)*2. Suppose 4*n + w = 11. Is 5/7 smaller than n?
True
Let g(f) = f**2 + f - 1. Let n be g(-5). Let v be 22/1 + (-236)/59. Is v bigger than n?
False
Let w = -15 - -17. Let g = 377 + -423. Is g at most as big as w?
True
Let f be ((-35)/(-15))/(2709/54). Is f greater than or equal to 13?
False
Suppose 3*t + 12 = 5*c, 3*c + 0*t - 13 = -4*t. Suppose 5 = 3*r - 1. Suppose -b + r*b - 2 = 0. Which is smaller: c or b?
b
Let r = 551 - 372. Is r smaller than 179?
False
Let p(v) = v**3 - 6*v**2 - 8*v + 9. Let m be p(7). Let w be (-8)/9 + -1 - (m + -4). Which is bigger: -2 or w?
w
Let o(p) = 100*p**2 + 4*p + 4. Let y be o(-1). Let h = y - 521/5. Which is greater: -3 or h?
-3
Let g(k) = -3*k - 7. Let c be g(-10). Suppose 0 = -2*x + c + 15. Which is smaller: 18 or x?
18
Let l = -41 + -2. Let d = l + 42. Is d < 1/11?
True
Let n = 2089 - 85629/41. Is 1 at most n?
False
Let g = 61 - 56. Let m be (-2)/(-5) + (g + -4 - -1). Which is smaller: m or 2?
2
Let t(i) = -i**3 - i**2 + 80. Let g be t(0). Suppose 13*s - g = 5*s. Which is smaller: s or 68/7?
68/7
Let c(y) = -y**2 - 20*y + 22. Suppose -h - 88 = 3*h. Let w be c(h). Suppose -x - 2*x = 69. Which is greater: w or x?
w
Let v = 134 + -164. Which is smaller: 0.4 or v?
v
Suppose -3*o - 290 = -5*x, 2*o - 66 = -2*x + 34. Is x at most 55?
True
Suppose v - 3*j + 37 = -5*j, -4*v + 3*j = 192. Do -46 and v have the same value?
False
Let u be ((6 - 4)/6)/((-1)/(-1)). Let a = -6 - -8. Which is smaller: u or a?
u
Let p be -8 + (-4 - 0/1). Which is smaller: -11 or p?
p
Let v = -221 - -246. Which is smaller: v or 23?
23
Let m = 385 - 338. Which is bigger: 53 or m?
53
Let t(j) = -100*j + 55. Let h be t(1). Is h less than or equal to 4?
True
Let m = -10.57 + 10.77. Does m = 217?
False
Suppose 0 = 6*q - 3*q - 15. Suppose 5*o = -n + 67 + 136, -194 = -q*o + 2*n. Do o and 39 have the same value?
False
Let l = -676 - -712.6. Does l = -2?
False
Let g be -6*3/(-6) + (-12)/(-4). Let h(