Let b = 7669/682 + -350/31. Which is bigger: 6/11 or b?
6/11
Suppose -28 - 10 = 5*z + 2*w, 3*w - 6 = 3*z. Let p(m) = 8*m + 36. Let d be p(z). Let b = -36 - -25. Is b less than or equal to d?
False
Let a = -3 + 4. Let s be 0 + 4/1 + 4 + -1324. Let n = s + 85542/65. Are a and n equal?
False
Let v(o) = 3*o**3 + o**2 + o - 1. Let f be v(1). Let d = -1826 - -1826. Suppose -r = -d*r - f*r. Which is greater: r or 1/96?
1/96
Let j(g) = 10*g + 95. Let o be j(0). Suppose 5*u + 195 = -o. Let p = -57 - u. Which is greater: -3/20 or p?
p
Suppose -29*b + 24*b + 110 = 0. Suppose 31 = b*c - 35. Let z(m) = -m**2 - 14*m - 14. Let w be z(-12). Which is smaller: w or c?
c
Suppose -46*i = -26*i - 26*i - 3210. Which is smaller: i or -515?
i
Suppose 0*b + 3*b - 5*t - 233 = 0, -3*t = b - 101. Let g be 102 - (-7 + (-7 - -26)). Is b not equal to g?
True
Let x be (-1 + 1 - -1)/(254/(-4)). Do -90 and x have the same value?
False
Suppose -10*v = 37 - 7. Let u be -1001*(-3)/(-501) - -3 - v. Which is bigger: u or -1?
u
Suppose -4*g - b - 197 = 0, 3*g - 23 = 4*g - 5*b. Let c = g - -28. Let f be c/8 - 2/(4/1). Is f not equal to -16?
True
Let g = 3403 - 3404. Which is bigger: g or 8/383?
8/383
Suppose -420*l - 418*l + 837*l + 1 = 0. Is l > 6/3085?
True
Suppose -10*j + 12771 = -1699. Let w = j - 366088/253. Does 1 = w?
False
Suppose -x + 6*f - 3*f = 10, -5*f + 6 = x. Let z be (-6)/x - (-2 - 15/(-2)). Let p be 6*(6/z + -3). Is p at least as big as 0.2?
False
Let n be 13/(-65) - ((-32)/190)/4. Let g = n - 10/57. Which is greater: 3 or g?
3
Suppose 0 = -631*a + 642*a + 66. Which is bigger: a or -9?
a
Let q be 6/(-9)*(-12)/(-8). Let a = 8298 + -24490/3. Let r = a - 57778/429. Which is greater: r or q?
r
Let b(m) = -5*m + 35. Let y be b(7). Suppose -s - 49 + 53 = y. Let u be ((-58)/s)/((-18)/36). Which is greater: 27 or u?
u
Let u = -2/10801 + 75615/43204. Which is bigger: u or 1?
u
Let x = -0.013 + -11.987. Is -98 < x?
True
Let x be 48/(-9)*522/(-920460). Is 1 at least x?
True
Suppose -18*f - 4 = -3*q - 17*f, -4*q = -5*f - 20. Is -2/6445 >= q?
False
Let v(u) = 5*u**3 + 4*u**2 + 2*u - 1. Let t be v(-1). Let s be (3/(90/t))/(15390/(-675)). Is s equal to -1?
False
Suppose -202*l = 12*l + 31*l - 490. Are l and 106/125 non-equal?
True
Suppose -a - 153 = 2*a. Let u be 12 + (-2197)/35 - (-42)/(-98). Is a at least u?
True
Let t be 50/(-6110)*(-224)/(-80). Which is bigger: 0 or t?
0
Let z = 34 + -33.46. Let a = z - 0.34. Let k = 161/894 - 2/149. Which is bigger: k or a?
a
Let m = 98.542 - 99. Let b = m + 0.282. Is b equal to -1/2?
False
Let s = -2 + 2. Let d(v) = 5*v**3 + 63*v**2 - 192*v**2 + 64*v**2 + 66*v**2 - v - 4*v**3. Let w be d(s). Which is greater: -2/21 or w?
w
Let d = -117 + 110. Let i = -5 - -12. Let v = d + i. Which is bigger: 2/37 or v?
2/37
Let f be (-3)/4 + (-10)/(520/(-39)). Let v = 5410 - 7092511/1311. Which is smaller: f or v?
v
Let x = 70435/53 + -1329. Let w(r) = r**2 - 28*r - 27. Let g be w(29). Let k be (6 - (5 + g))*-1. Is k greater than or equal to x?
True
Let g(w) be the second derivative of 20*w**3/3 - 14*w**2 + w - 22. Let c be g(-6). Is -267 >= c?
True
Let a be 19 - 34/((-680)/300). Suppose -3*q = -3*p + 120, -5*p - 2*q = -0*p - 179. Which is smaller: a or p?
a
Let a = -1925/51 + 653/17. Suppose 5 = -5*q + 3*l, 0 = 5*q + 5*l - l + 5. Let r be -1 - 46/(q + 0). Is r bigger than a?
True
Let b = 14903 - 14902.9382. Which is smaller: b or 4?
b
Let x(y) = y - 10. Let n be x(10). Suppose n = l - 0*l - q - 5, -4*q - 13 = 3*l. Let f = 4/287 - -2551/2296. Which is bigger: f or l?
f
Let i(q) = q**3 + 6*q**2 + 10*q - 17. Let y be i(6). Let j = y + -2343/5. Which is bigger: j or 6?
j
Let g = -14187 - -14225. Which is greater: g or -15?
g
Let u be 2 + 3/(51/(-35)). Let o(a) be the first derivative of -a**2/2 + 7*a + 26. Let z be o(7). Which is bigger: z or u?
z
Let k = 51617.9 + -51616.9. Let s be 158/66 - 1/(-3). Is s at least k?
True
Let q(d) = -d**3 - 10*d**2 - 17*d - 58. Let o be q(-9). Let f = o - 2. Which is smaller: f or 15?
f
Suppose -7*o = -o - 240. Suppose 0 = 5*j + 10 - o. Let y be (2 + -1)*(-3)/j. Are -2 and y nonequal?
True
Let z = 218 - 120. Suppose z = 3*q + 4*q. Let o = q - 13. Is 2 bigger than o?
True
Let s be 6/13 + (-1602)/3471. Let x be 2/9 + 254/(-252). Which is smaller: x or s?
x
Let h = -15619/1144 + 109/8. Suppose 30*c - 31*c = 1. Which is bigger: c or h?
h
Let z = 4624 - 4671.65. Is z equal to -2?
False
Let m(a) = a**2 + 6*a + 3. Let l be m(-6). Suppose -l*j + 2*n = 5*n - 3, 4*j - 2 = -3*n. Suppose 26*r = 19*r - 14. Is j bigger than r?
True
Suppose 8*h + 0*h = 0. Let l be (-1)/1*22/396. Which is smaller: l or h?
l
Suppose 20*s - 15*s + 180 = 0. Let k be (-4)/78*(-81)/s. Suppose 4*x - 6 = 2*w, 0 = -w - 2*x + 6*x - 5. Is k < w?
False
Let a be (-6 - 1) + (6 - 3). Let s be -3 + (46/(-11) - 10/(-55)). Let n = a + s. Is n at least 0?
False
Let w = 4140/180089 + -2/1979. Suppose u + 2 = 1. Which is greater: w or u?
w
Let t(o) = -o**3 - 29*o**2 - 76*o + 11. Let g be t(-26). Suppose l = -y + 33 + 15, -3*y + 2*l = -169. Let u = g + y. Are u and 12 unequal?
False
Let h(t) = 3 - 4 + 40*t + 71*t - 2*t. Let a be h(-1). Let c = 106 + a. Is 7 not equal to c?
True
Let s be (639/(-142))/(-1*3/(-4)). Let d be ((-58)/(-8))/(6/(-4)). Which is smaller: s or d?
s
Let q = 0.00014 - 7.63014. Which is smaller: q or 2/7?
q
Let w(u) = -3*u + 4. Let f be w(0). Suppose 0 = -16*b + f*b. Which is smaller: -2/9 or b?
-2/9
Let u = 20578 - 4506596/219. Which is smaller: u or -1?
-1
Let g = -40 - -38. Suppose -q + 5*z = -18, z + 21 = 5*q - z. Suppose -q*n + 5 = -16. Is g != n?
True
Let w(u) = 191*u**3 + u**2 - 142*u + 141. Let y be w(1). Is 202 <= y?
False
Suppose 7*a = -141 - 132. Let q = 41 + a. Let j be ((-3)/6)/(q*3/(-24)). Which is smaller: j or 7/12?
7/12
Let p(b) = -2*b - 2. Let j be p(-2). Suppose -j*k - k = 9, -m - 5*k - 22 = 0. Suppose 3*g - 18 = -87*f + 92*f, -4*g - 4 = -2*f. Which is smaller: f or m?
m
Let o = 2.48 - 9.68. Let a = -5.71 - o. Which is greater: a or 0.1?
a
Let v = 50848 + -34061. Is v smaller than 16787?
False
Let h be 10762/(-78) + 5 + -7. Let z = 90 - 230. Let c = z - h. Is c equal to -1?
False
Let y = 462.9514 + 0.0486. Let g = y - 456. Which is smaller: g or 1/10?
1/10
Let q = 19367 - 19399.3. Which is smaller: -6/13 or q?
q
Let w(k) be the third derivative of k**5/60 - 5*k**4/8 + 13*k**3/6 - 70*k**2 - 1. Let d be w(14). Is d at least as big as -2/1639?
False
Let o = 8516 + -8650. Is o smaller than -16?
True
Let n = 1.99 - 2.7. Let y = n - 22.69. Let b = y + 23. Which is smaller: b or -0.06?
b
Suppose -9*o + 13*o = -4. Let w(p) = p**2 + 6*p + 10. Let c be w(-3). Let g be (-28)/26 - (4 - 5)*c. Is o at most as big as g?
True
Suppose -4*m + 2*o = 14, -4*m - 6 - 38 = 4*o. Let h be (m - -6) + -1 + -417. Let x be h/55 + (-3)/(-5). Which is smaller: x or -9?
-9
Suppose -5*w + 8 = 3*w. Suppose -2*p = g + w, -2*p - 2 - 2 = 2*g. Let a be -11 + (4 - (g + 4)). Which is smaller: -6 or a?
a
Let a be (0 - -3) + 0/(-19 + 6) + -707. Which is greater: a or 0?
0
Let m(k) = 4*k + 13. Let n = 62 - 56. Let g be m(n). Let s be 2/(-4) + (-375)/(-10). Are g and s equal?
True
Let g = -247 + 245. Let b = 0.333 + -0.226. Which is smaller: b or g?
g
Suppose 2*t - 6*a = -a + 536, a = -2*t + 524. Which is greater: t or 264?
264
Let s be (-27)/(-36)*(-4)/54. Suppose 4*m - d = 56, -3*m - 2*m = d - 70. Let y be 8/(-14) + 8/m. Is y greater than or equal to s?
True
Suppose 0 = -4*x - 5*s - 1045, 2*x - 41*s + 40*s + 491 = 0. Is x equal to -2762/11?
False
Let k(h) = 4*h**3 + 45*h**2 + 9*h - 17. Let q be k(-11). Which is bigger: q or 252/59?
q
Let a = 165 + -189. Suppose 2*p = -3*c - 3*p - 17, 4*c + 3*p = -30. Let l = 8 + c. Which is bigger: a or l?
l
Suppose 1038562 = 190*a + 129*a - 1054078. Is a bigger than 6560?
False
Let v(l) = 2*l + 20. Let b be v(-10). Let x(d) = -d**3 - d**2 + 2*d + 15. Let m be x(b). Suppose -m = -5*h + 2*h. Which is smaller: h or 7?
h
Suppose -25*h - 777 = 3804 + 3769. Does h = -333?
False
Suppose 105 = -46*m + 49*m. Let i = m - 33. Let q be (-94)/(-7)*i/((-42)/(-49)). Which is smaller: 31 or q?
31
Let q be (11 - 2) + 186/94 + -11. Let h(c) = c**2 - 4*c - 1. Let r be h(4). Which is smaller: r or q?
r
Let b be ((-4)/10)/((-402)/(-30)). Suppose -740 = 11*t - 21*t. S