 8, 0 = 4*w - 5*a - 49. Let t be p(w). Which is smaller: t or i?
t
Let w be ((-1036)/56)/(1/2). Let o = 25 + w. Is o smaller than 1/11?
True
Suppose 4*h + 134*i - 136*i = -762, -2*h - 399 = -3*i. Let m = -452 + 265. Is h <= m?
False
Let j be -1 + (-4)/((-4)/7). Let u be j/(-27) + (-4)/63. Let k = -13.0131 + 0.0131. Is u equal to k?
False
Let a = -2.6 - 1.9. Let i = 215146 - 215140. Is i greater than a?
True
Let a(v) = 3*v**2 - 2*v - 9. Let s be a(-2). Let z be 632/(-10) - 7/s - 4. Let q = z - -68. Which is bigger: 2 or q?
2
Let s = 29 - 25. Let f be ((8 - 4) + 0)/s. Let x be -7 - 455/(-40) - 2. Is x > f?
True
Let k(v) = -17*v + 37. Let a be k(8). Let j = -100 - a. Which is greater: j or 1/356?
1/356
Let h = 1231 + 540. Is 1773 bigger than h?
True
Suppose 11*l - 126 = -621. Let i = l + 20. Is 1/2 equal to i?
False
Suppose -5*b + 3 = 3*t - 2, -1 = -b + 3*t. Suppose 3*l - b = -55. Let k = l + 73/4. Is 1/4 greater than or equal to k?
True
Let s be (-2 - -5) + (-15 - -8). Let g be (-64)/224 - s/14. Is -9/104 greater than g?
False
Suppose 10*y - 7*y + i + 311 = 0, y = -5*i - 99. Let z(q) = -5*q + 5. Let h be z(-5). Let u be y/33 + 4*(-5)/h. Is -4 > u?
False
Let y = -121 - -125. Let d be -3639*y/(-180) - 2/(-15). Is d greater than or equal to 81?
True
Let m(j) = 48*j**2 - 1157*j + 29. Let n be m(21). Is n smaller than -3101?
False
Let y(x) = 3*x - 4. Let g(s) = -s**2 + 9*s + 30. Let a be g(11). Let c be y(a). Suppose -4*v + 3*h + 16 = 0, -10*h + 7*h = 5*v - c. Which is bigger: v or 7?
7
Let t(m) = -m**3 - 6*m**2 + 8*m - 13. Let r be t(-7). Let n be (-24)/(-30) + 21/r. Let d be (1 - 1)/2 - (-6)/(-18). Is d at most n?
True
Let v be (11 - 2 - 6)*19/323. Suppose 0*s = -2*s + 24. Suppose -2*b - 2*p + 6 = 0, -2*p + s = 4. Which is greater: v or b?
v
Let l = 101 + -110. Let b be 2 + l + 7 + 1. Let k = -83/3 - -28. Which is smaller: k or b?
k
Let y be 234/(-780)*(-122)/(-3). Let i = -9045/7 - -182153/140. Let j = i + y. Which is bigger: j or 1/2?
1/2
Let y be 5 - ((-70)/(-68) + (35 - 31)). Let s = -6 + 5. Which is smaller: y or s?
s
Let c = 32029/11 - 2911. Which is smaller: c or 459?
c
Let n(x) = 222*x + 218. Let j be n(-1). Do j and -64/15 have the same value?
False
Suppose 0 = 253*p - 256*p + 810. Let g be (-207)/p + (-2)/5. Which is greater: g or 0?
0
Suppose 5*m = m - 4*o - 716, -5*o = -4*m - 761. Let z = m + 185. Is z not equal to -6?
True
Let j be (45/(-21) + 3)*13216/108. Are 106 and j unequal?
True
Let w(f) = -7*f**2 - 46*f - 206. Let l be w(-11). Which is greater: -548 or l?
l
Let a = 344 + -368. Let r(v) = -3*v - 64. Let o be r(-12). Which is bigger: o or a?
a
Suppose 2*u + 82 = 28. Let b = u - -44. Let g = -1647921 - -1647935. Is g bigger than b?
False
Suppose 5112 = -70*x - 2*x. Is x != -496/7?
True
Let f = 263193 + -9708400192/36887. Which is bigger: 1 or f?
1
Suppose 15*s + 787 = -848. Suppose -920 + 370 = 5*j. Does s = j?
False
Suppose 18*b - 4220 = -193*b. Let j(i) = -i**3 - 4*i**2 - i + 3. Let d be j(-3). Which is greater: d or b?
b
Let b(h) = -h**3 - 10*h**2 + 8. Let y be b(-7). Let l be -1*14 + 166796/(-1332). Let j = l - y. Which is smaller: j or -19?
-19
Let l = -18355 - -18351.6. Is 8/7 bigger than l?
True
Let z = 15935 + -15937. Let f = 36492/5 - 7274. Let o = 25 - f. Which is smaller: o or z?
z
Let b(v) = 39*v - 1158. Let h be b(29). Is -128/5 < h?
False
Let x = -400 - -400. Suppose x = -16*s + 3*s - 5915. Is s at least -454?
False
Let m = -4184 + 3670.1. Is m != 0?
True
Let h = -13638823747/803 + 16984839. Let k = 1/803 + h. Is 1 <= k?
True
Let t be 4804*(-3)/(-2)*10/30. Let k = 14375/6 - t. Which is smaller: k or -5?
k
Let m = 4401481507/153 - 28767611. Let s = m + -242. Which is smaller: s or 1?
s
Let p(d) = -11*d - 3. Let v be p(4). Suppose -72*i + 50*i - 136*i = 145*i. Is i less than v?
False
Let z = -5 + 5.35. Let d = 0.05 - z. Let y(a) = a + 11. Let q be y(-18). Is q smaller than d?
True
Let a = -2 + 2.1. Let z = -11184 + 11245. Which is bigger: z or a?
z
Let d be 0/(-1) - (-50 - -57). Which is bigger: d or -164?
d
Let b be 2/(-6) - (-8)/6. Let o = 21/1774 - 9493/1101654. Is o at most b?
True
Let g = -7423 - -2326. Is g at least as big as -5098?
True
Let d = -1242943/20088 - 1/10044. Let h be 13638/(-208) + 24/(-30)*-5. Let w = h - d. Which is smaller: 1 or w?
w
Suppose 4*g + 18 = -2*k, 34 = -5*k - 3*g + 17. Which is bigger: k or -2/2405?
-2/2405
Let y(v) = -4*v - 16. Let l be y(-5). Suppose 5*m - 10 = -5*g, -5 = l*m + 7. Let f be (4/g)/(1/(-5)). Is f not equal to -6?
True
Let i = 2455 + -36823/15. Are 788 and i equal?
False
Let k be 3/(9/12)*-4. Let w be (18016/k)/((-5)/3). Let p = w + -23276/35. Are 12 and p equal?
False
Let j be (-11 - -71)/((-36)/66 - 56/(-22)). Let f(h) = h**2 - 5*h - 3. Let n be f(7). Which is smaller: n or j?
n
Suppose 2*x - 8 = 0, 4 = m + 2*x - 29. Let n(u) = -u**3 - 6*u**2 - u + 9. Let o be n(-6). Let q be o/(-63)*10/m. Do q and -1 have different values?
True
Suppose -137 = -5*j + 2*h, 4*j + 4*h = -h + 136. Let l = -287809 - -287825. Is j smaller than l?
False
Let j(h) = 47*h**2 - 5*h + 57. Let a be j(5). Does a = 1205?
False
Let j(x) = x**2 - 20*x + 94. Let v be j(7). Suppose 3*o + 156 = -3*q, -2*o = -v*o + 2. Which is smaller: -53 or q?
q
Let d(m) = m**2 - 9*m - 1. Let c = -38 - -46. Let o be d(c). Let u = -8 + 7. Is o at most as big as u?
True
Let p(x) = x**3 - x**2 - 2*x + 1. Let r be p(2). Suppose -19*w + 24 = -23*w. Let a be (4 + (-18)/4)*w/39. Is a at least r?
False
Let w = 42518 + -42513. Let h be 111/(-226) - 1/(-2). Let z = -344/565 + h. Do z and w have the same value?
False
Let c(h) = 55*h - 6. Let w be c(2). Let v = w - 127. Which is greater: v or -24?
v
Let q(k) = -1 + 5*k**2 + 0*k**2 + 0. Let z be q(-2). Let v(a) = 9*a**2 + 273*a - 880. Let i be v(3). Is i smaller than z?
False
Suppose -r - 41 = 4*t - 1, 2*r = -3*t - 95. Let l be -2*(4*2/r - 0). Which is greater: -1 or l?
l
Let g = 3/62 - 156/341. Let o = -150 + 151. Which is greater: g or o?
o
Let c(z) = z**2 + 5*z + 4. Let n be c(-1). Suppose -73*a + 85 + 61 = n. Let r = -5 + -3. Which is smaller: r or a?
r
Let k be -10*1 - 6*(-9)/45. Let x = 51 + -59. Which is smaller: x or k?
k
Let k be 36*(-3 + 13/4). Suppose -k*q + 10*q - 2*n + 111 = 0, 12 = 3*n. Which is smaller: -105 or q?
-105
Let a be ((-280)/15)/(1/(-6)). Suppose -2*u + a - 112 = 0. Suppose u = -2*p + 4*p + 52. Which is smaller: -25 or p?
p
Let q(c) = 2*c**2 + 2*c - 11. Let f be q(-9). Suppose f*m - 129*m - 216 = 0. Is 55 != m?
True
Let k be ((-14)/(-8) - 3) + 3/(108/4761). Let b be 12*-1*(-33)/3. Which is greater: b or k?
b
Let s = 0.12074 - 1.12074. Let l = 34.9 - -2.1. Which is smaller: s or l?
s
Let x = 21 + -73. Let m = 724 + -771. Let j = x - m. Which is greater: j or -4?
-4
Let t(b) = 2*b**2 - 6*b - 2. Let a be t(4). Suppose -3*k - 15 = 3*j - a, -j + 9 = -3*k. Which is greater: 59 or j?
59
Suppose -5*j = 3*d - 32, j = -2*j + 3*d. Suppose 2*y = -3*y + 4*a + 336, -j*y + 5*a = -276. Which is smaller: 62 or y?
62
Let i = -52 - -55. Let n(q) = -q**2 - 6*q + 13. Let r be n(i). Let c(z) = z**2 - 7*z - 8. Let j be c(6). Is r greater than j?
False
Let u = -10792 + 7524. Is u at least as big as -3269?
True
Let w be (16/30)/((-210)/75). Let c = 3/28 + w. Is -1/8 less than or equal to c?
True
Suppose -u + 5*q + 1 = 0, 9*u - 8*u + 4*q - 1 = 0. Is u less than or equal to 3/104?
False
Suppose -9*z - 43 = -38*z - 14*z. Which is smaller: 31/254 or z?
31/254
Let k be 138/(-7) + (-6)/21. Let g = -19 - k. Suppose 0 = -z + 3 + 3. Is z at most as big as g?
False
Let j = -31940 + 31940. Which is bigger: 5/3882 or j?
5/3882
Let q = -0.2532 - -47.2532. Is -0.22 less than q?
True
Let d = 0 - -11. Let c = 5 - d. Suppose -50*g = -22*g + 168. Is c smaller than g?
False
Suppose 23 = -4*c + 3*r, 3*r + 9 = -3*c - 3. Let a(v) = -25*v + 18. Let s(x) = -x**3 + 3*x**2 + 4*x - 11. Let k be s(3). Let n be a(k). Is n <= c?
True
Let c = -29 + 28. Let q be 11 + -10 + (-1)/(c/29). Suppose 5*g - 2*g = -q. Is -8 at most g?
False
Let i = 163.95 - 83. Let j = i + -81. Is 11 <= j?
False
Let p = -34 - -35.7. Suppose 1848*a - 25 = -1848*a + 3701*a. Is a less than or equal to p?
True
Suppose -7 + 22 = 3*g. Suppose -5*r = i - 39, 0 = 22*i - 26*i - 24. Which is bigger: r or g?
r
Let b = 2.04 - 0.04. Let p = -25.1 - 