Is h greater than n?
True
Let j(k) = k**2 - 8*k + 6. Let z be j(6). Let r(a) = -a - 4. Let f be r(z). Suppose 6 + f = s - 2*h, 3*s + 2*h + 8 = 0. Which is bigger: -1/6 or s?
s
Suppose -16 - 1588 = 4*p. Which is smaller: p or -399?
p
Suppose 2*a - 5*d = 28, 2*d + 12 = 4*a + 3*d. Suppose b - 2*f = 4*b - 20, -a*f - 4 = -5*b. Let m be 4/(-35) - 8/28. Is b < m?
False
Let b(u) = 63*u + 241. Let z be b(-4). Suppose -3*f = 35 - 2. Is f at least z?
True
Let l = 28 - 37. Let m = l - -8.9. Let y = -0.1 + 0.1. Which is greater: y or m?
y
Suppose q - 6*q + 15 = 0. Suppose 0 = q*j - 2*j - 2. Suppose 20 = 3*s + 2*s. Which is smaller: j or s?
j
Suppose 2*z + 8 = 6*z. Let v = z + 1. Let u = -2 - -6. Is v equal to u?
False
Let d = 17 + -27. Let w be 4/d + 44/10. Suppose 11*p - 7 - 48 = 0. Which is smaller: w or p?
w
Let o = -323 - -102. Are o and -220 equal?
False
Suppose 45*m - 50*m = 5. Which is smaller: 1/256 or m?
m
Let u = -2.03 - -0.03. Let a = u + 0. Suppose -4*x - 4*b - 8 = 0, -4*x - 15*b = -17*b - 22. Do a and x have different values?
True
Let n(p) = -p**3 + 24*p**2 - 36*p + 2. Let d be n(22). Is d greater than 177?
True
Let z(q) = -7*q**2 - 10*q + 2. Let x(s) = 21*s**2 + 29*s - 6. Let y(n) = -6*x(n) - 17*z(n). Let m be y(-2). Let c be 17/85 - m/(-40). Which is smaller: 2 or c?
c
Let d(v) = -v**2 - 11*v - 28. Let n be d(-4). Which is smaller: n or 2/207?
n
Let c = 36 - 32. Suppose -c*i = 34 + 126. Are i and -39 equal?
False
Suppose 0 = -3*n - 45 - 9. Suppose 0 = 3*k + 5*d + 29, -4*k - 3*d - 69 = -12. Is n at most k?
True
Let t = -821 - -739. Is t equal to -81?
False
Let c = 3 - 1. Suppose 0 = -3*r + 55 - 25. Let f be (84/98)/(r/14). Is f at most c?
True
Let n be 9/2*(-34)/(-51). Suppose n*g = 6 - 21. Do -7 and g have different values?
True
Let d be (-12)/(-2) + (2 - 5). Suppose -a - 110 = 3*c + a, -3*a = -d*c - 120. Let z = -73/2 - c. Is z > 2?
False
Suppose 0 = 3*b + 6 - 60. Suppose 4*x = 2*p + b, -3*x + 24 = 2*x - p. Suppose -29 = x*d - 4. Which is smaller: -4 or d?
d
Let t be (-28 - -31) + (-3)/(33/199). Is t less than or equal to -14?
True
Let h = 131 - 142. Is h > -9?
False
Let z = 71/31 + -143/62. Is z bigger than 0?
False
Suppose -2*d = 3*u - 100, 7*d + 6 = 10*d. Which is greater: 65/2 or u?
65/2
Let f = -161 + 1444/9. Let t = -1 - -35. Let v = t + -35. Is f smaller than v?
False
Let r(i) = i**3 + 99*i**2 - 18*i + 8 - 115*i**2 + 10. Let n be r(17). Is -2/169 at most as big as n?
True
Let g = -47 - -50. Let i be ((-2)/12*g)/((-3)/45). Does 8 = i?
False
Let n = 5584/7 - 798. Let z(l) = l - 2. Let s be z(6). Let t be s/(-24)*1*-14. Which is greater: t or n?
t
Let n = 346 + -246. Which is smaller: n or 98?
98
Let c = -934/41 - -1215257/53341. Are c and -1 unequal?
True
Let h(j) = -j**3 + 9*j**2 - 10*j + 18. Let q be h(8). Let t be (q/2)/((-365)/10 - 3). Which is greater: t or -1?
t
Suppose 0*j + h = 3*j + 923, 3*j + 5*h = -893. Which is bigger: j or -307?
j
Suppose -3 = -3*u - t, 4*u = 2*t + 208 - 194. Which is greater: u or 9/5?
u
Let r = 16751/17 - 985. Let f = 0 + 6. Suppose 0 = -2*d + f*d. Is d at least as big as r?
False
Let n = -13.88 - -14. Let w = n + -0.02. Suppose -4*t - 7 - 9 = -4*q, t + 4 = 0. Is w < q?
False
Suppose 2 = 2*f - 0*f. Suppose -2*t - 2*t + 4*y + 4 = 0, f = t - 5*y. Is t >= 1?
True
Let q(n) = n**2 - 36*n + 70. Let l be q(26). Is -190 >= l?
True
Let h be ((-21)/(-3) + -6)*1. Are h and -10/43 non-equal?
True
Let h = -43 + 69. Let m be (3/(-9) - -3) + (-1)/(-3). Let r(t) = t**3 - t**2 + 2*t + 3. Let q be r(m). Is q != h?
True
Let m be (-20)/15 - (-4)/12. Let u = 0.06 - 0.11. Is u at most as big as m?
False
Let b = 24 - 23. Does b = -128?
False
Suppose -c + 9 + 5 = 0. Let v = c - 10. Let z be 18/22 - 8/(-44). Which is greater: v or z?
v
Let h be (117/(-45) + 4)/((-12)/(-2370)). Which is greater: 276 or h?
h
Let a be (-4 + (-25)/(-5))*(4 + -4). Let l = -179 + -9. Let p be 55/l + 2/8. Are p and a equal?
False
Let t(g) = 5*g**2 + 11*g - 34. Let b be t(-4). Which is greater: b or 31/25?
b
Suppose -8*r + 96 = -6*r. Let t be (2/r)/(12/24). Which is smaller: 1 or t?
t
Let f(h) = 10*h**2 + 23*h. Let d be f(-9). Let j = -4205/7 + d. Is 1 equal to j?
False
Let j(v) = -v**3 + 6*v**2 - 4*v + 5. Let c be j(4). Let q = 23 - c. Which is smaller: 28/11 or q?
q
Let s = -57 + 118. Let q = 1190.9 - 1191. Which is bigger: s or q?
s
Let z = -0.844 + 20.844. Is -9 at least z?
False
Let x(n) = n**2 + 17*n - 83. Let o be x(-21). Is 42 >= o?
True
Let p(x) = x**3 - 6*x**2 - 19*x. Let m be p(8). Let i be m/6 + 4*-1. Is -3 at most as big as i?
False
Let a = -1702 - -1701. Is a greater than or equal to -0.1491?
False
Let c = -1.407 - 0.593. Which is bigger: 5/31 or c?
5/31
Suppose -12 = c - 4*c. Let v be 1*80/100*15/6. Is c at least as big as v?
True
Let w = 29/168 + -227/24. Which is smaller: -8 or w?
w
Let p be (2 + (-5)/10)/(12/(-64)). Which is greater: -2.3 or p?
-2.3
Let z(l) = 4*l + 13. Let i = -12 - -7. Let m be z(i). Let h = -288 + 565/2. Which is smaller: m or h?
m
Let w(a) = -a**3 - 2*a**2 + 7*a + 5. Let i be w(-4). Let r = i + -1. Suppose -6 = n - 15. Which is bigger: n or r?
n
Let d = -154 + 85. Let c = d + 25. Let h = c + 130/3. Is -6 != h?
True
Suppose 0 = -0*s + s - 16. Let z = -23 + s. Suppose -5*o = -15, -4*p + 12 = -5*p + 2*o. Which is greater: z or p?
p
Let t = -1680 - -18438/11. Is -5 at most t?
True
Let r = -46.1 - -46. Let j = -17 + 20. Suppose 0 = -0*o + 4*o + j*z + 100, 0 = -5*o + 4*z - 125. Which is greater: o or r?
r
Suppose -11*r + 20 = -7*r. Suppose 4*g - 215 = -x - 0*x, -5*x = r*g - 265. Do g and 54 have the same value?
True
Let b be 14/24 - 170/204. Let z = 3 - 2. Let m be 8/2*z/(-6). Which is smaller: m or b?
m
Let w = -743.86 + 744. Which is bigger: 0.04 or w?
w
Let u = -97 - -96.652. Let d = u + 0.048. Is 7/2 at most d?
False
Let a = 0.1 - 0. Let c = -14.7 + 29.6. Let v = 15 - c. Is v less than a?
False
Let k = -32 + 47. Let w = 282 + -270. Which is smaller: k or w?
w
Let a = 2.88 - 3.08. Which is smaller: a or 2.63?
a
Let j = -20 - -22.2. Let b = 8.2 - j. Suppose 5*r - 12 - 5 = 2*f, 4*f + 5*r = 11. Is b at least as big as f?
True
Let n(k) = -3*k - 26. Let f be n(-10). Is 6 > f?
True
Suppose 4*l - 14 = -6. Let f(h) = 4*h + 2. Let g be f(-2). Let x be l/(-6)*45/g. Which is greater: 0.1 or x?
x
Suppose p - 5*l - 22 = 0, -2*l + 3 - 11 = 0. Let h(t) = -t**3 + t**2 + t - 2. Let z be h(p). Let k be 22/(-4) + 1/2. Which is smaller: k or z?
k
Let k = 23.8 + -22. Let b = k + 0.2. Let d = -0.05 + 0.05. Which is smaller: b or d?
d
Let a(w) = -w**2 + 6*w - 5. Let n be a(4). Let l(j) = -6 - 8*j + 3*j**3 - 2*j**n + 2*j - 3*j**2 + 7*j**2. Let u be l(-5). Which is smaller: u or 0?
u
Let g = -3/329 - -1063/44415. Which is smaller: g or -1?
-1
Let y be 34/(510/(-405))*(-44)/6. Is y equal to 197?
False
Let l be (-28)/(-51) + (-36)/54. Is 33 less than l?
False
Suppose -5*o + 24 = 3*h - 2, -4*h + 2*o = 0. Let z be (5 - 207/45)/(8/(-5)). Is z < h?
True
Let b = -0.032 + -0.068. Does -169 = b?
False
Let c be (2/(-2))/(1/(-5)). Suppose 0 = l + 4*k - 0*k - 13, 0 = -2*l - c*k + 17. Let y be l/(-3) - (-16)/(-24). Is -5/4 bigger than y?
False
Let x(b) = -b**3 - 6*b**2 - 14*b - 25. Let t be x(-4). Which is smaller: -66 or t?
-66
Let b = -155 + 156. Which is smaller: -139 or b?
-139
Let p be (-1)/(-2)*(6 + -5)*-2. Let f(x) = 4*x + 13. Let j(l) = -l - 3. Let c(s) = 2*f(s) + 9*j(s). Let z be c(p). Is z < 10?
True
Let l be 141/(-94)*(-34)/9. Which is greater: l or 6?
6
Let t = 20 + -18. Suppose 2 = 2*i + 4. Is t > i?
True
Let t(q) = 3*q + 40. Let j be t(-9). Suppose 6*c - 14 = j*c. Which is smaller: -2/3 or c?
c
Let i = 19.54 + -18.54. Which is bigger: 3.3 or i?
3.3
Let u be ((-111)/2220)/(10/(-4)). Which is smaller: u or -1?
-1
Suppose -22812 = 149*m + 20100. Is m at most as big as -288?
True
Let s(b) = 14*b**2 - b. Let u be s(-1). Let z be (-67)/(-95) + (-9)/u. Let d be (-32)/272 - 2/(-17). Which is smaller: z or d?
d
Suppose -3*b = -2*q - 484, -3*b - 484 = 2*q + b. Which is smaller: -241 or q?
q
Let y = -629 - -360. Let r = -821/3 - y. Which is bigger: -6 or r?
r
Let l = -975 - -961.19. Let g = -0.19 + l. Let m = g + 14.2. Is m smaller than 1?
True
Let k be (-3)/6*2816/121. Which is greater: -13 or k?
k
Suppose 38*v + 56 = -18*v. Are v and 4/381 equal