h?
True
Suppose 0 = -4*j - 4*q - 32, 0 = 5*j + q - 3*q + 5. Let a(n) = 2*n + 19. Let i be a(-9). Which is smaller: j or i?
j
Let d = 76469/462 + -10834/33. Let c = 163 + d. Is c > 1?
False
Let s(m) = m**3 + 11*m**2 + 8*m + 6. Let y be s(-10). Let g = 34 - y. Let t be g/30*(-24)/112. Is t smaller than 0?
True
Let w = -1137/14 - -165/2. Let z(s) = s**3 - 15*s**2 + 15*s - 14. Let v be z(14). Is v <= w?
True
Let z = -4 - -17. Suppose -z*u - 45 = -10*u. Which is greater: u or -14?
-14
Let m = 1828 - 1818. Suppose -50 = -5*p + 10. Which is bigger: m or p?
p
Let c = -479/950 - -2/475. Is c < -29?
False
Let k = -990.06 + 980. Let b = -10 - k. Let y = 8 + -31/4. Is y bigger than b?
True
Suppose -5*z = -q + 595, 38*q - 34*q = -5*z - 570. Is z smaller than -119?
False
Suppose 0 = -10*l - 6*l - 2304. Is -146 equal to l?
False
Suppose 5*b - 4*w = -143, -8*b - 146 = -3*b - 3*w. Is -36 greater than b?
False
Suppose 0 = 7*u - 5 - 79. Which is smaller: 13 or u?
u
Let d = 1211.2 - 1219. Are d and 3 equal?
False
Let r = 1 - 6/7. Suppose 0 = -0*s - 4*s + q + 5, -2*q - 10 = 3*s. Is r greater than or equal to s?
True
Let o = -201 + 180. Is -24 greater than o?
False
Let b(m) = -14*m + 0*m**2 + 2*m**2 - 7 - 13*m**2 - 3*m**2 - m**3. Let n be b(-13). Suppose -3*f = -5*t + 15, -5*t + 4 + n = -2*f. Is -2 less than f?
False
Let p be (-50)/15 - -3 - (-184)/696. Let c = 1 - 2. Which is greater: p or c?
p
Let w = 70 + -27. Is 42 <= w?
True
Let r = -0.1 + 0.3. Let d = 0 - r. Suppose -3*a - 10 + 3 = -y, -3*y + 11 = -4*a. Which is greater: d or y?
y
Let a = 295 - 295.204. Which is smaller: a or 1/2?
a
Suppose o = 15 - 6. Suppose 4*a - a = o. Suppose -a*t = 0, -5*z + 3*t - 5*t = -5. Which is bigger: 8/7 or z?
8/7
Let q = 1052/7 + -151. Suppose -20*n + 4*n = 16. Is q at most n?
False
Suppose -3*q + 7 - 4 = 0. Is q less than or equal to -2/765?
False
Let o be (16 + (-550)/33)/((-2)/(-9)). Are o and -10.6 equal?
False
Let i be (441/105)/(15/(-2)). Is -2 > i?
False
Let c = 4797 + -4799. Let q = -50 - -74. Suppose -5*x + 6 = 4*z, -z = -2*x + 4*z - q. Is c less than x?
False
Suppose -3*k = 2*s + 6 + 5, 0 = 4*s - 4*k - 8. Which is greater: 1/112 or s?
1/112
Let a = 207 + -323. Let f be a/(-168) + 7/49. Which is smaller: f or 2?
f
Let o be (20/150)/(18/45). Let f be (6/8)/(1/60). Let s be (-2)/(-9) - 28/f. Are s and o equal?
False
Let k be (-2)/((-40)/220) - 288/20. Let d = -4 - -2. Let g be ((-3)/2)/(d/(-4)). Is k not equal to g?
True
Let d = 1.69 + -78.69. Let u = d - -76.63. Let g = u + -0.63. Which is greater: g or 4?
4
Let j be (-1)/4 - 3935/20. Which is smaller: 3 or j?
j
Let i be (((-66)/(-15))/11)/(8/(-10)). Is 47 not equal to i?
True
Let y(x) = 5*x**3 + 2*x**2 - x. Let k be y(1). Suppose 2*r + 4*i = k, -5*r - 5*i + 6*i + 4 = 0. Which is smaller: 11/5 or r?
r
Suppose -4*t + 68 = -2*n, n = -5*t + 71 - 0. Let s(w) = w**2 - 15*w + 1. Let h be s(t). Is h bigger than -1/66?
True
Let r(g) = g**2 + 11*g. Suppose 2*q + 12 = 3*u, u + 8*q - 4*q = -10. Let a be (u - 2 - 1)*11. Let j be r(a). Is j at least as big as -6?
True
Suppose 0 = -5*z - 0 + 10. Let s be -4*(-4 - (-2 + -1)). Suppose x + s = -k - 2*k, k - z = 3*x. Is -1 less than k?
False
Let p = -32 + 27. Suppose -2 + 0 = q. Do q and p have the same value?
False
Let y(u) = 485*u**3 + 16*u**2 - 17*u + 1. Let t be y(1). Is 485 at least t?
True
Suppose 123 = 3*n + z, 0 = 4*z + 6 + 6. Let o(m) = -n*m + 5 + 7 + 43*m. Let p be o(-10). Is 11/5 not equal to p?
True
Let v = 18.69 + -18.47. Which is smaller: v or -22?
-22
Let s(m) = -3*m - 2. Let f be s(-8). Let z be (-5 - -14 - 7)*1*12. Is z smaller than f?
False
Suppose -46*l - 165 = -31*l. Which is bigger: -13 or l?
l
Let n be -1 + 50 + 3 + 0/2. Suppose 0 = 4*i - 4*x - 56, -5*i - n = -10*i - 4*x. Do i and 12 have different values?
False
Let j(d) = 10*d**2 - 121*d + 11. Let k be j(12). Which is bigger: 1/1792 or k?
1/1792
Let b(m) = 91*m - 821. Let p be b(9). Let t(z) = -5*z + 1. Let f be t(4). Is f equal to p?
False
Let i = 4453/2 - 25003/10. Let a = 689911417218/635 - 1086474399. Let g = a + i. Is g greater than 0?
False
Suppose 40 = 6*v - 2*v. Let r be (-15)/v + 1 + 0. Is r less than or equal to 1/2?
True
Let h = -11 - -14. Suppose -h*c - 68 = -p, 2*p + 4 - 52 = 2*c. Is c greater than or equal to -23?
True
Let w be ((-40)/135)/(4/(-8670)). Let y = w + -6449/9. Let i = -75 - y. Which is greater: i or 0?
0
Let c(i) = -3*i + 1. Let p = 2 + -5. Let y be c(p). Is 10 <= y?
True
Let q(k) = k + 1. Let o(j) = 3*j + 6. Let y(a) = -o(a) + 5*q(a). Let u be y(0). Is -1/14 < u?
False
Suppose 5*u = u. Suppose 8 + 37 = 5*b. Let i be 3/(-8) + b/(-12). Is i < u?
True
Let l = 611 + -611.3. Which is bigger: l or -97?
l
Suppose 0 = 5*j + 185 - 215. Which is greater: j or 30?
30
Suppose 4*s = -4*x + 20, -2*s + 20 = 3*x + 7. Let t be s/(-45)*1*-5. Suppose 6*u + 311 = 19*u + 324. Which is smaller: t or u?
u
Let g = 32.4 - 32.4274. Let a = g + 9.8674. Let m = 0.16 + a. Does 1 = m?
False
Let d be ((-1)/((-3)/32))/(15/45). Suppose -d = -4*t + 3*t. Do 32 and t have the same value?
True
Let d be 55 + -54 - (-1 + 21). Is -6 equal to d?
False
Let l be -6*(-12)/(-32)*1488/(-18). Let b be (-78)/(-18) + -5 + 142/l. Do b and -1 have the same value?
False
Let v = -0.49 - -0.09. Let d = -0.43 - -0.21. Let l = d + 0.12. Which is smaller: v or l?
v
Let u = -394 + 403. Is 31 greater than or equal to u?
True
Let g be (-1 + -2)/(-9)*0/(-2). Suppose g = -9*j + 3 + 78. Are 11 and j equal?
False
Let y = 11 - 11. Let n be 1*(20/(-4))/(-145). Are y and n nonequal?
True
Let i = -3827/8536 - -49/97. Which is smaller: 0 or i?
0
Suppose -3 = 13*a - 16. Suppose -2*c = -c + 2. Which is bigger: c or a?
a
Let k(d) = -7*d**2 - 7*d + 4. Let n(f) = -8*f**2 - 7*f + 3. Let u(q) = -7*k(q) + 6*n(q). Let x be u(-8). Which is smaller: -11 or x?
-11
Suppose -28*k - 92 = -32*k. Is k < 17?
False
Suppose 0 = 18*p + 1887 - 735. Is p at least as big as -65?
True
Let b = -178 + 128. Is -48 bigger than b?
True
Let h(x) = -x**2 - 3*x + 5. Let z be h(-4). Let s be ((-16)/130)/(18/(-395)). Let y = s + -25/9. Is z less than y?
False
Let x = -11 - -15. Let i be ((-18)/(-4))/(24/128). Suppose 0 = 2*a + 3*r + 3, 0 = 3*a - 2*r - 3*r - i. Are a and x nonequal?
True
Let v = -74663/8 + 9356. Is 22 <= v?
True
Suppose 0 = 5*n - n - 52. Suppose -2*r = -6, -3*r - n = 4*j + 2*r. Is -8 bigger than j?
False
Let l = 29 + -31. Let v be l/(2/3) - -4. Suppose -2*s + a + 47 = 0, -3*a = 4*s + v - 110. Is 1 smaller than s?
True
Let i be (-7)/(-28) + (-351464)/6. Let b = 58666 + i. Let w = b - 89. Which is smaller: w or -1?
-1
Suppose 140 = -11*t + 151. Is 1/195 < t?
True
Let k = 69 + -63. Let m(f) = f**3 - 8*f**2 + 10*f - 1. Let q be m(k). Is -0.5 less than q?
False
Let j = -186 - -25. Let k be j/(-140) - (-9)/(-12). Let p be 1/((-13)/4 - 0). Which is smaller: k or p?
p
Let l(n) = -n**3 + 17*n**2 - 15*n - 8. Let q be l(16). Suppose -i = i + q. Which is bigger: i or -5?
i
Let i = -80 + 86. Suppose -42 = i*z - 4*z. Is -19 != z?
True
Let k = 0 + 1. Let w = -2798193 + 9262018479/3310. Let x = -2/331 - w. Which is bigger: k or x?
k
Let i(g) = g**3 + 3*g**2 - 5*g - 4. Let s be i(-4). Let k be (8 - 5)/6*8. Let l be -4 - (-244)/76 - (-4)/k. Is s less than l?
True
Suppose -27*j + 23*j + 12 = 0. Suppose 6*r = 3*r, 21 = j*l - 5*r. Let z(q) = q**3 + 4*q**2 - 5*q + 4. Let k be z(-5). Which is greater: k or l?
l
Let y = 12232/27 - 453. Do 1 and y have the same value?
False
Let t be -3 - 0 - (-88)/28. Let x be (-2)/13 - (-10)/65. Let q = 1 + x. Which is smaller: t or q?
t
Let g = -4/2719 + 10418/3385155. Is 1 bigger than g?
True
Let o be 1028/(-7) - 3*(-7)/(-147). Is -149 smaller than o?
True
Let f = 31.6 - 240.6. Is -0.2 >= f?
True
Suppose 373*g - 372*g = -26. Is -26 greater than or equal to g?
True
Let w(p) be the third derivative of -p**5/30 + p**4/4 - p**3/3 - 5*p**2. Let x be w(4). Let f be (-1 + 1)*(-5)/x. Which is smaller: -8 or f?
-8
Let m = -16 + 15. Are 4/211 and m nonequal?
True
Let v = 380 + -519. Is -141 smaller than v?
True
Let f = -615 - -544. Which is bigger: f or -69?
-69
Let v = 49 - 59. Let s be v/45 + (66/(-27) - 2). Is -6 < s?
True
Let c = -359.9 - -316. Let y = c + 44. Is -0.39 bigger than y?
False
Let g = 572 + -589. Is g > -28?
True
Let c = -47.7 - 0.3. Let b = -63 - c. 