: -0.07 or x?
x
Let q be (-8)/((-14)/(-6) + -2). Let b = 5497 - 5520. Is b less than or equal to q?
False
Let n be 9/(-4) - (-19)/76. Let d be (n + (-40)/(-3))/(6/9). Does d = 2/5?
False
Let n = -0.928 + -0.032. Let x = -0.04 + n. Which is bigger: -0.2 or x?
-0.2
Suppose 10*d = 490 - 130. Which is smaller: d or 37?
d
Let l be (1783 + -13)/15 + (-4)/(-2). Are 119 and l nonequal?
True
Let a = 656 - 657. Is -1/866 > a?
True
Let q = -270136 - -2968385/11. Let x = q + 283. Suppose 5*d - 17 = -0*f + 2*f, 1 = 5*f + 2*d. Is x greater than f?
True
Let s be (-9)/12 - (-1 - 555/(-2300)). Let c(u) = u**2 - 4*u - 22. Let n be c(7). Which is bigger: s or n?
s
Let x be (-8)/(-5) + 27/(-45). Let h be 2/8 - x/2. Is h <= -1?
False
Let v = 0 - 54. Let o = v - -54. Which is greater: 1/18 or o?
1/18
Let u be ((-3)/4)/(5 + 152/(-32)). Is -4 less than or equal to u?
True
Let t(w) = w**3 + 14*w**2 - 19*w - 23. Let c be t(-15). Is c at most as big as 186/5?
True
Let r(f) = f**3 + 2*f**2 + 9*f + 37. Let q be r(-3). Which is greater: -3/200 or q?
q
Let z(a) = a**3 + 10*a**2 + 22*a + 6. Suppose -4*k = -l + 24, 41 + 2 = -5*k - 2*l. Let s be z(k). Let n = -5/14 + -13/14. Is n smaller than s?
True
Let x = -0.41 - -0.13. Let n = x - 13.72. Which is greater: 0.1 or n?
0.1
Suppose -30 = -3*c + 15. Suppose -v + c = -4*v, -4*r = 4*v + 20. Are r and 12 equal?
False
Let x = 11 + -8. Let m = x + -31. Let u = m + 22. Is -5 at most as big as u?
False
Suppose 23*y + 4950 = y. Do -225 and y have different values?
False
Suppose t = 2*u - 7, -4*u - t = 4 - 3. Suppose 5*r + 0 - 3 = -4*j, -5*j + 12 = -2*r. Suppose 6 = j*k + 8. Is k <= u?
True
Let j be ((-3 - -6) + -7)/(-3 + 2). Let i be -5*(j/(-25))/((-4)/240). Which is smaller: -46 or i?
i
Suppose 10*t + 49 = 169. Suppose 33 = 2*k + k. Suppose -2*w = -4*s + t, k = 4*s - 5*w - 1. Is s <= 8/5?
False
Let p(i) = 8*i - 208. Let d be p(26). Which is greater: 77 or d?
77
Suppose 4*s - 5*s - 26 = 0. Let f(b) = -6*b + 40. Let q be f(11). Is q > s?
False
Let o = 1614 + -1609. Which is greater: -17 or o?
o
Let k = 106 - 78. Suppose k = -3*z + 19. Which is smaller: -42/13 or z?
-42/13
Suppose 65*g = 10*g + 110. Which is bigger: 302 or g?
302
Suppose -3*f + f - 4*r + 192 = 0, -3*r - 164 = -2*f. Let o = f + -103. Is o at least -16?
True
Suppose -87 = -5*n - 82. Which is bigger: 98 or n?
98
Let u be 4/18 - 215/(-45). Let d = -5 + u. Suppose -5*s + 3*t - 1 = -6, 4*s + 2*t + 18 = d. Which is bigger: 1 or s?
1
Let q be ((-4)/5)/((-41097)/(-5890) - 7). Which is smaller: 35 or q?
35
Let i = 2/35 + 3/35. Suppose -5*y + 7 + 47 = -2*o, 0 = -o - 2. Suppose -3 = -d, 10*s - 5*d = 5*s - y. Which is smaller: i or s?
i
Let g = 0.01 - -2.99. Let q = g + -6. Suppose 0 = -6*d - 2*d + 16. Which is bigger: q or d?
d
Let w be 3/(-12) - 0 - (-823)/12. Let h = -69 + w. Let x = -0.09 - -0.39. Which is smaller: x or h?
h
Let f(j) = j**2 + 7*j + 9. Let s be f(-7). Suppose 5*u = -5*d + 7 + 38, 4*d = -4. Is s at most as big as u?
True
Let q = 0.112 - 27.112. Let v = -27.2 - q. Let y be (-1)/(-3)*(-4)/14. Is y equal to v?
False
Let h be (6/(-20))/(3/(-4)). Let k = 0.04 + -0.07. Which is smaller: h or k?
k
Let p = -4691676/481 + 9754. Which is bigger: -1 or p?
p
Let m = -3429358381/282 + 12160875. Let p = m + -89/3. Is -1 less than p?
True
Suppose -270 = 78*f - 36. Which is greater: -51 or f?
f
Suppose 0 = -5*u - 2*g - 561, -u - 79 - 38 = 2*g. Is u less than -108?
True
Let j = 69.9 + -74.9. Is -48 > j?
False
Let o be (5 + -4)/((-4)/(-4)). Let n be o/(3 + -4 + 0). Is 1 greater than n?
True
Let b be (1/(-2))/(21/(-378)). Suppose i + b = 25. Which is smaller: 14 or i?
14
Let b = 0.1008 + -2.1008. Which is smaller: b or 313?
b
Let q = -5 - -5.4. Let l = -3.6 - q. Let j = 34 + -37. Which is greater: l or j?
j
Let y be -4*(-1 + -1) - 2. Let n = y + 9. Suppose -3*h = l + h + n, 21 = l - 5*h. Which is bigger: 2/9 or l?
l
Let v = 1773 - 1743. Is 0.3 > v?
False
Let o = -119.709 + -0.291. Let m = 110 + o. Which is smaller: m or 1?
m
Suppose 0 = 4*n + 5*w + 12, -3*n - 6 = -n - 3*w. Let i be (n - -1) + (-180)/(-105). Which is smaller: i or -1?
-1
Let d = -11323/37 - -306. Which is bigger: -1 or d?
d
Let i = -169.4 + -97.6. Is -1/2 < i?
False
Let m(t) = -t**2 - 8*t + 11. Suppose -z = 0, -5*z - 22 = -3*i + 2. Let f be ((-18)/i)/((-1)/(-4)). Let x be m(f). Is 2 less than x?
False
Let x = -306.9 + 307. Let h = 33.19 + -33. Let t = h + -0.38. Which is smaller: t or x?
t
Let y = 179224/39 + -4596. Which is bigger: -1 or y?
y
Suppose -2*u + 166 = -58. Is 2/5 <= u?
True
Let r = 32 + -29. Which is smaller: 19 or r?
r
Suppose -k = -5*d - 4, 3*k = -d + 7*k - 16. Which is smaller: 632 or d?
d
Suppose -4*x + 10 = -2*v - 0*x, 5*v + 3*x - 27 = 0. Suppose v*g + 19 = -8. Is 3 at most g?
False
Let o = -55 - -163. Suppose o = -i + 2*m, 6*i = 7*i - 3*m + 111. Which is smaller: -103 or i?
-103
Suppose 9 = 4*f - f. Suppose -c + 4 = v - 2*v, -f*c + 12 = 4*v. Suppose s - 4*i - 18 + 39 = 0, 2*s + 4*i - 18 = 0. Which is bigger: v or s?
v
Let c = 2 + 0. Suppose -d - 4 = -3*o - 3, -c*o + 2*d = -2. Are 1 and o unequal?
True
Suppose -y + 508 = 4*t - 8*t, 3*t = -5*y - 358. Is -629/5 equal to t?
False
Let l be ((-3)/7)/(1 - 11/(-22)). Which is smaller: 3 or l?
l
Suppose 6*l + 7 = 13*l. Is 1/851 equal to l?
False
Let x = 0.2633 + -0.1333. Does -73 = x?
False
Let x = -38 - -40. Let r(g) = -4*g + 7. Let f be r(x). Is f at most 6/19?
True
Suppose -k = k. Let h be (-1)/(-4) + 83490/(-4104). Let a = h - -178/9. Which is greater: k or a?
k
Let k be -3 - 1215/6 - 8/(-16). Which is bigger: k or -204?
-204
Let p = -54874/357 + 1076/7. Let q(l) = -4*l**3 - 29*l**2 - 16*l - 63. Let n be q(-7). Which is smaller: p or n?
n
Let h = -9.8 + 9.72. Let a be 1/2 - (-9)/(-10). Are h and a equal?
False
Let t be -1*(-2 + 4)*-1. Suppose f + 5 = -5*h, -4*h + 0 = t*f + 4. Is -0.2 equal to f?
False
Let t = -78 - -111. Let j = 30 - t. Let b be ((-2)/j)/((-24)/342). Are -10 and b nonequal?
True
Let f be ((-90)/32)/((-18)/(-264)). Let u = 26557/644 + f. Which is smaller: 1 or u?
u
Let b be (-4)/14 + (-508)/(-14). Let u = -30 + b. Suppose 9*y - u*y + 6 = 0. Which is greater: -3 or y?
y
Let a(n) = -n + 33. Let q be a(14). Suppose 18*z - q*z = 0. Is z bigger than -1/4?
True
Suppose 0 = 5*d + g + 89, 5*d + 3*g + 3 = -94. Which is smaller: -18 or d?
-18
Let u be 0 + 1 + 278/(-280). Which is bigger: u or -1?
u
Let z(k) = -4*k**3 + 3*k**2 + 5*k - 5. Let c be z(3). Let r = c + 356/5. Is r at most 2.2?
True
Suppose 24 = -3*h - h. Let z be ((-1)/(-2))/(h/(-36)). Let s = z + -5. Is s >= -4?
True
Let a be 1 + ((-44)/4 - -1). Let u = a + 19. Let y be (3/(-6))/((-1)/u). Which is smaller: 4 or y?
4
Let j be 1/(-3) - (-10)/3. Suppose g + j = 0, -q - 2*g - 18 = 2*g. Let m be (-8 - q/(-2)) + -1. Is m bigger than -12?
False
Let f(b) = -3*b**2 - 4*b - 3. Suppose 4*v - 11 = 1. Suppose -2 = -v*z + 4*z. Let o be f(z). Is -5 >= o?
True
Suppose 17*h - 31 = 71. Suppose h*u - 18 = -24. Does u = -24/19?
False
Let y(a) = a**3 + 9*a**2 + 13*a + 17. Let b be y(-7). Let d be -2 + 3 - (-2 + 0). Let q = 26 - d. Which is bigger: q or b?
b
Let f = -5 - -3. Let w = -54 - -53.72. Let c = 0.27 + w. Which is greater: c or f?
c
Let n = 193801/27 - 7177. Let f = 7/27 - n. Is -1 bigger than f?
False
Let z be 2/(-4)*2 + -1. Suppose 42 = 76*w + 118. Is w greater than z?
True
Let k be 13/6 - (-4)/(-13 - -5). Is 0.137 at most k?
True
Let d be 1*5*(-7 - -9). Is d bigger than 5?
True
Let r(i) = -i**2 - 15*i - 55. Let j be r(-7). Let n = 24/25 - 4/25. Is n > j?
False
Let q(v) = -45*v - 238. Let w be q(-5). Is w <= -82/7?
True
Let w = -251 - -198. Which is smaller: -48 or w?
w
Let t be -1 - -2*(-98)/(-432). Let f = -8/27 - t. Which is smaller: 1/3 or f?
f
Let c = -89.02 - -90. Let v = 7.02 + -7. Let k = v + c. Which is smaller: k or 1/3?
1/3
Let i(f) be the first derivative of f**4/4 - f**3 + 3*f**2/2 - 4*f + 17. Let t be i(2). Which is greater: 1 or t?
1
Let m = 1 - -1. Let h = 110 - 38. Let b = -72.1 + h. Which is greater: b or m?
m
Let w(j) = 6*j - 5. Suppose 3*u - u - 4 = 0. Let v be w(u). Suppose 6 = -4*q + 3*z + 25, -2*q + v = -z. Which is bigger: q or -1/16?
q
Let g = 153 - 227. Let q(c) = c + 7. Let x be q(-5). Let a be x + g/10 + 3. Which is smaller: a or -2?
a
Let a = 18 + -16. Suppose 4*g 