False
Suppose 47*x - 54 = -7. Is x at least as big as -3/97?
True
Let s = -85 + 81.2. Is s < -0.2?
True
Let q = -365 + 847. Is q smaller than 482?
False
Let j = -5 + 5. Let w be (-26)/(-5)*40/112. Let c = 2 - w. Does j = c?
False
Let p(c) = 4 - 10*c - 11 + 1 + c**2. Let h be p(11). Which is smaller: h or 3?
3
Let j = 240 + -179. Is j < 2/3?
False
Let n(j) = -j**3 + 42*j**2 - 39*j - 83. Let y be n(41). Which is smaller: y or -2/819?
y
Let c = -87 + 71. Let h be ((-34)/6)/(1/3). Is h at most as big as c?
True
Suppose 0 = -w - 3*r - 6 - 3, 0 = -4*w - 3*r. Suppose -w + 171 = 4*h. Is h < 42?
False
Suppose d - 102 - 185 = 3*a, 2*d - 283 = 3*a. Let l = 678/7 + a. Suppose 6*q - 2*q = -8. Is q bigger than l?
False
Let b = 39 - 368. Which is smaller: 1/4 or b?
b
Let k = 12235034/646215 - 2/43081. Let s be 212/12 - (-15)/9. Let t = s - k. Which is smaller: t or 2/11?
2/11
Let b be ((-1)/4)/(91/780). Which is smaller: b or -1?
b
Let u = -217 + 260. Is u bigger than 0?
True
Let w = -184853/148 + 1249. Let u = w + -5767/740. Let o = -151/20 - u. Which is bigger: -1 or o?
o
Let k be (-606)/(-42) - (-4)/7. Let d be -2 + (-2 - (-3813)/k). Let w = 251 - d. Is w < 2?
True
Suppose 2*b - g = 47, -4*g + 4 - 3 = b. Let l = 229 + -347. Let v = l - -140. Is b bigger than v?
False
Let f = -18 - 20. Let t = -344/9 - f. Which is smaller: t or -0.67?
-0.67
Let s = -118/11 - -1726/165. Which is smaller: 3 or s?
s
Suppose -3*l - 4 = -1. Let a = 723 + -42655/59. Is l less than or equal to a?
True
Let d(f) = -f + 4. Let o be d(0). Is o < 52/15?
False
Let h = 194081/160 - 1213. Which is greater: -1 or h?
h
Let w(n) be the second derivative of -n**4/12 + 5*n**3/3 + 7*n**2/2 + 4*n. Let f be w(11). Let c be 1*(-3 - f)/1. Which is smaller: -3/22 or c?
-3/22
Suppose -15*v + 14 - 29 = 0. Which is bigger: v or 2/455?
2/455
Let f = 776 + -350. Which is smaller: f or 425?
425
Let h = -2.9 + 3.36. Let c = h - 0.36. Let w = 15 + -89/6. Is w at least c?
True
Let w = 119/4 - 30. Let d = -21.2 - -15.7. Which is bigger: d or w?
w
Suppose -4*c + 2*q - 4 = 0, 3*c + 0 = -q + 7. Is c at least -21?
True
Let z = -5670/19 + 298. Which is smaller: 1 or z?
z
Let q = 20 - 19. Let b = 0.12 + 4.88. Let a = b - 5.4. Is a less than q?
True
Let h = 7 - 14. Let n(q) = q**2 + 6*q + 8. Let c be n(h). Let d be 10/(-3) + 5/c. Is d smaller than -2?
True
Let u = 169.1 + 28.9. Which is smaller: -0.2 or u?
-0.2
Let s(r) = -r - 3. Let z be s(-8). Suppose -z*w - 11 = 34. Let v = -11 - w. Is v at least -2?
True
Let o(j) = -j**3 - j - 6. Let y be o(0). Let g be (-15)/9*(0 + -3). Suppose -t = -u - 3, g*u - 2*t + 31 = -5*t. Does u = y?
False
Let f(i) = -i**3 + 38*i**2 - 124*i + 88. Let o be f(35). Which is smaller: -1 or o?
o
Suppose 11*n = 6*n - 10. Let q = -6 - n. Let r(w) = -w - 4. Let s be r(q). Which is smaller: s or 0.1?
s
Let p = 1299/2 + -650. Which is smaller: 56 or p?
p
Let s(t) = 0*t + 2*t**2 - 2*t**3 - 2 + 5 - 2*t + 5*t**3. Let x be s(2). Is x bigger than 30?
True
Let c = -22.9 - -23. Let p be (-178)/56 + 3 + 1/4. Is c less than p?
False
Let k be (-133 + 1/1)/((-273)/(-182)). Which is smaller: -606/7 or k?
k
Let z be ((-7)/1)/((-18)/(-36)). Let f be (-5)/(-4) - (-4)/(-16). Are z and f equal?
False
Let a = -0.0011 + 3.3311. Let y = 3.5 - a. Let z = -0.07 + y. Is z smaller than -2?
False
Let d be (-2 - -1)*-4 - 1. Suppose d*h = -5*t + 12, -12 = -4*t - 8*h + 5*h. Suppose -3*c + j = 2*c, c - 3*j = 0. Is c equal to t?
True
Let s = 0 + 2. Let x = 21 - 18. Which is bigger: s or x?
x
Let f(v) = 3*v**2 - 12*v + 3. Let j be f(4). Suppose j*o = -o - 8. Suppose 0*i = 3*i. Which is smaller: o or i?
o
Let i = 537/5 - 107. Suppose -201*n = 86 + 115. Which is greater: i or n?
i
Suppose -z = -2*h + 6 - 3, -z + 1 = 0. Suppose 5*t + 0*r + 210 = -h*r, t = -r - 45. Let k be 2/5 + (-24)/t. Does k = -2/7?
False
Suppose 29 = -5*y - 31. Let l = 25 + y. Let g = l + -4. Is 1 at least as big as g?
False
Let u(m) = m**3 - 4*m**2 - 4*m - 2. Suppose 0 = -4*i + 5*r + 22 + 8, 0 = -i + r + 7. Let j be u(i). Let x = 5 - 2. Is x at most j?
True
Let b be 20/189 + 22/(-154). Is b >= 1?
False
Let v be 15*1*3/(-33). Let r = -17/77 - v. Which is smaller: 0 or r?
0
Let z be 86/11 - (48/(-22) - -2). Let a(k) = k**2 - 2*k - 5. Let m be a(4). Let x be -3*(-1)/(m/z). Is 8 less than x?
False
Suppose 7*s + 29 = 2*s + 2*l, 4*l = -s - 19. Which is bigger: s or -39/5?
s
Let h be 9 + 1 + 0/((-18)/(-6)). Let x be ((-5)/h)/((-12)/(-8)). Do 28 and x have the same value?
False
Let k be 153/2 - (-6)/4. Let g = 78 - k. Let r(c) = c**3 + 5*c**2 - 6*c. Let p be r(-6). Is g smaller than p?
False
Let s = -145 + 146. Which is smaller: 2/275 or s?
2/275
Let q = -0.5 - -0.32. Let f = -0.09 - q. Let n = 0.49 - f. Is n at least 1/4?
True
Let f be ((-1263)/(-9))/(3/9). Let h be f*2*(-2)/4. Let m = -11369/27 - h. Is 0 less than or equal to m?
False
Let k = -8.1 + -0.9. Let g = 12 + k. Let u = -0.3 - -0.1. Is g less than u?
False
Let s = -11 + -56. Which is greater: s or -65?
-65
Let v be (-3 + 3 + 0)/(-3). Let z be 4*(v + 1 - 2). Which is greater: z or 4?
4
Let y(a) = a**3 + 12*a**2 - 13*a + 3. Let h be y(-13). Suppose 0*i = -h*i. Suppose 0 = 2*u + d + 1, 4*u + u = -4*d - 1. Which is bigger: i or u?
i
Let d(s) = -s - 5. Let u be d(-5). Let w be (-2)/(-4) + 300/(-24). Let t be (w/(-24))/((-22)/24). Does u = t?
False
Let r(g) = -15*g - 1063. Let p be r(-74). Which is greater: p or 25?
p
Let u(w) = 5*w + 21. Let a be ((-1)/3)/(11/363). Let r be u(a). Is -33 greater than or equal to r?
True
Let p = 0.06 - 0.17. Let u = -28.11 + 28. Let r = u - p. Which is bigger: -6 or r?
r
Suppose -8*u = -6*u - 40. Let x = -16 + u. Suppose -x*a - a + 21 = -4*g, 0 = 5*a + 4*g + 11. Which is smaller: 1.5 or a?
a
Let f be (68/(-6))/((-154)/(-28)). Let t = 8/11 + f. Let i(w) = -w**2 - 2*w + 1. Let j be i(-3). Which is smaller: j or t?
j
Suppose -3*y - 2*s + 19 = 0, -4*s = 5*y + s - 40. Let a be 3 - 1 - 91/42. Is a at least as big as y?
False
Suppose -5*o = 2 - 7. Let c = 2/55 - -3/1430. Is c equal to o?
False
Let g(f) = -38*f + 115. Let i be g(9). Which is bigger: -225 or i?
-225
Suppose -b = 4, -1 - 5 = l + 4*b. Suppose 5 = 5*z - l*z. Let u be (9/(-2))/(1 - -1). Is u < z?
True
Suppose 4*b + 20 = 4*x, 2*b = 2*x - 3*b - 22. Let o be (14/(-6) + x)*(-351)/78. Is 16/3 not equal to o?
True
Let i = 1273 + -1274. Which is greater: 9/83 or i?
9/83
Let o(b) = 38*b**3 + 2*b**2 + 2*b + 1. Let r = -36 + 35. Let j be o(r). Let i = 25 + j. Which is bigger: -14 or i?
i
Let f be (925/180)/5 + 10/45. Let t(i) = -i**2. Let j be t(0). Which is bigger: j or f?
f
Let z be (-5)/45*(2 + -1). Let j = 5/9 - z. Is j greater than 0?
True
Let b = 26.24 + 2.37. Let q = b - 0.61. Is 2 greater than q?
False
Let x(s) = 4*s**2 - 73*s + 20. Let n be x(18). Let z = -0.32 - -0.21. Let u = z - -0.08. Which is smaller: n or u?
u
Let p(y) = y**3 + 5*y**2 - y - 5. Let m be p(-5). Suppose -a - 1 = -m. Let u = -207 + 819/4. Is a < u?
False
Let y = -474 - -374. Let n(s) = -4*s**2 + 7*s - 7. Let x be n(-4). Which is smaller: y or x?
y
Let x = 0.04 - -0.01. Let r = 1.95 + x. Let m = 21.5 + -22.5. Is r greater than m?
True
Suppose -8*r + 100 - 36 = 0. Let d be 0*(-3 + 28/r). Let u be (4/(-42))/((-20)/6). Which is greater: d or u?
u
Let g be (-161)/21 - 1/3. Which is bigger: -15/2 or g?
-15/2
Let c = 0.26 - -0.14. Let p = c + 0. Let j = -1 + 1. Is j at most p?
True
Let s be (-2 - -1) + -2 + 1. Let a(v) = v**2 - 496*v + 3897. Let q be a(8). Is q <= s?
True
Suppose 23 = 4*n - 3*s, -5 = 3*s - 2. Suppose 2*o = -4*c - 18, -n*o - 5 = -4*c + 6*c. Suppose -3*p = -p + 2. Is c at most as big as p?
True
Let n(t) = 2*t + 1. Let v be n(1). Suppose -v*w - 72 + 21 = 0. Is -15 at least as big as w?
True
Suppose -2*f + 0*f = -4. Let p be (2 - -6 - 6) + -1 + 4. Suppose p*v = -3*c + 4, 4*c = -2*v - 3 - 1. Is f smaller than v?
False
Let i be 1/(-4) - (4 + 95/(-20)). Is i greater than or equal to 316?
False
Let z(c) = 34*c - 4. Let p be z(7). Let h(g) = -g**2 + 4*g - 4. Let v be h(6). Let a be 140/p + v/104. Which is greater: 1 or a?
1
Let r = -8 - -21. Suppose r*p - 135 = 372. Which is bigger: 38 or p?
p
Let b(z) = z**2. Let v = -7 + 4. Let g(i) = -4*i**2 - 6*i - 5. Let h(n) = v*b(n) - g(n). Let c be h(-5). Are 1/6 and c equal?
False
Suppose 0*r + 13 = r + 4*z,