828 < a?
True
Let u(n) = -4*n**2 + 23*n - 17. Let j be u(12). Let f = -175198 - -4212361/24. Let h = j + f. Are 1 and h nonequal?
True
Let q(o) = o**2 + 7*o**2 + 1 - 4*o + 7*o. Let x be q(-3). Let g = x - 63. Is 2 less than g?
False
Let b = 3311 + -3325.1. Which is greater: b or -8/5?
-8/5
Let p = 73/1746 + -6443/286344. Is p >= 0?
True
Suppose -3*t - 462 = 66. Let n = -97 - t. Is 77 at most as big as n?
True
Let v(k) = 4*k**2 - 53*k + 64. Let q be v(14). Is q bigger than 104?
True
Let w = 23.8 + -19.5. Let a = w + -4.4. Is -8/127 less than a?
False
Let h(w) be the first derivative of -14*w + 10 - 5*w**2 + 15*w**2 - 11*w**2. Let b be h(-6). Which is greater: b or -13?
b
Suppose 0 = -v - 6 - 3. Let g be (1/3)/(-1)*276/112. Let o = -631/84 + g. Which is smaller: o or v?
v
Let n = -49 - -195/4. Let d = -88 - -88. Suppose 5*f - 4*p - 136 = -16, d = f - p - 25. Which is bigger: n or f?
f
Suppose 0 = -2*f + l - 117, 46*f - 41*f = 2*l - 290. Let t be 2*7/f*(-12)/9. Which is smaller: t or -3/2?
-3/2
Let n be (4/10 + 17/595)*-13. Let v = -155 + 155.2. Which is smaller: v or n?
n
Suppose -5*c + 3*q - 2638 = 0, 26*c = 29*c - 3*q + 1578. Which is greater: c or -2649/5?
-2649/5
Let c = -7727 + 7725. Which is greater: c or 2/3999?
2/3999
Suppose 3*h - 5*p = 1353, 5*h + 5*p = 2739 - 404. Which is smaller: 3236/7 or h?
h
Let k(d) be the first derivative of -d**4/4 - 4*d**3/3 + d**2/2 - 3*d - 4. Let t be k(-6). Suppose 4*a - 45 - t = 0. Are 26 and a nonequal?
True
Suppose 3*j = -5*q + 32, 2*j - 10*q - 28 = -15*q. Suppose 0 = 2*m - 8, -141*f = -139*f + j*m - 14. Is -3/128 smaller than f?
False
Let u(s) be the second derivative of s**4/12 + 11*s**3/6 + 37*s**2/2 + 49*s + 1. Let g be u(-15). Is g at least as big as 98?
False
Let g(b) = -7*b - 171. Suppose -f + 3*s - 3 = 6, 8 = -4*s. Let p be g(f). Which is greater: 3 or p?
3
Let p(l) = -l**2 + 15*l + 50. Let a(q) = -q**3 - 12*q**2 - 11*q + 18. Let z be a(-11). Let k be p(z). Let h be -11*(-2 - (k + 3)). Are h and 11 unequal?
False
Suppose 26*f + 4 = 30. Let r be f/7 + 92/140. Is r greater than or equal to 2?
False
Let t = -1.156 - 185.044. Which is smaller: t or 1/3?
t
Let i be (8/153)/((-136)/(-1020)). Is -2 smaller than i?
True
Let x = -2.3 + 2.4. Let d = -4.6 + x. Let b = d + 4.8. Which is smaller: b or -2?
-2
Let y = 0.42 + -0.439. Suppose 2*z + 2 + 8 = -2*i, 6*i + 3*z = -15. Is y >= i?
False
Let j(q) = 2*q**2 + 39*q + 12. Let m be j(-12). Let t = m - -131. Suppose -4*h - 120 = -5*a, -4*h + 2*a - 124 = -2*a. Is t at least h?
False
Let d = -1522.026 + -12.974. Is -4 smaller than d?
False
Let o be ((-216)/(-20))/(3/10). Let d be (-1210)/4257 - (-8)/o. Are d and 1 non-equal?
True
Suppose 32 = n + 5*v, 13*n = 8*n + 4*v + 44. Let z(a) = a**3 - 10*a**2 - 14*a - 46. Let b be z(n). Is b equal to 74?
True
Let n(f) = -f**2 - 51*f + 341. Let c be n(-57). Let l = 154 + -5243/34. Is c > l?
False
Let c be 4/((-16)/3) - -1. Let o = -55.602 + 21.602. Are c and o non-equal?
True
Suppose 31*f = -217*f + 37972 - 7468. Is f bigger than 153?
False
Let n(b) = -b**3 + 4*b**2 - b - 3. Let j be n(3). Suppose s + 9 = m, 0 = -2*m + m - j*s + 1. Suppose -32 = -6*w + 2*w. Which is greater: w or m?
w
Suppose -70*s - 6132 = -134*s - 155*s. Which is bigger: s or 46?
46
Let g = 0.024 + -10.424. Let h = g + 10.4. Let y = 10.1 + 0.9. Which is greater: y or h?
y
Let q = -5026 + 7201. Are q and 2175 unequal?
False
Let l = -0.03 - 0. Let v be ((-4)/(-8))/((-7)/(-679)). Let z = -49 + v. Is z less than or equal to l?
True
Let n = 105 + -99. Suppose -9*r - 51 = -3*u - n*r, -r + 3 = 0. Which is smaller: 27 or u?
u
Suppose c - 53 = 3*v + 6, -c = 3*v + 49. Let l(g) = -55*g - 71. Let p be l(v). Let a = 11941/13 - p. Which is bigger: a or 0?
0
Suppose 0 = 4*s - 2 - 2. Let q = -726 + 724. Let t be (q/5)/(4508/(-245)). Do s and t have the same value?
False
Let z be -17 + ((-5168)/(-289) - 1). Is 1841 less than or equal to z?
False
Let v(g) = -83*g + 260. Let u be v(3). Let y be (4/(-6) - -1)*(-1 - -4). Which is smaller: u or y?
y
Let z(h) = -1 - 6 + 71*h - 70*h. Let i be z(3). Let a = -29 - i. Which is bigger: -24 or a?
-24
Let q = 229 + -223. Suppose 0 = 5*m - q*m + 19. Are m and 17 equal?
False
Let k(f) = -f**3 + 13*f**2 - f + 15. Let x be k(13). Suppose x*n - 52 = -58. Let b be 2 + (-8)/(-12)*n. Which is greater: 2/189 or b?
2/189
Let n = -0.1429 + 10.1429. Which is smaller: n or -615?
-615
Let j be (-30)/75 - (2 + (-8204)/110). Which is bigger: j or 73?
73
Let j be -2796*36/(-24) - 4. Which is smaller: 4191 or j?
j
Let p = -64 - -255/4. Let c(t) = t - t**2 - 2*t + 0*t + 5*t. Let u be c(4). Is p at least u?
False
Let a = 426/7 + -26419/434. Suppose 6*p - p = -20. Let j be -2 + 2/p*-4. Is j < a?
False
Let m = -21 + 22. Let r(t) = -8*t - 6. Let y be r(-2). Let h be 82/44 + (-5)/y. Are m and h equal?
False
Let d(k) = -39*k - 15. Let a be d(-1). Suppose -a + 23 = y. Which is bigger: -4/147 or y?
-4/147
Let p = -13777 - -13778. Which is bigger: 25/609 or p?
p
Let d = 298 + -280. Suppose -18*x = 4*x + d*x. Which is bigger: x or 2/829?
2/829
Let z(r) = 4*r**3 + 5*r**2 - 3*r + 3. Let m be z(3). Suppose 299*c - 295*c - 12 = 0. Suppose -6*k = -c*k + m. Which is greater: -50 or k?
k
Let o = -0.15 + -9.85. Let b = o + 9.9. Let z = 10.46 - 10.79. Is b at least as big as z?
True
Suppose -5*i - 4*f = 290, 0 = 4*i - 8*i + 4*f - 232. Which is smaller: i or -1/22?
i
Suppose 2*l + 178 = -3*c, 3*l + 6*c + 248 = 11*c. Which is bigger: -77 or l?
-77
Let m = -23429/25 + 3598391/3850. Let a = -17/22 + m. Is a at least as big as -2?
False
Suppose -5*u + y + 1086 = 0, -8*y + 11*y = 3*u - 654. Let c be u/(-279) + 4/(-18). Which is bigger: c or -477?
c
Let b = -1085 - -427. Is b smaller than 0?
True
Let k be (-41)/3*1*(-774)/(-43). Let u(d) = d**2 - 37*d + 96. Let n be u(18). Do n and k have different values?
False
Let f = -281 + -21. Let k = -300 - f. Is k smaller than 9/4?
True
Let y = 229446 + -229939. Suppose -7*k = 3*f - 2*k + 1451, 5*f - 2*k + 2470 = 0. Is f <= y?
False
Suppose 0 = -5*a + 10*a + 10. Let c be ((-24)/16)/(a/(-20)). Let p = -15 - c. Is -2/47 smaller than p?
True
Suppose -j = 3*j. Let g = -95629/54325425 + 2/94479. Do j and g have the same value?
False
Let r = -308 - -416. Let o be -1 - ((-136)/r - 10/(-45)). Which is bigger: 1 or o?
1
Suppose -4*b = 2*l - 94, b - 7 = -5. Which is greater: 31 or l?
l
Let n(z) = 2*z**2 + 15*z - 4. Suppose o = -11*o - 96. Let y be n(o). Let p(s) = s - 2. Let q be p(3). Which is bigger: y or q?
y
Suppose -5*w + 8138 = -6*s - 27842, -3*s = 4*w - 28784. Is 7194 greater than w?
False
Let q = -196 + 195. Let p be 4 + -2 - q/184*-366. Let b(k) = k**3 - 4*k**2 + 3*k - 1. Let g be b(3). Which is smaller: g or p?
g
Suppose 3*a + 3*u = 0, -3*u - 2*u = -25. Let s = 3283 - 3283.06. Which is bigger: a or s?
s
Let r be 5/((-75)/(-5))*(-1296)/(-2448). Suppose -3*h = -h - 4. Suppose h*a - a = -3. Which is smaller: r or a?
a
Let c = -96 + 94.57. Let x = c + 1.14. Is x less than or equal to -1?
False
Let n = 1.6 + -1.7. Let i = 23.5 - 9.2. Let r = -15.7 + i. Are r and n equal?
False
Suppose -6*v + 10 = -2. Suppose -v*t - 2*t + r = 4, -5*t + 8 = 2*r. Suppose 0 = -6*m - t*m - 48. Do -13/2 and m have different values?
True
Let c(g) = 2*g**3 + 14*g**2 - 3*g + 7. Let t be c(-7). Let p = t - 31. Is -1 not equal to p?
True
Suppose 12*h - 2080 = -20*h. Let r = 333/5 - h. Is r equal to 3?
False
Let b be (-62)/(-30)*3 + -1. Let i(k) = -154*k - 26. Let g be i(2). Let n = g + 338. Which is greater: b or n?
b
Let b be -20 + (5 - 68/17). Is -443/23 >= b?
False
Let a = 2602.6 - 2602. Is -2/15 != a?
True
Suppose -56*m + 58*m + 1680 = 0. Let z = -13467/16 - m. Which is smaller: -3 or z?
-3
Suppose 3*l = -2*a - 10, -347*l - 14 = -342*l + 2*a. Which is bigger: l or -8/19?
-8/19
Suppose -2*m + 0*m + 6 = 0. Let l be m*((-20)/(-6) - 5/(-10)). Let v = 23 + -11. Which is bigger: l or v?
v
Let f = 364465/139 + -2622. Which is greater: f or 0?
f
Let w(q) = 316*q - 41. Let a be w(2). Which is bigger: a or 594?
594
Let q be (666/24)/(2/(-9) + (-44)/288). Is -70 less than q?
False
Let z be (-1911)/1288 + (-9)/(-6). Let i = z + -95/184. Do -6/13 and i have different values?
True
Let k = -174 - -117. Let i be k/(-6)*(-5)/(-20). Which is smaller: 3 or i?
i
Suppose 0 = -5*w +