 i*p. Is -39 greater than h?
False
Let g = -239407/71 + 3372. Which is greater: g or -1?
g
Let t = -210 + 219. Let j be 3/(-9) + (-357)/t. Which is smaller: -42 or j?
-42
Let v = -300.8 + 312.879. Let i = -0.079 + v. Which is bigger: i or 2/5?
i
Let m = -19827 - -19828. Do -1/5291 and m have different values?
True
Suppose -6 = -104*c + 98*c. Let v be (6/15)/(c + 354/15). Which is smaller: v or 0?
0
Let h be (-185)/5*(6 + 2 - 0). Is -887/3 less than h?
False
Let q = 298/3 + -11032/111. Let n = -4082 - -44912/11. Which is smaller: q or n?
q
Let j = 5/1289 - -3842/6445. Which is smaller: 0.369 or j?
0.369
Let q(a) = a**2 - 3*a + 7. Let g be q(5). Suppose 15*c + 8 = g*c. Which is smaller: 3 or c?
3
Suppose 118*k + 3 = 119*k. Suppose -3*z = -k*h + 405, 502 = 4*h + 5*z - 2. Which is smaller: 129 or h?
129
Suppose -3*d = -6, 4*z - 2*d - 239 + 247 = 0. Let w be (124/5688)/(1/38). Let k = 4/79 - w. Which is smaller: z or k?
z
Let y(r) be the first derivative of r**4/4 + 9*r**3 - 14*r**2 - r - 1. Let c = -4444 + 4416. Let k be y(c). Are k and -2/81 equal?
False
Let o = 4824.6027 - 4825. Let u = o + -0.0327. Are u and 0.4 non-equal?
True
Let k = 21278 + -19162. Is k at most 2116?
True
Let q(y) = 3*y**2 - 41*y + 86. Let a(o) = -2*o**2 + 28*o - 57. Let i(f) = -8*a(f) - 5*q(f). Let j be i(18). Which is smaller: 11 or j?
j
Suppose -24*c + 303 = -21*c + 3*r, 3*c - r - 311 = 0. Let h be 5 + (-19)/4 - c/140. Is 1 < h?
False
Let z be 7/(-77) + 789/(-33). Let u(d) = d**3 + 26*d**2 + 36*d + 1. Let k be u(z). Which is greater: 290 or k?
290
Suppose 4*b - 16 = -c + 5*c, -4*c = -2*b + 12. Suppose -8*u - b*u - 20 = 0. Is -86 < u?
True
Let k = -287524051/2443954 + 3/143762. Which is greater: -118 or k?
k
Let i be 2/(-1)*(-1)/2. Let r be -5 - -3 - 3620/(-1815). Is i at least r?
True
Let w(t) = -22*t**3 + 7*t**2 + 2*t - 6. Let n be w(10). Let l = 50979972/2395 + n. Let k = l + -35933/9580. Is -4 equal to k?
False
Let v = 29.77 + -30. Let q = v + -0.18. Let d = -2287/2 + 1144. Which is smaller: q or d?
q
Suppose -93*h + 163*h = 115*h - 6885. Is -75 at most h?
True
Let z = -1476853/4527 + 2936/9. Which is smaller: -1 or z?
-1
Let g = 3.4 + -4. Let a = g - -0.4. Let c = 3437.9 - 3438. Which is greater: c or a?
c
Let n = -64 - -63.953. Let c = 24.953 - n. Let i = -4/3 + 1. Is i equal to c?
False
Let r(m) = -211*m + 3255. Let i be r(16). Do i and -852/7 have the same value?
False
Let g(i) = -i**3 + 16*i**2 - 13*i + 66. Let s be g(15). Let o be 1/((-2 + s/18)/2). Which is greater: o or -3?
o
Let a = -4398/5 + 27656/35. Let b = 146 - 56. Let m = a + b. Is m bigger than -0.2?
True
Let d be 6 - 3 - (-1 - 0). Let i be (-1)/(-1)*(-10 + d)/6. Let x be (-1)/i + (-124)/148. Which is smaller: x or -1?
-1
Let w be (14649/(-6))/(((-90)/36)/((-5)/(-1))). Do 4883 and w have the same value?
True
Let n = -137 + 260. Let h be n/63 - (-6)/(-9). Is -1/5 at least as big as h?
False
Let f(x) = -3*x + 64. Let j be f(20). Suppose 0 = -j*b - 117 - 71. Is -49 at most as big as b?
True
Let i(l) = 2*l**2 + 36*l + 76. Let z(y) = -y**2 - 18*y - 38. Let a(j) = 2*i(j) + 5*z(j). Let m be a(-14). Which is smaller: m or 2/5?
2/5
Suppose 0 = -39*d - 29*d + 65*d + 24. Suppose -21 = t + 2*t. Which is greater: t or d?
d
Let l = -156 + 496. Let o = -7138/21 + l. Is o >= 1?
False
Let r(a) = -187 + 267 - 4*a - a - 186. Let n be r(-6). Does n = -75?
False
Let p(u) = -u**3 + 18*u**2 + u + 5. Let o be p(18). Let q be 0 + -7 - (-12 + o). Is q at most as big as -12?
True
Let c = -11120 + 10554. Which is bigger: -570 or c?
c
Let g = 2331 + -2861. Which is smaller: -523 or g?
g
Suppose 9*t - 10*t = 56. Let f = t - -60. Let j be 6 + -7 - (-10)/f. Is -9 >= j?
False
Let w = -268 + -266. Let j = w + 172. Which is smaller: j or -363?
-363
Let m = 17655 - 16004. Is m != -3?
True
Let r = -861.9 - -886.9. Is r less than or equal to 20?
False
Let q = 2117 - 2114. Is q smaller than 276/7?
True
Let h be 8/2 + (-16 - -6) + -10. Suppose -2*j + 3*j + 14 = 4*q, -j = -2*q + 14. Is h less than or equal to j?
True
Let h(y) = -887*y**2 + 61*y - 61. Let t be h(1). Which is bigger: t or -885?
-885
Let g be (5334/27)/7 + (-2)/9. Let y be ((-9)/g + 0)*(-3451)/(-14036). Let r = 2/121 + y. Which is bigger: 1 or r?
1
Let k = 20946 + -62833/3. Is k less than 0.01633?
False
Let f = -5 + -15. Let s be ((-1366)/10)/((-4)/f). Do s and -684 have the same value?
False
Let t = 0.0776 + -366.3776. Let i = 364 + t. Is i <= 3?
True
Let u be (-6)/2 + 3 - 210/621*3. Is u smaller than -1?
True
Let j(c) = 5*c - 8. Let p(s) = 3*s - 4. Let b(f) = 4*j(f) - 7*p(f). Let q be b(11). Let i = q + 14. Is i less than -16/9?
False
Let t be (-1)/(-2) - (-1)/6 - (-19420)/(-20391). Let o(f) = -44*f**3 - 2*f**2 + 1. Let a be o(-2). Which is bigger: t or a?
a
Suppose 11*g + 186 + 804 = 0. Let r = g + 120. Let u be (-45)/r*(-32)/21 - 0. Is 2 < u?
True
Let i = 80/277 - 437/554. Which is smaller: i or -17/20?
-17/20
Suppose 13*n = 31 - 5. Suppose -3*o - 8*x + 7 = -13*x, -n*o - 2*x = 6. Is 2/929 not equal to o?
True
Let o = -50.85 + 0.85. Let g = -107 - o. Let s = 85 + g. Which is smaller: s or 2/7?
2/7
Let i be -34 - -46 - (-4 - (6 + -23)). Is -0.02645 at most as big as i?
False
Let s(h) = 4*h + 37. Let g be s(-10). Let f(o) be the third derivative of o**4/12 + 5*o**3/3 - 20*o**2. Let x be f(-5). Does x = g?
False
Let s(x) = 14*x + 195. Let y be s(-14). Let z = 12702/42497 + -78/467. Is y at most z?
True
Let m = 65 - 92. Let c = m - -784/29. Which is smaller: 1 or c?
c
Suppose -4*x - 5*z = 17, 2*z + z - 12 = 5*x. Let f be 2/(-4)*x/18. Suppose 5*d + 14 = 4*n, -5 = -3*n + 2*d + 2. Which is greater: n or f?
n
Let m = 197.1 - 4.1. Let v = m - 197. Is v smaller than -5?
False
Let y be ((-39)/65)/((-15)/2250). Which is greater: 17/9 or y?
y
Let l = 255 + -254. Let b = -0.776 + -0.114. Is b at least l?
False
Let y = 4114 + -4076. Suppose 3*o = -3, 2*o + 42 = -c + 5*o. Let u = y + c. Which is smaller: u or -10?
-10
Let s = -2/26456320039963 - 16707435478676975238/875148610601936077. Let k = -2/33079 - s. Which is greater: k or 20?
20
Suppose 3*i + 58 = -2*t - 46, -98 = 3*i + 5*t. Which is bigger: i or -71/2?
-71/2
Let v = -2163 + 3006.8. Which is bigger: v or -1?
v
Suppose 20 = 5*u, -5*r + 0*r = -4*u - 24. Let c(k) = k**2 - 8*k - 10. Let j be c(r). Let m = j + 24. Which is greater: m or 25/2?
m
Suppose 78*k - 2*b - 56 = 80*k, -5*k - 176 = -b. Suppose 2*q = 4*h - 566, -3*h - 2*q + 193 + 221 = 0. Suppose 4 = f, -2*r - 2*r - h = -2*f. Is r >= k?
True
Let p be (-6)/(-18)*-9 + (-22)/(-26). Let u = 83/39 + p. Is u smaller than -1/2?
False
Let r be 9/45 + 56/(-230). Let k = r + 26/69. Let s = -5496/323 + 330/19. Which is bigger: k or s?
s
Suppose -3*c - 10*j = -14*j - 24, 5*c = j + 6. Which is bigger: c or -4/11739?
c
Let l = -1218/5 + 3206/5. Is 398 greater than l?
True
Let k = 12 + 22. Let y = k - 34.2. Which is bigger: -50 or y?
y
Let s = -9508/2109 - -86/19. Let i = 627 + -623. Suppose 3*j + 3 = -4*b, -3*b + 0*b - 4*j - i = 0. Do b and s have the same value?
False
Let h = 0.335 + -0.221. Let z = -0.186 - h. Is z bigger than -11?
True
Let s = 17809.42 + -17818. Which is greater: -13 or s?
s
Let k(b) = 70*b - 2383. Let i be k(34). Which is smaller: i or -108/53?
i
Let z(w) = 70*w + 1771. Let r be z(-46). Which is smaller: r or -1454?
-1454
Let t = 215.0042 + -0.0042. Let g = t + -247. Which is smaller: -1/2 or g?
g
Let p(a) = -2*a - 8. Let v be p(-6). Let w = -411 - -414. Suppose 4*i - 59 = w*c, -c - 1 + 8 = v*i. Is c < -13?
False
Let i(u) = -u**3 - 14*u**2 - 13*u + 5. Let y be i(-13). Suppose 2*z = y*o + 32, 0 = 3*z - 3*o + 2*o - 22. Suppose -3*n - 15 = -6*n. Is z greater than n?
True
Let o = 56 + -138. Let u = o + 139. Let d be (-874)/u + (-2)/(-6). Is d at least as big as -47/3?
True
Let r(a) = a**3 - 9*a**2 + 3*a - 22. Let d be r(9). Suppose -d + 143 = -2*s. Let z = s - -623/9. Is 2 less than z?
False
Let n be 403/62*(-18)/9. Is n < -306/23?
False
Let o be 322/(-36) - (-8)/(-144) - -10. Which is greater: 67/233 or o?
o
Suppose 0 = -4*m + 3*t - 32, 3*m - 4*t + 2 + 29 = 0. Let a be m/((-5)/4) + (9 - 13). Which is smaller: a or 13/22?
a
Let o = 59999 + -18539747/309. Let d = o + -197957/618. Which is smaller: d or -320?
d
Suppose 7 = -a, 23*m - 3*a = 28*m - 8769. Is 1762 < m?
False
Let n 