7*b + 28. Let k be c(-23). Which is smaller: 554 or k?
554
Suppose -4*x + 5*x = 2. Suppose 2*n = -2, -q + 0*n - 2*n - x = 0. Is 1/3 less than or equal to q?
False
Suppose 5*x - 8*x = -12. Suppose -4*m + x*f - 32 = 0, -5*m - f - 26 + 4 = 0. Let i be (-16)/40 - (-3)/m. Which is smaller: i or -3?
-3
Let s = -13699 - -13698. Is -230/141 at least as big as s?
False
Suppose 0 = -4*r + 21 - 1. Suppose -3*b - r*m + 4 = -31, -5*b - 4*m + 41 = 0. Suppose -1 = 2*l + u - 4, 0 = -5*l - b*u - 5. Which is smaller: l or -1?
-1
Let a be (1/2)/((-44)/5016). Is -31 at most as big as a?
False
Let c = -25682 - -25683. Is -2/24055 not equal to c?
True
Let v = 0.5457 - -0.2543. Which is smaller: v or -101/7?
-101/7
Suppose -6 = 2*u, p + 2*u = -p - 30. Let h = 6 + p. Let g be (-2)/h - 1 - (-6)/(-18). Which is smaller: g or 2/9?
g
Let i(o) = -o - 3*o + 2*o + 4. Let r be i(0). Let s be 0/((-8)/(-12) + r/3). Is -2/191 less than s?
True
Let p(o) = -o**3 + 5*o**2 + 7*o + 52. Let y be p(7). Is y != 375/97?
True
Suppose -67*l + 18814 - 1012 = 2*l. Do 265 and l have the same value?
False
Let r = 29 - 26. Suppose -w - 4 + 8 = 0. Suppose -r*y + 37 + 3 = -w*m, -31 = 3*m - 2*y. Are -13 and m non-equal?
False
Let t be (-1359)/(-6342)*(0 - (2 - (-116)/(-66))). Is 1/27 smaller than t?
False
Let r(b) be the second derivative of -b**4/12 + b**3/6 + 29*b**2/2 + 16*b. Let f be r(8). Is f > -28?
True
Let k be (3/(-20)*5)/(126/2848). Let z = k - -17. Let j = -59/5 - -12. Is z > j?
False
Let j = 368.7 + -367.7. Is j greater than -26.63?
True
Let t = 19078 + -19077.90324. Are t and 0.1 nonequal?
True
Suppose 23*k + 64 - 41 = 0. Is -5139 bigger than k?
False
Let p be (-142)/(-270) + -1 + (-24)/(-324). Is 10/531 at most p?
False
Let z be (-8)/12 - 92/(-21). Suppose 2*q + 3*q = 4*x - 1265, -2*q + 2*x = 504. Let y = 262 + q. Which is smaller: y or z?
z
Let o = -0.11 - 143.89. Let s = -111 - o. Is 1 at most as big as s?
True
Let v = 174 + -111. Let p = v - 60. Are -29 and p non-equal?
True
Let h = -437 + 150. Let f = 310 + h. Is 45/2 at most as big as f?
True
Let m = 280913/2 + -137708. Let c = -1473199/536 + m. Which is smaller: -1 or c?
-1
Let p = -0.99137 + -0.00863. Let a(m) = -m + 9. Let h be a(9). Is p < h?
True
Let r = 86 + -87. Let v = -1.9 - -2.14. Let j = v - 0.2. Which is bigger: r or j?
j
Let y(g) = g**3 + 3*g**2 + g - 1. Let w be y(-2). Let h be -18 - (-14 - 520/116). Which is bigger: h or w?
w
Let c = 249593 - 146011868/585. Which is smaller: c or 0?
0
Suppose 3*h - 14 = -i + 2*h, -4*i + 3*h + 42 = 0. Suppose u + 9*d - 12*d = -i, -3*d = -5*u - 36. Are -7 and u non-equal?
True
Let t = 9986 + -9662. Suppose -g - g + 646 = 0. Is t bigger than g?
True
Let p = 5.032 + -8.632. Let i be 2/(-7) + 8/14. Is i <= p?
False
Let a be 2 + 11 + (12 - -3614). Does a = 3639?
True
Let g = 1065 - 696. Let b = 363 - g. Which is bigger: -8 or b?
b
Suppose -2*h + 10 = 3*w, 0*h + 12 = 4*w + 2*h. Let g(r) = 0*r - 4*r + 9*r + w*r - 23. Let c be g(6). Which is smaller: 0 or c?
0
Let v(y) = y**3 - 62*y**2 - 194*y - 9. Let p be v(65). Which is greater: -6 or p?
p
Suppose 4*y - d = 2793, -4*d - 1242 - 144 = -2*y. Are y and 698 nonequal?
True
Let l = -18256 - -27183. Is l not equal to 8928?
True
Suppose -3*l + 2433 = 4*m + 744, 2*l + 5*m = 1133. Let d = -28514/51 + l. Is d at least as big as 1?
False
Let l be (-1)/4 + (6 - (-1025)/20). Suppose -1 = q, -29 - 265 = 5*y - q. Let a = y + l. Is a at most -5?
False
Let l be (-36 - -44) + (4 - 902/72). Which is smaller: l or -2?
-2
Let c(l) = 2*l**2 - 6. Let r be c(-2). Suppose -r*n - 1 + 3 = 0. Let x be (-6)/24*(1 - n). Which is bigger: 3/19 or x?
3/19
Suppose 4 = 3*i + 5*l, 2*i - 4*l = 27 + 5. Let h = 7 - i. Suppose 2*m + z = 3, 3*z - 115 = 2*m - 98. Is h greater than m?
False
Let l = 100/37 - -1217/111. Is 1 > l?
False
Suppose -3*t + 99 - 108 = -d, 4*d - t - 3 = 0. Let c be 6*8/(-60)*200/(-108). Which is smaller: d or c?
d
Let p be (-4)/(-14) - 16/154. Let u(g) = -5*g + 30. Let t be u(6). Suppose 5*s - 2*s = t. Is s greater than or equal to p?
False
Let v be (((-1)/(-3))/1)/(1402/(-4206)). Let j be 2*(-15)/86*1. Is v at most j?
True
Let a(i) = -175*i + 564. Let z be a(4). Let v(q) = -5*q**3 + q - 5. Let w be v(3). Which is smaller: z or w?
w
Let z(q) = -2*q**2 + 4*q - 4. Let s be z(3). Let h = 84 + -90. Let x be (0 + (-2)/3)*h/(-14). Is x greater than or equal to s?
True
Suppose -7*c + 883 = 50. Let k be 48/110 + (c/11 - 11). Which is smaller: k or -1?
-1
Let n = -73.0472 - -0.0472. Let h = -73.3 - n. Is -114 > h?
False
Let r = 2 - -3. Suppose -2*x = -3 + r. Suppose 2*l + 6 = 0, -150 = -3*n + l + 96. Which is greater: x or n?
n
Let p = -1.055 + -3.945. Let s = 36 + -34. Which is smaller: p or s?
p
Suppose 0 = 2*g + 4*b - 272, 0*b + 3*b = g - 151. Suppose z = 4*v + 95, 31*z - g = 29*z - 4*v. Is z greater than or equal to 78?
True
Let j(t) = 6*t**2 - 12*t - 18. Let n be j(-1). Which is greater: 53/13 or n?
53/13
Let j = 10930 - 9212. Which is bigger: j or 1717?
j
Let t(s) be the first derivative of 3*s**2/2 + 7. Let y be t(0). Suppose y = d, -2*k + 4*d = d - 76. Is 38 > k?
False
Suppose 4*d - 4 = 12. Let v be ((1 - -4) + -3)/4*16. Let i be 5/25*(139/v + 2). Is d <= i?
False
Let t be 8*10/4*2124/(-15). Let x be (t/10)/(948/810). Let q = x - -242. Which is bigger: q or 1?
1
Let p = -33 - -42. Let c(a) = 13*a - 48. Let u be c(p). Let d = -69 + u. Is 2/109 less than d?
False
Let c(y) = 35*y - 71. Let t be c(2). Which is bigger: -14/297 or t?
-14/297
Let z be ((-1)/12)/((-295370)/131400 - (-54)/24). Is z at most as big as -40?
False
Let k = 0.0107 + -0.1009. Let v = 0.1902 + k. Which is greater: v or -1/67?
v
Let q = -3/5731 - -5812/154737. Is q at most 1/71?
False
Suppose 44*p - 34 = 27*p. Are p and 75/89 equal?
False
Let l(x) = -x**2 + 10*x + 43. Let w be l(13). Suppose t + 18 = -3*b, t + 20 + 1 = -w*b. Which is smaller: -1 or t?
t
Let c(b) = -4*b**2 - b**3 - 5913*b + 21*b**2 + 19 + 5896*b + 0*b**3. Let j be c(16). Suppose -j*t - 64 = t. Which is smaller: t or -13?
t
Suppose 3*t + 2*t = -4*h + 460, -3*t + 269 = h. Suppose 8*f - 267 = 5*f. Which is smaller: t or f?
t
Let n be 2/4 + 1611/(-3294). Let h = -22234 + 66704/3. Is n greater than h?
False
Let l = 17.814 + -145.214. Which is smaller: l or -4/5?
l
Let u = 115 + -44. Suppose 3*w + z + 43 = 0, -4*z + 5*z = -5*w - u. Let p be (-8)/20 + 6/15 - 2. Is w at most as big as p?
True
Let x = 387/7 - 53. Let b = x - 62/21. Do -46 and b have the same value?
False
Let k be (-155 + 200)/(3/(-4)). Which is greater: k or -367/6?
k
Let h(v) = -6*v**3 + 3*v**2 - 5*v + 2. Let p be h(2). Let w = -61 - p. Let s = -17 + -1. Is s at least as big as w?
False
Let g = 112/831 - -3479173/1662. Which is smaller: g or 2094?
g
Let a(h) = h - 3. Let n be a(3). Suppose 209 = -8*g - 31. Let j be (-21)/g*30/(-70). Is n greater than j?
True
Let g(w) = -13*w - 4. Let b(q) = 13*q + 5. Let h(o) = 5*b(o) + 6*g(o). Let f be h(-2). Suppose 27*k - 24*k - 2*m - 104 = 0, 3*m = 5*k - 170. Is k < f?
False
Let i = -1157 + 1157.8. Is -0.436 greater than or equal to i?
False
Let k(d) = -196*d**3 - 3*d**2 - 24*d - 43. Let v be k(-2). Suppose v = 34*t - 27*t. Which is greater: t or 224?
224
Suppose -11*b - 115 = -16*b. Suppose 10*o + b - 13 = 0. Which is smaller: -2/13 or o?
o
Let t = -886 - -879. Let f be t - 19383/(-1939) - 3. Is 0 less than f?
False
Let n = -2263 + 2262.994. Let w = -3 - -3. Is n >= w?
False
Let w = 17/23137717 + 246647920539/194194858781. Let u = w + 2/763. Which is greater: u or 2?
2
Let m(q) = -q**3 - 12*q**2 - q - 10. Let h be m(-12). Suppose 3*z - 2*l - 492 + 140 = 0, 0 = -l - h. Is z greater than 116?
False
Let f be (3/2)/(11 - 425293/38732). Which is smaller: f or 77?
f
Let u be (-8 + 6)/(6/(-15))*156/(-10). Is u less than or equal to -83?
False
Let g = -4069 - -3524. Which is bigger: -544 or g?
-544
Let q = -2 + 5. Suppose 3*l + q*x = -21 + 51, 2*l + 3*x - 17 = 0. Let o(c) = -4*c**3 - 6*c**2 - 15*c - 25. Let p be o(-2). Is p less than l?
False
Let h(c) = 132*c - 626. Let x be h(5). Which is bigger: 296/9 or x?
x
Let c = -1664 + 21644/13. Suppose -5*g = -3*n - 74, 4*n + g = -16 - 75. Let z be n/115 - (-6)/10. Do c and z have the same value?
False
Let p(s) = 2*s**2 - 5*s + 10. Let w be p(6). Let v = 45 - w. Let b be (-32)/12*(2 + 1). 