Is l less than or equal to z?
False
Let t be (36994/(-1047))/((-8)/222). Which is bigger: 982 or t?
982
Let i = -1/147326 + -289257/794823770. Which is bigger: i or -1?
i
Suppose 80*h - 366 = 364*h - 82. Which is greater: -122/123 or h?
-122/123
Let h = -7588.88223 + -0.11777. Do h and 2/7 have different values?
True
Let u = -7584 + 7590. Do -0.0345 and u have the same value?
False
Let v be 1 - (-3 - -4 - -2) - -6. Suppose -v*u - l - 3 = 0, 3*l - 6 = u + 11. Is u at least -2.4?
True
Let j be -12267 - ((19 - 58) + 19). Which is greater: -12248 or j?
j
Let c = 29.48 + -29.3. Suppose -2*s + 45 - 1 = 0. Let o = s - 24. Is o less than c?
True
Let y be ((-2)/15 + (-84)/(-705))/((-1058)/(-759)). Is 0 <= y?
False
Let h = -38.327 + 0.327. Let v = h - -36. Let p = 1 - 18. Is p bigger than v?
False
Let w = -107 + 124. Let f = 11 - 7. Suppose -f*q + 3*t + 2*t = 14, -2*q - 2*t = -2. Is w smaller than q?
False
Let s be (4/3 - 1)/((-64)/(-50112)). Which is bigger: s or 263?
263
Let q = 1977/7 - 3079/14. Let c = 215/4 - q. Let d(r) = -2*r**2. Let p be d(2). Which is smaller: p or c?
c
Let o be 51426/(-90) + 4 - (-3)/(-5). Is -568 smaller than o?
False
Let d(p) = -13*p**3 + 35*p**2 - 71*p + 59. Let n(g) = -5*g**3 + 17*g**2 - 35*g + 29. Let u(z) = 2*d(z) - 5*n(z). Let q be u(-17). Which is greater: -45/4 or q?
q
Let d = -16 + 108. Let f(p) = 2*p - 17. Let m be f(9). Let o be (-3)/((-9)/93)*3/m. Which is greater: d or o?
o
Let g = 1.22 + 57.78. Let x = 59.082 - g. Let y = -858 - -858. Which is smaller: y or x?
y
Suppose 0 = -5*q + 259 + 41. Let u be ((-35)/q)/(27/(-24)). Which is smaller: 0 or u?
0
Suppose 5*p = 2*t + 219 - 86, -t = p + 56. Let v = t - -26. Which is smaller: v or -32?
v
Let a be 692*((-1197)/76 - -16). Which is bigger: -5/3 or a?
a
Let s(p) = -p + 221535. Let o be s(0). Let r = -810153421/3657 + o. Let y = 4/69 - r. Is y at most -1?
False
Let m(d) = 30*d**2 - 8*d + 217. Let a be m(-12). Which is bigger: -2/3 or a?
a
Let z(l) = l**3 + 23*l**2 - 39*l - 331. Let w be z(-24). Suppose 0 = -b - 0*b + 28. Is b < w?
True
Let m = 1252/3 - 420. Which is greater: -2/91 or m?
-2/91
Suppose 0 = 5*p - 0*p + 5. Let q(f) = 4*f**2 + 15*f - 4. Let v be q(-4). Let m be 3 + (-50)/18 + (0 - v). Which is bigger: p or m?
m
Let u(h) = h + 21. Let t be u(-20). Let l be (-352)/(-1650) + t/(-3 + 0). Is -1 not equal to l?
True
Let x(y) = -y**2 - 29*y - 6. Let f be x(-29). Let t be 2*(3/f + 1)*0. Which is smaller: 1/90 or t?
t
Let x(i) = i**2 - 14*i - 13. Let v be x(15). Suppose -4*c = -v*b + 28, 4*c - 44 = -b - 3*b. Is 1 at most as big as b?
True
Let r = 527 - 723. Let n = 90 + r. Is -107 > n?
False
Suppose -8*o - 9*o = 408. Let v be 0/o + 2 + -37. Which is smaller: -36 or v?
-36
Let z be 195/923*(216/(-40) + 1). Is 0 bigger than z?
True
Let k = 19.15 + 14.49. Let l = 33.5 - k. Is 0.06 != l?
True
Let r(t) = -536*t**2 - 1617*t - 13. Let y be r(-3). Let l(x) = -x - 1. Let k be l(-2). Let h be k/2*(1 - -25). Are y and h nonequal?
True
Let t = -5177/88587 - 2/5211. Let o = 0 - -0.1. Which is greater: t or o?
o
Suppose 15*l + 13*l - l = 0. Suppose l = 15*t + 3 - 18. Let y be (-6)/(-27)*15/9. Is y greater than t?
False
Suppose 12 = -3*y - 4*n, -y + 2*n + 6 = 10*y. Which is bigger: 18/1483 or y?
18/1483
Let r be (-1)/(-2 + 21/12). Let g be (1 - 1)/((-4)/r). Let v be (-2)/9 - (220639/159390 - (-24)/(-15)). Is g >= v?
True
Let f be ((-1)/10)/(278984/(-430)). Which is greater: f or 0?
f
Let m(i) = -4716*i + 72. Let f be m(-13). Let a be (-144)/f*(-10)/4. Which is smaller: a or 0?
0
Let a(l) = -l**3 - 22*l**2 - 7*l + 765. Let m be a(-28). Is 5668 less than m?
False
Let b be (12/424)/(12/(-16)). Which is greater: b or 2?
2
Let g(m) be the second derivative of -2*m**3/3 - 39*m**2/2 - 7*m. Let o be g(-11). Suppose -42 = -o*n - n. Is n bigger than 6?
True
Suppose -5*f - 20 = 3*q + 83, 4*q + 2*f + 114 = 0. Let u be ((-9)/(-2) + 0)*5/(-15). Which is smaller: q or u?
q
Let a = 571 - 213. Let u = a + -358.7. Let w = 0.7 + 0.3. Are u and w unequal?
True
Suppose i - 2914 - 2942 = -d, 0 = 2*i + 4*d - 11720. Let p be 12/22 - (-7588)/i. Do 3 and p have the same value?
False
Let k be 28/(-7) - (394768/(-65794) - -2). Is k smaller than 1?
True
Let r = 395 + -403. Suppose -3*g + 10 = 4. Let o be (-21)/6 - (-1)/g. Which is bigger: r or o?
o
Let n(f) be the second derivative of -2*f**3/3 + 69*f**2/2 + 59*f. Let z be n(18). Are -3/5 and z equal?
False
Let n = 581 + -656. Let k = n - -72. Let o = -0.2 - -0.4. Which is smaller: o or k?
k
Let o = 3712 - 3737. Do o and 9/8 have the same value?
False
Let q = 3261 + -3338. Are q and -1.9 nonequal?
True
Let z(h) = h**2 + 82*h + 1147. Let k be z(-13). Is -0.12 > k?
False
Let f = 42193/10387 + -69/17. Suppose -12 = 3*b + 3*p, 3*p + 772 = 3*b + 754. Which is smaller: b or f?
f
Let d be (-34)/(-2*(-3)/(-42)). Let z = d - 1656/7. Is 0 >= z?
False
Let d = 0.1235 + -0.3535. Let h = -9.8 + 15.57. Let y = d - h. Which is greater: y or 3?
3
Let d(w) = 32*w**2 + 129*w + 2. Let a be d(-4). Let b(h) = 6*h**2 + 5*h + 1. Let x be b(-6). Let v be x/(-22)*a/(-5). Does -2 = v?
False
Let h be 18/(-42)*4*357/6. Let z = 425 + h. Which is greater: z or 325?
325
Let g = 220 - 222. Suppose 5*w - 7 = -2. Let p be (-8)/((-4)/(-1)) + (w - g). Is p equal to 1/5?
False
Suppose -3*r + 2013 = 3*q, 5*r = 27*q - 25*q + 3376. Suppose -7*m - 2823 = -r. Is -307 <= m?
True
Let f = -8691 - -6222. Which is bigger: -2470 or f?
f
Let z = 3/19937 - 2611795/318992. Is z <= -7?
True
Let c be 42/56*(-120)/40995. Which is bigger: 1 or c?
1
Suppose -26*n - 506 = 1470. Let i be (2 + 115)*(-6)/9. Which is smaller: i or n?
i
Let a = 36 - -108. Let l = 146.07 - a. Is l <= 1/4?
False
Let u = -2736 - -2673. Do u and -77 have different values?
True
Let s = -11361.95 - -11361. Is 50 < s?
False
Suppose -3*n + 16 = -u, -2*u = 2*n - 5*u - 13. Suppose 4*t + 977 = -z - 0*z, -t = -n*z + 239. Is t at least -244?
True
Let c = 3.642 - 3.7. Let k = 38821 - 38825. Which is greater: c or k?
c
Let d = -6/229 + 2103/1603. Let g = 16042 - 16040. Is g smaller than d?
False
Let o(x) = -14*x - 9. Let v be ((-16)/6 - -2)/((-42)/(-63)). Let g be o(v). Let y = 2.01 - 0.01. Is y at most as big as g?
True
Let q = 4472 - 3864. Which is bigger: -4/7 or q?
q
Let m = -25.2 + 8.4. Let g = m + 13.8. Which is bigger: g or 1/5?
1/5
Let p(x) = -2541*x - 4430. Let d be p(-5). Is 8275 at least as big as d?
True
Suppose -2*i - 3*r = 5142, 2*i - 4*r + 434 + 4708 = 0. Which is smaller: i or 1?
i
Let m = 395324/1255 + -1574/5. Which is smaller: m or 0?
0
Let f(g) = -4*g**2 + 14*g + 11. Suppose 9*r - 7 = 47. Let z be f(r). Is z at least -49?
True
Suppose 5*y = -c + 1 - 8, 0 = c - 3. Let n be (-3)/(y*(-15)/(-20)). Suppose 3*u + n*m = -26, -m - 3*m - 46 = 5*u. Which is greater: u or -5?
-5
Let o = 2125/48 + -703/16. Do 34/19 and o have the same value?
False
Let p(t) = -2*t**3 + 38*t**2 - t + 41. Let v be p(9). Which is smaller: v or 1650?
1650
Let q be 9/(-6)*(-10 - (-4340)/126). Let t = -39 - -3. Which is smaller: t or q?
q
Suppose -3 = 4*j - v - 2, 4*j = 3*v - 11. Let a be (4 + 8)*(-2)/12*4. Let d be 1 - 6/(-72)*a. Which is smaller: d or j?
d
Suppose 2*q - y = -25, y + 2*y - 20 = q. Let g = q + 16. Suppose -g*i = b - 492, 396 = -3*i + 7*i + 2*b. Is i at least as big as 98?
True
Let w = 7343 - 41. Let s = w - 80378/11. Which is bigger: -6 or s?
s
Suppose -5*r - 4 = 3*l, 4*l = -4*r + 7*l - 14. Let o be (420/252)/(r/(-42)). Let j = 105 - 70. Is j greater than or equal to o?
True
Let g(q) = -q**2 + 3*q + 8. Let p be g(4). Let v(a) = a**2 - 6*a + 8. Let d be v(p). Suppose -f + 31 - 10 = d. Is 21 <= f?
True
Suppose -16*v + 2*v = -6804. Suppose -b - 2*i = 2*i - 263, -2*b + 2*i = -v. Do 248 and b have the same value?
False
Let g = -7605 + 7602. Is g < -14?
False
Suppose -61 + 21 = -4*r. Suppose 0*d + 2*d - r = 0. Suppose 0 = -3*j - 5*b - 151, d - 3 = 2*b. Which is smaller: -53 or j?
-53
Let d(w) = -6*w**2 + w - 24. Let j be d(0). Let b be (-3)/(-3)*(2 - 1) + j. Which is greater: -21 or b?
-21
Let x(t) be the third derivative of 1/120*t**6 - 1/8*t**4 + 3/20*t**5 - 11/3*t**3 + 0 + 0*t - 15*t**2. Let z be x(-9). Is z at most 35/8?
False
Let t be 23280912/11583 + (-3)/(-13). Let o = -4013 + 2003. Let p = t + o. Is 1 > p?
True
Let d(p) = -121*p**3 - p**2 + 1.