= -h - 4 - 16, 2*h + 20 = 5*s. Is 44/71 >= h?
True
Suppose -2*h + 2008*v + 12 = 2005*v, -4*v - 16 = -5*h. Which is bigger: -8/475 or h?
h
Let g be (-37)/(-9) + (-3 - -23)/(-5). Let y = 27 - 21. Let s(z) = -z**2 + 4*z + 12. Let w be s(y). Is g greater than w?
True
Let t(j) = -13*j**2 + 56*j - 500. Let w be t(8). Is w at least -887?
True
Suppose 80 = -12*i + 8*i. Let s be ((-4)/(-6))/((-7)/(-105)). Suppose -s = -4*a - 90. Is a not equal to i?
False
Suppose -20*b = -16*b - 88. Let y = -8089 - -8112. Which is smaller: y or b?
b
Let d = -734 - -733. Let v be -4 + (-2328)/(-40) - d/(-5). Which is greater: 55 or v?
55
Let g = -7345/506 + -85/46. Let p = g + 719/44. Let q(j) = j**3 + 2*j**2 - 2*j + 4. Let l be q(-3). Is l at least as big as p?
True
Suppose 676 = 4*k + 2004. Suppose -125*l = 98*l - 35*l + 62604. Is l at most k?
True
Suppose -35*r + 28*r = 252. Let k be (3/r)/(90/160). Do 0 and k have different values?
True
Let z(y) = -y**2 + 5*y + 1. Let p = -8 + 13. Let k be z(p). Let s = 4168/195 - 107/5. Which is smaller: s or k?
s
Let r = -8.8 - 5.4. Let v = r - -32.2. Is v > 1/3?
True
Let n = -42.1 - -231.1. Let x = -189.484 + n. Let t = x - 0.116. Is -2/3 smaller than t?
True
Let x be (18/4 + -4)*8/(-2). Let a = -507/2 + 252. Which is smaller: x or a?
x
Suppose 296 = -4*n - 2104. Let b = -603 - n. Which is greater: -46/11 or b?
b
Let s = 21263 + -21263.04. Which is greater: -635 or s?
s
Let r(i) = -i**2 + 7*i. Let u be r(6). Let x(c) = -24*c + 173. Let z be x(7). Suppose -u*b + b = z. Which is smaller: b or -9?
-9
Let i = -7.039 + 0.039. Let z = 7.1 + i. Let t = z + -0.5. Is t equal to -1/4?
False
Let u = 3 + 2. Let h be (((-99175)/5)/5)/(-1). Let t = h + -43595/11. Is t less than u?
True
Let d = 747/17 + -49/34. Suppose -5*t + j + 209 = 0, -5*t + 122*j = 118*j - 206. Is t bigger than d?
False
Let c = 31706 + -31700. Which is greater: -540 or c?
c
Let i(m) = -10*m + 50. Let r(z) = 2*z**2 - 24*z - 51. Let b be r(14). Let x be i(b). Are x and -1/21 equal?
False
Suppose 0 = -12*q + 209*q. Which is smaller: 138/275 or q?
q
Let l = -142.467 + 143.5. Let b = l + -0.033. Is 15 at least b?
True
Let o = 0.5 - 2.7. Let s = -2.506 - -0.216. Let k = s + 2.09. Which is smaller: o or k?
o
Let q be (-6)/(-9) - (-62)/(-66). Let x(g) = 31*g**2 + 4*g. Let z be x(-3). Let h = 266 - z. Is h > q?
False
Let d(l) = -124*l - 3899. Let j be d(-35). Are 447 and j equal?
False
Let u(p) = -2*p**2 - 7*p + 1. Let x be u(-5). Let g = 1.7667 + -1.7167. Is g greater than x?
True
Let a(x) = 6*x**2 + 1 + 0 - x + 32*x**2 + 0*x**2. Let k be a(2). Which is greater: k or -0.1?
k
Let h = 0.66 + -0.56. Let u = -1171/14042 + -2/413. Let p = -237/374 - u. Which is greater: h or p?
h
Let n = 285 + -280. Suppose n - 5 = -3*o. Let k = -506/5549 - 1/179. Are k and o non-equal?
True
Suppose -5*l + 9 = -6. Suppose -g + l*o = 14, 2*g = 2*o - 4*o + 12. Let z(c) = 3*c**3 - 3*c**2 + 2. Let d be z(g). Which is greater: 3/5 or d?
d
Suppose -5*b - 136 = -3*f - 3*b, -b = 3*f - 121. Which is smaller: f or 57?
f
Let n = -4168 + 29181/7. Let r = -4 - -2. Let f be (r - -4) + 3 + -4. Which is greater: f or n?
f
Let a(d) = 12*d + 234. Suppose 0 = -4*c - 1186 + 1186. Let t be a(c). Do t and 233 have the same value?
False
Suppose -10*a + 615 - 15 = 0. Suppose 7*k + a = 13*k. Which is smaller: 37/4 or k?
37/4
Let i = 44 - 45. Let p = 5 + i. Suppose -2*x = 4*t - 2*t - 4, -p*x = -2*t - 2. Is t != 1?
False
Let q = -1727 - -126069/73. Is 0 >= q?
True
Let h(o) = 941*o + 8475. Let s be h(-9). Which is smaller: -2704 or s?
-2704
Suppose 3*c + 2*x + 254 = 5*c, 3*c + 3*x - 411 = 0. Let b = -130 + c. Let f be (2/(-2))/((-7)/14). Is b greater than or equal to f?
True
Let h = 15 - 25. Let t be (-5)/3 + h/(-15). Let b = -14297/5 + 185786/65. Is b at most as big as t?
True
Let y(r) = r + 1. Let j be y(-14). Let h be (-1)/(-2) - 7/(1 - j). Let f = 27991/22 - 1273. Which is greater: f or h?
h
Let m be 6*-2*(-2)/(-64). Let l = -0.76 + 0.7. Which is smaller: m or l?
m
Let z(w) = 49*w - 338. Let p be z(7). Let s be (3/p)/(52/260). Do -55 and s have the same value?
False
Let h = -919 + 1463. Let a be 34/(-102) - (-1 + h/6). Is -90 > a?
False
Let l(t) = -3*t**2 + 4*t**2 + 4689 - 18*t - 4712. Let o be l(19). Let f be 0/((6/o)/((-5)/(-10))). Is f at least -3?
True
Let b(k) = -193 + 133*k + 132*k - 255*k. Let i be b(19). Is i < -38/13?
True
Let c = -63 + 68. Suppose c*u - 23*u = -18. Which is smaller: -0.38 or u?
-0.38
Let h(i) = i**3 + 9*i**2 - 29*i + 61. Let x be h(-18). Which is bigger: 2/5 or x?
2/5
Let y(f) = 2*f**3 - 44*f**2 - f - 5. Let q be y(22). Let t be (118 - q) + -2*(-3)/2. Are 148 and t equal?
True
Suppose -5*h + 4*i = 23, -3*h = i - 3 - 7. Let w = 6 - 8. Which is smaller: h or w?
w
Let o be (-22 + 10 - -9)/(4/(-6)). Let l be (-4)/(-16) + 14/8. Suppose 2*m - 16 = -l*m. Is o at most as big as m?
False
Suppose 6*n + 56*v = 52*v - 646, -2*v - 434 = 4*n. Which is smaller: n or -123?
-123
Suppose 34*n + 1398000 = 48*n + 86*n. Is n greater than 13979?
True
Let j = 9278 - 9277. Which is smaller: j or -34?
-34
Suppose 9*t - 3*y + 805 = 4*t, 2*t + 4*y = -348. Let o = t + 819/5. Which is smaller: o or 19?
o
Let a(s) = -s**2 - s. Let r(d) = 14*d**2 - 8*d. Let v(i) = 6*a(i) - r(i). Let m be v(1). Let y = -535 - -517. Is m <= y?
True
Suppose 4*i + 390 = 5*a + 90, -2*a + i + 120 = 0. Let x(j) = -j**2 + 250*j - 6730. Let d be x(219). Is a > d?
True
Let p be 603800/(-360) - (-6)/27. Which is bigger: p or -1675?
-1675
Suppose 5*n + 229 = l + 3*l, -3*l - 2*n + 143 = 0. Suppose -46*s = -l*s - 30. Is s greater than 2?
False
Suppose 4*o = 7*z - 2*z - 15, -2*z = 2*o - 6. Suppose -z*t + 5 = 2*t, -4*t + 36 = -4*d. Let n = d + 55. Which is smaller: 46 or n?
46
Let b = 16 + -23. Let x = b - -4. Let j = -68 - -72. Is j at most x?
False
Suppose -4*m - 279 = -k - 2*m, k - 224 = -9*m. Which is greater: k or 3492/13?
k
Suppose 4*l - 282 - 364 = -5*h, 2*h - 272 = -5*l. Let o = h + -126. Suppose -2*n + 4*a + o*a + 4 = 0, 0 = 3*n - a - 1. Is n greater than 3/31?
False
Let y = 5 - 5.15. Let l = y - -0.04. Let g = -6935 - -62413/9. Do g and l have the same value?
False
Let g(y) = y**2 + 16*y - 610. Let c be g(-34). Is 0.349 smaller than c?
True
Let f = -151 - -68. Suppose -791*d - 102355 = 287*d - 11803. Which is smaller: f or d?
d
Let b(d) be the third derivative of -d**5/60 + 7*d**3/6 - 17*d**2. Let m be b(4). Let v be (m/(-105) + 0)*5. Which is bigger: -1 or v?
v
Let t = -4357 + 4360. Which is smaller: 5 or t?
t
Let b = -38 + 47. Let l(m) be the first derivative of m**3/3 - 4*m**2 - 8*m - 1. Let o be l(b). Are o and 1/6 unequal?
True
Let z = -0.00289 + 3.60289. Which is greater: z or -0.4?
z
Let h = 26146 - 26151. Are h and -1/12 unequal?
True
Suppose -2*u - w - 2 - 4 = 0, w - 9 = u. Let c be (u - (-54)/12)*-74. Are c and 12 unequal?
True
Let o = 2847758473/139964 - 223810/11. Is -1 > o?
False
Let g = -19.414 + -0.486. Let p = g + 22.9. Which is greater: -15 or p?
p
Let h = -198 + 34. Let i be (-42)/(-35) + h/(-5). Let z = -41 + 74. Which is smaller: i or z?
z
Let m = 13961384687/9024939 + -332/111419. Let a = -1547 + m. Is a greater than -6?
True
Let w be (-2127)/33 - (-72)/(-132). Is w at most as big as -586/9?
False
Suppose -4*r - 3*m + 141 = -135, 2*m + 80 = r. Is r smaller than 72?
False
Let q(j) be the second derivative of -j**5/20 - j**4/12 + j**3/2 + 28*j**2 - 33*j. Let v be q(0). Which is bigger: 54 or v?
v
Suppose -7*w = -6*w - 98. Let j be (w/(-105)*-5)/((-4)/(-1890)). Let o = -183013/83 + j. Which is smaller: o or 1/2?
o
Let f be ((-1)/2 + -1)/(9/30). Let k be (-34)/(-39)*27/180*f. Is -2 at most as big as k?
True
Let t be (-968)/(-1056) + (-2)/(-8). Let j be (6 - 2)/(1 + -6). Is j <= t?
True
Let x(t) = 14*t + 163. Let y be x(-15). Suppose 2*c + 106 = 4*l, -l - 4 + 6 = 0. Is y not equal to c?
True
Let s(p) = -4*p - 66. Let x be s(-31). Let u = x + -173/3. Which is greater: -4/17 or u?
u
Let w = 644/5 - 3298/35. Let a be (-79800)/(-2220) + (-1 - 39/(-37)). Are w and a equal?
False
Let z = 77 + -125. Let v = -47.05 - z. Is -0.2 at least v?
False
Let s be 9255/24450 + 10/(-25). Which is smaller: s or 0?
s
Let c be (4 - 52/12)/((-1)/6). Let j(k) = 11*k**2 + 0*k + 16*k + 6 + c + 1. Let g be j(-4). Which is smaller: 122 or g?
g
Let f = -67 - -