h is bigger: -21 or x?
x
Let o = 721 - 908. Let u = o - -184. Is 5 bigger than u?
True
Let y = 513 - 514. Let l be (y + (-6)/(-30))*-1. Which is smaller: l or 2?
l
Let l(d) = 21*d + 987. Let m be l(-47). Let k = -6083/54 - -225/2. Which is bigger: m or k?
m
Let n(o) = o**3 - 8*o**2 + o - 2. Let j(p) = -p**3 + 6*p**2 - p + 2. Let t(l) = 4*j(l) + 3*n(l). Let x be t(1). Which is bigger: -7/39 or x?
x
Let h = 566 - 563. Suppose -6 + 3 = -3*i - u, h*u = 4*i - 17. Do 39/28 and i have the same value?
False
Suppose -18726 = 3*t - 2193. Let q = -22217/4 - t. Are q and -42 nonequal?
True
Let g be (-27)/((-36)/(-4))*-6. Suppose j + 57 = -g*j. Is 6 not equal to j?
True
Let p(m) = m**2 + 3*m - 19. Suppose 0 = -3*s + 8 + 1. Let h be p(s). Let j = -1/288 + -223/288. Are j and h nonequal?
True
Let w = 70 - 49. Let l be (-52)/(-91) + (-12)/w. Suppose c = 5*c + 4. Is c less than or equal to l?
True
Suppose -4*z + 43 - 35 = -4*o, -2*o = -6. Let w be (-4)/(-3)*99/30. Is w at most as big as z?
True
Let y be (214*13/(-117))/(2*4/(-36)). Is y != -36?
True
Let a be 12816/(-44)*(-14 - -13). Which is bigger: 291 or a?
a
Suppose 3*f = -0*f. Let t = 1159605 - 512545689/442. Let r = -21/26 - t. Which is bigger: r or f?
f
Let c = 243.5 - 243.5197. Which is smaller: -3/4 or c?
-3/4
Let p = 154 + -152. Suppose -5*z = p*d + 132 - 449, -4*z = -20. Which is greater: d or 145?
d
Let q be -9 - ((-2)/26 - (-89890)/(-9191)). Let c = -1.2 + 0.2. Let n = c - -1. Are q and n nonequal?
True
Suppose o = 2*h - 21157 + 886, 5*h - o = 50688. Which is bigger: 10138 or h?
h
Let z(d) = 265*d - 4571. Let w be z(37). Which is smaller: w or 26167/5?
26167/5
Let o be (5 - (-19145)/(-20))*-8. Which is smaller: o or 7619?
o
Let g be (255/(-153))/((-2)/78). Let w = g + -170. Is w not equal to -104?
True
Let v = 18260 - 36529/2. Which is smaller: v or 1/2?
v
Let d(i) = -3*i**2 - 69*i + 3. Let h be d(-23). Suppose 0 = h*g - k - 889, -2*g - 2*k + 0*k = -590. Is g > 295?
True
Suppose -47*a + 109*a - 205*a = 178*a. Let f = 485/222224 + -4/731. Is f at least a?
False
Let n be (-6 - -25) + -27 - -1. Let d be (2 - 3)*(-3 - -6). Which is smaller: d or n?
n
Suppose 6*y + d = 244, -4*y + 5*d + 144 = 4. Is 352/9 less than or equal to y?
True
Let m = 1 - -8. Suppose -20 = -m*d + 4*d. Let k be 4*((-1)/9*3)/14. Which is smaller: d or k?
k
Let c = -763.8 + 903. Let k = c + -174. Let r = 35 + k. Is r < 0.11?
False
Let u = -1586 - -1586. Which is smaller: u or -8/1123?
-8/1123
Let j(g) = g**3 - 19*g**2 + 49*g + 4. Let f be j(14). Which is bigger: f or -279?
-279
Let m = 55243607/827 + -66800. Which is smaller: -1 or m?
-1
Suppose 168*k - 83*k - 33*k - 5928 = 0. Let w be 114 + 0 + (1 - 0). Is k > w?
False
Suppose r - 126 + 2183 = 3*w, 3*w - 4*r - 2063 = 0. Let d = w + -399. Which is bigger: d or 287?
287
Let n(f) = 184*f**3 + 8*f**2 - 10*f - 5. Let v be n(3). Let t = -4739737/947 + v. Which is smaller: -1 or t?
-1
Let p be 4*1/((-4)/2680*-5). Let g = p + -535. Which is greater: g or 3/176?
g
Suppose -3*i - 3*a - 468 = 0, 4*i = 2*i + 5*a - 333. Let z be ((-95)/(-38))/(i/36). Which is smaller: z or -2?
-2
Suppose 22*l - 290 = -5*a + 18*l, -a - l + 59 = 0. Which is greater: a or 80?
80
Let k(p) = -17*p**2 + 7*p + 6. Let b be k(-5). Let g be -446 - ((17 - 0) + (-8 - -5) + -7). Which is smaller: g or b?
b
Let q = -6.46 - -6.51. Let x = 2.11 - 0.11. Which is smaller: x or q?
q
Suppose -2*p = l - 21, 10*p - 2*l - 66 = 5*p. Suppose 0 = 3*z, 3*w = -0*w + 5*z + p. Suppose -2*d + h = 7, w*h - 21 = -d + 2*d. Is d at least as big as -1?
True
Let c(m) = -m**3 + 40*m**2 - 61*m + 940. Let h be c(36). Is h >= 3929?
False
Let n = -5/14154 - -141251/39249042. Is n at least as big as 1?
False
Let q = -6504 - -8220. Is 1718 >= q?
True
Let b(x) = 5*x + 197. Let r be b(-39). Suppose 4*t = 2*m - m + 29, 4*t = 3*m + 31. Suppose -r*s - 5*i = s + t, 4*s = -2*i. Is s less than 0?
False
Suppose -15*a + 18*a = -39. Let c be (-3781)/(-351) + -11 + (-2)/a. Is 1 bigger than c?
True
Suppose -44*c + 47*c + 27 = 4*n, 2*n = -3*c + 9. Which is smaller: c or -190/77?
-190/77
Suppose 39*g + 42497 = -10*g + 163527. Is g smaller than 2467?
False
Let g = 748 - 747. Do g and 5/704 have the same value?
False
Suppose 3422 + 685 = 3*y + 4*g, 5501 = 4*y - 3*g. Which is greater: -2 or y?
y
Suppose 87 = -2*k - 4*q + 15, k - 3*q + 26 = 0. Let u(p) = -p**2 + 4*p + 13. Let h be u(9). Is h smaller than k?
False
Let t = 11 + -7. Let s = 2347.4 - 2347. Is t < s?
False
Let w = -32497 - -32943. Is w not equal to -1/6?
True
Let h = 21352 + -20719. Which is smaller: h or 634?
h
Let y = -72632 - -1235114/17. Which is smaller: 23 or y?
y
Let d = 2456 + -2568. Which is smaller: -109 or d?
d
Suppose -4*n - 4 = -4*a, 6 = 185*n - 188*n. Which is smaller: -3/749 or a?
a
Let z be -11 + (-17 - 67)/(-7). Which is smaller: -2/5673 or z?
-2/5673
Let z = 781 + -782. Is z at most as big as -626/11?
False
Let o = 30 + -18. Let m(l) = -5*l**3 + 12*l**2 + 7*l + 7. Let w be m(3). Which is bigger: w or o?
o
Let w(c) = -2*c - 25. Let v be w(-16). Suppose -v = f + 4*m, f + m + 5 = 4*f. Let a = -0.54 - -0.25. Which is bigger: a or f?
f
Let k = -123 + 122.943. Let b = k + 0.417. Let d = -0.26 + b. Which is greater: d or -7/5?
d
Let b be ((-3)/(-1))/(5/3). Let o be ((-4)/14 + (-3)/(-14))*(12605 - 12612). Which is greater: o or b?
b
Let z(x) = 26*x - 25. Let a(b) = -14*b + 13. Let c(o) = 11*a(o) + 6*z(o). Let k be c(7). Suppose -k*t = 9 - 9. Is t at most 0?
True
Let o = 1.37 + 0.03. Let q = 50.5 - 51.8. Let f = o + q. Which is smaller: f or 15?
f
Let p be (-25)/(-750)*0*(-1)/(-4). Do p and 4/721 have the same value?
False
Suppose -2*z + z - 3*j + 3 = 0, 3*j + 6 = 2*z. Suppose -g + z = l + 14, -17 = l + 4*g. Let f be 111/9 + (-6)/l. Is 27/2 at least f?
True
Let r = 11221 - 11265.43. Is 2/5 at most as big as r?
False
Let f be 22/66 - (-4570)/(-13692). Is -1 at least f?
False
Suppose -4*g + 5*h = 552, -g + 4*h - 548 = 3*g. Let q = -129 - g. Suppose a + 188 = -5*d, d - q*a + 122 = -2*d. Is d at least as big as -38?
True
Let x = -89266/1460765 - -28/463. Which is bigger: 0 or x?
0
Suppose -4900*b - 68929 = -4857*b. Is b smaller than -8013/5?
True
Let o = 86 + -84. Let u be o/(-7) + (-100)/(-7). Suppose -9*i - 58 - u = 0. Is -8 bigger than i?
False
Let l = 16188 + -17232. Which is smaller: -1042 or l?
l
Let f = -45 + 89. Let r = 64 - f. Let t be -14*r/(-16)*2/10. Are t and 1/3 equal?
False
Let f be -461*(-4)/(-2 + 10). Let i = -231 + f. Which is bigger: -8/45 or i?
-8/45
Let i = 0.84 + 2.16. Let u = -44 - -44. Is u greater than i?
False
Let m(q) = -109*q - 108. Let o be m(0). Are -94 and o non-equal?
True
Let b = -91 + 92. Let w be 510/((-22)/(-11)) - (2 + -7). Is b greater than or equal to w?
False
Suppose -4 + 0 = -4*u. Let g = 127.6 + -225.9. Let t = -99.42 - g. Is u bigger than t?
True
Suppose 19*i - 2387 - 17025 = 37626. Are i and 3002 nonequal?
False
Let a(s) be the second derivative of s**5/20 - s**4/4 + 2*s**2 + 23*s. Let h be a(3). Suppose h*z - 7 = 11*z. Which is greater: 7 or z?
7
Suppose -2*v = v + 75. Let c = -20593 + 21642.1. Let q = -1049 + c. Which is greater: q or v?
q
Let z be (-9)/1*(-16 - 23892/(-1494)). Which is greater: 1 or z?
1
Let k = -2529.6 + 2530. Is -1.894 at least k?
False
Let n(m) = -391*m - 126. Let x be n(0). Is x less than 11?
True
Suppose 3*h + h = -o + 14, 0 = 3*o + h + 2. Let f be (-9)/(-18) + 213/o. Let l be f/161 - 8/(-14). Is 0.1 not equal to l?
True
Let t = 462.81 - 38.01. Let c = -462 + t. Is 0 at least c?
True
Let o = -42 - -23. Let w = 277893 + -555793/2. Do o and w have the same value?
False
Let w be -2*(5 - (-12732)/(-24)). Which is smaller: w or 1054?
w
Let i = -0.437 - -0.4645. Let y = -8.0275 + i. Is -9/8 at most as big as y?
False
Let z(j) = -j**3 + 17*j**2 - 31*j + 13. Let m be z(15). Let l be (-397850)/275 - (m - -1). Let i = l + 1443. Is i bigger than -3?
True
Let a = -749 - -750. Is -19/421 at least as big as a?
False
Let v = -0.6935 + -0.0565. Let r = -3.75 - v. Which is smaller: r or -6.8?
-6.8
Let i = 0 + 3. Let v be (-987)/138 - (-10 + 3). Let x = v - -37/92. Which is bigger: x or i?
i
Let s be (-478)/6 - 3/9. Let j be 4/(-5) - (-16)/s. Let b be ((-27)/81)/(j/(-15)). Is b at least as big as -9?
True
Let z = -20 + 20.16. Suppose -16 = 48*t + 176.