+ 33 = -4*b + 4*m, b + 5*m + 27 = 0. Let w be -9*b/(-1530) - 3/(-5). Is w != 2?
True
Suppose g = -3*y - 112, -4*y - 144 = 5*g + 9. Let m = -54 - y. Let q = m - -18. Which is smaller: -1/7 or q?
-1/7
Let d = -0.059 + -2.741. Which is smaller: d or -1/2?
d
Suppose -5*x = 133*o - 136*o - 137, 3*x + 27 = -o. Which is smaller: o or -26?
o
Let n = -46.491 - -4.271. Let y = n - -42. Which is bigger: 0.1 or y?
0.1
Let w be (6 - 11) + (-1 - -6). Let o be 36*(-4)/((-32)/(-3)). Let s = -13 - o. Which is greater: w or s?
s
Let q be -3 + 0 - (-14 + -1). Let i be 0/2 - 18/q. Which is smaller: -0.1 or i?
i
Let b(m) = 2*m**3 - 12*m**2 - 2*m - 41. Let y be b(7). Which is bigger: y or 44?
44
Let v = 1.23 - 0.23. Let s be (-7014)/52*5/(-90). Let o = s - -1/156. Which is smaller: v or o?
v
Suppose 1 - 5 = -2*i. Let v = 4 - i. Let a be v/1 + 1 + -12. Is -9 less than or equal to a?
True
Suppose -34*b = 5*b + 1911. Which is smaller: b or 4/5?
b
Let p(f) = 2*f + 6. Let k be p(-4). Suppose 4*w = -4*n, -5*w + w = 3*n + 4. Is w at least k?
False
Let j be 1/2 - (-14541)/(-27552). Let c = -1/2624 + -57/18368. Let q = j + c. Which is greater: 1 or q?
1
Let v(k) = -5*k + 44. Let q be v(7). Let r be ((-3)/q)/((-4)/(-24)). Which is greater: -24/7 or r?
r
Let z(p) = p**3 - 15*p**2 + 34*p + 24. Let g be z(12). Let m = -193/33 - -17/3. Is g at least as big as m?
True
Let k = -19 + -24. Let q = k - -43.2. Which is smaller: -1/11 or q?
-1/11
Suppose l - 1 = j - 18, -2*j + 43 = l. Suppose 0 = f + b + 5, -4*b = -5*f + j. Which is greater: -3/7 or f?
f
Suppose -4*g - 5*n + 11 = 0, 0 = 2*g - 4*n + 10 + 4. Suppose -3*k = k + 20. Let d be ((-3)/k)/(7/35). Which is greater: d or g?
d
Let q be 6/(-20) + 802/(-60) + 2. Is -12 smaller than q?
True
Let v = -2394 - -2376.21. Let f = v - 0.21. Do f and 0 have the same value?
False
Suppose -87*b + 5 = -92*b + 5*l, -5*l + 11 = b. Let t = -34/245 + -3/49. Which is smaller: t or b?
t
Let f = -815 - -810.93. Which is greater: -1 or f?
-1
Let z(o) = o**3. Let f be z(0). Let p be f/((-8)/(-20)*5). Let m = -67/48 - -1/16. Is m at least p?
False
Let f = -43.9 + -17.1. Let w = f + 31. Which is smaller: w or 0?
w
Let w = 6 - 2. Let c = w - 8. Let m = -3 + 2. Which is bigger: c or m?
m
Let q(d) = -2*d + 4. Suppose 4*w - 18 - 6 = 0. Let i be q(w). Are -8 and i non-equal?
False
Let k = -23 - -27. Suppose 2*r + k = r. Is r greater than or equal to -3?
False
Let l = 673 + -664. Which is greater: -6 or l?
l
Let f = 51967/2145 + -1354/39. Let l = f + 47/5. Which is greater: l or -2?
l
Suppose -6*g + 8*g - 4*o = -28, -3*o - 24 = 3*g. Which is bigger: g or -12?
g
Let s be (-190)/114 + 2/13. Is s bigger than -3?
True
Let k = -4 - -4.1. Let o = -3013 - -2950. Which is bigger: k or o?
k
Let t be 5/6 - (-3436)/24. Do 143 and t have different values?
True
Let m = 6 + -31. Let p = 30 + m. Which is smaller: p or 2?
2
Let l be (1 - (0 + (-2 - 46))) + 2. Which is greater: 50 or l?
l
Let h(n) = n**2 - 16*n + 31. Let c be h(14). Suppose 0*f - 5*f = 3*u - 10, 0 = -3*f - c. Let j be ((-42)/9)/((-20)/18). Which is greater: u or j?
u
Let j be -4 + -1 + 2 + 3. Suppose j*g - 36 = 4*g. Let m = g + 10. Is m greater than or equal to 2/9?
True
Let a = -1.9647 - 0.0353. Let n = -6.74 + 7. Is n != a?
True
Let u be (-708)/(-90) + -8 - (-34)/30. Are u and 14/13 unequal?
True
Let w be 1974/(-33) - (-2)/(-55)*5. Let l be 12/w - (-4)/(-5). Which is smaller: 2/65 or l?
l
Let j be 1 + (-820)/(-602) + (-9)/(-21). Which is smaller: 4 or j?
j
Let v(b) = -44*b**3 - 2*b**2 + b + 2. Let l be v(-1). Let t = -43 + l. Is t smaller than 5?
True
Let u be 2/(-6) - (-1)/3. Suppose 5*j = -u*j + 210. Let y = j + -127/3. Do 0 and y have different values?
True
Let d be 736/(-86) + (11 - 3). Is -1 at least d?
False
Let q = -421 - -441.3. Let v = q - 1.3. Are v and -2 equal?
False
Let w be (-1 - 430)*(-3)/(-9). Let t = w - -1307/9. Is t >= 3?
False
Suppose -t - 20 = 4*t - 4*k, 4*t = 4*k - 20. Is t >= -2/7?
True
Let b = -7 + 11. Suppose -5*d - 7*y + 16 = -b*y, -2 = d - 2*y. Which is smaller: d or -18?
-18
Let d be 2 + (34034/(-63))/(-17). Which is bigger: d or 34?
34
Let u = 18 + 17. Let v = 2.174 - 0.174. Which is greater: v or u?
u
Let g = 27 + -27. Let f be 30/20 + g + -1. Let b be (-4)/14*49/63. Which is bigger: b or f?
f
Let p(k) = -38*k - 342. Let i be p(-8). Let c be ((-37)/3)/((-3)/(-9)). Is c less than i?
False
Let l = 0.1 + -0.2. Let r = -9.6 - -52.6. Let k = -37 + r. Is k < l?
False
Suppose -2*z = 4*k + 438, k + 4*z = 3*z - 109. Let m be (k/(-30))/(1/(-3)). Let p = m - -8. Is 1 < p?
False
Suppose 0 = -35*r + 32*r + 147. Let x be (-2)/1 - 1*-51. Is r equal to x?
True
Let d(b) = b + 4. Let j be d(0). Let q(w) = w**3 - 3*w**2 - 2*w - 5. Let z be q(j). Suppose 0 = -2*t + 3*t + z. Is t not equal to -3?
False
Let j be (-182)/(-13)*2/7. Suppose -11 = -v - 3*r, -j*v - 2*r + 3 = -11. Let a be 1/v + 3/(-6). Which is greater: a or -6/13?
a
Let j = -78/7 - -305/28. Let m = -2 + 3. Is j bigger than m?
False
Let k(p) = -5*p + 7. Let w be k(2). Let u be 47/2 - w/6. Let m be 1 + (351/u)/(-9). Which is smaller: 1 or m?
m
Let z(s) be the first derivative of -s**4/4 + s**3 - s**2 - 1. Let p(o) = -o**3 - 21*o**2 + 47*o + 26. Let a be p(-23). Let g be z(a). Is g at most -3?
True
Suppose -6*f + 7*f = 0. Let b be -1 + f + 0 + 0. Which is smaller: b or 4?
b
Let v be ((-7 - -3) + -12)/((-1)/2). Suppose 331 - v = -13*s. Which is smaller: s or -24?
-24
Suppose 2*w - 70 = -12*w. Suppose -2*l - 104 = -5*h - l, 5*l - 80 = -w*h. Is h bigger than 19?
True
Let r(z) = z - 14. Let u be r(14). Suppose -4*l + 0*l + 20 = u. Suppose 5*t + 2*k + l + 11 = 0, 2*k + 10 = -2*t. Is t < 6?
True
Suppose -2*g + 153 = 5*a, -5*a - 55 = -4*g + 206. Which is greater: g or 65?
g
Suppose -8 = -4*a, 2*a = 7*k - 5*k - 14. Let j be 17 + -4 + 0 + k. Is 20 smaller than j?
True
Let s = -1.399 + -0.231. Is s bigger than -1?
False
Let r = -0.276 - 16.724. Let w = -15.17 + -1.73. Let l = w - r. Which is greater: l or -1?
l
Suppose -2*f = 2*y - 872, 3*f - 1290 = y + 34. Let t be 2368/f + (-2)/10. Let k = -719/143 + t. Is k > 1?
False
Suppose -276 + 64 = -2*x. Suppose 4*s + 3*k = 7 + x, -58 = -2*s - 2*k. Is 27 at least as big as s?
True
Let n = 631 + -206. Is 425 at most n?
True
Let o = -543/5 + 109. Which is smaller: 48 or o?
o
Let y = 3583/11 + -326. Is -1.7 >= y?
False
Suppose 8 = -2*v + 6. Let y = v + -2. Is y at least as big as -7?
True
Let t = -1139 - -1170. Is 121/4 greater than t?
False
Let c = 595 + -595. Which is smaller: -9/4 or c?
-9/4
Let n(t) = 3*t**2 + 5*t - 19. Let a be n(-6). Let h = a - 49. Is 14 at most as big as h?
False
Let v be (-1)/(1 + 24/(-21)). Let w be (-54)/135*(0 + 15/(-2)). Which is smaller: v or w?
w
Let n = -3 - -4. Let r = -36.19 + 36. Let c = -0.17 - r. Which is greater: n or c?
n
Let u be -1 + 41 + 7 + -5. Suppose -u*t = -46*t. Is t != -6/37?
True
Suppose -2 = 5*w - w + 2*b, -6 = 3*w - 3*b. Suppose 7*a - 4*g = 6*a - 5, 4*a + 4*g + 40 = 0. Which is greater: a or w?
w
Let w be (-984)/(-36) - 2/(-3). Suppose 4*z + 12 = 0, 69 = 3*i - 0*i + 5*z. Is i at least w?
True
Let u = -43.6 + 42.6. Let p = 0.07 + -3.07. Let y = -2.8 - p. Is u at least y?
False
Let u = -63 + 66. Suppose -5*p + 7 = -u. Is 2 >= p?
True
Let d = 208 - 4783/23. Suppose -s = -4*k + k - 6, -5*k = 0. Suppose -h + 5 = s. Is d at least h?
True
Let a = -85 - -110. Is a at least as big as -1/7?
True
Let m be (-12)/30*-80 + -4. Is 33 != m?
True
Suppose -5*d = 5*c - 5, -5*c + 3*d = -2 - 3. Let p = c - -1. Suppose -4*u = -u - 2*w - 9, p*w - 21 = -3*u. Is u equal to 6?
False
Suppose 8*c = 43 + 45. Is 16 greater than c?
True
Let c be (0 + 10)*(-4)/8. Let l(g) be the second derivative of -g**4/12 - 4*g**3/3 - 2*g**2 - 12*g. Let r be l(c). Which is greater: 10 or r?
r
Let f(w) = w**2 + 28*w - 17. Let n be f(-29). Suppose -16 = -n*a + 4*a. Which is smaller: a or 30/11?
a
Let z = -0.023 - 65.977. Let p = z - -65.91. Is 2 smaller than p?
False
Let k(q) = 17*q + 101. Let g be k(-6). Which is bigger: 6/127 or g?
6/127
Let k be ((-1)/126*-9)/((-3)/(-12)). Let w(m) = -m - 2. Let q be w(-2). Is k >= q?
True
Let n = 333 + -333. Which is greater: n or -2/2653?
n
Let w be 6114/(-21) - 120/140. Which is greater: -291 or w?
-291
Suppose 0 = -109*z + 105*z + 24. Which is bigger: z or 56/9?
