h is smaller: n or r?
n
Let v(p) = -4*p - 10. Let l be v(-4). Suppose 0 = 6*z - 12*z + 42. Is l greater than z?
False
Let l be (-1016)/18 - 2/9. Let f = 56 + l. Let s(j) = -j**3 - 9*j**2 - 15*j - 7. Let y be s(-7). Is y at most as big as f?
False
Suppose -3*f = 93 + 114. Are f and -70 non-equal?
True
Let c(p) = -2*p**3 + 3*p - 9. Let x be c(6). Let q = 1291/3 + x. Which is greater: q or 7?
q
Suppose -5*z - 5*i = 10, 20*i + 7 = -3*z + 16*i. Are 63 and z non-equal?
True
Let f be 45/18 + 1/(-2) + -3. Which is bigger: -4/135 or f?
-4/135
Let q = 2 - 1. Let i = 0.27 - 0.77. Which is bigger: q or i?
q
Suppose 5*x = v - 2384, x + v - 75 = -553. Let s = x + 22421/47. Let o(r) = r + 5. Let g be o(-5). Is s > g?
True
Let v = 365 + -461. Which is smaller: v or -94?
v
Let y(s) be the second derivative of -s**3/3 + s**2/2 - 28*s. Let i be y(0). Do i and -15 have the same value?
False
Let z = -509 + 494. Which is bigger: z or -17?
z
Let m be 3 + (4 - 4)/3. Let j be m + 3/12*-34. Are -5 and j nonequal?
True
Let v = -2/453 - -4085/1812. Suppose -2 + 10 = -4*q. Let m(y) = y**3 + 3*y**2 + y - 1. Let w be m(q). Which is smaller: v or w?
w
Let t be 1*(-1 - (3 + -4)). Suppose -4*w + 98 = -3*y + 42, 3*w + 2*y - 59 = t. Which is greater: w or 16?
w
Let q = 285 + -452. Do q and -168 have the same value?
False
Suppose 3*d - 5*d = 30. Let g = -16 - -105. Suppose 5*t + 76 = 2*q, 4*t + g = -2*q + 21. Is t != d?
True
Suppose 21 = -5*g + 4*a, -3*a + 11 = -2*g - 3. Let m be g/(-3)*(0 - 6). Let l = -1/202 - 601/1010. Which is smaller: m or l?
m
Suppose -10*o = -3*o + 21. Let r = -46 + 136/3. Which is greater: o or r?
r
Suppose 3*z + 0 = 6. Suppose -w - z*u - 8 = 0, 2*u - 8 = -5*w + 4*u. Let s = -18 - -179/10. Is s >= w?
False
Let v = -363 - -365. Do 52 and v have the same value?
False
Suppose -5 = -j - 5*l, -4*j + 7*l - 12*l = -5. Which is greater: j or -6/25?
j
Let k = -2/135 - 397/540. Is 8/3 > k?
True
Let b = -8/98473 - -355783133/2264879. Let u = 157 - b. Let l = -535.1 + 535. Which is bigger: l or u?
u
Let o be 10/55 - 66591/165. Let x = 405 + o. Let r = 77/45 - x. Is 0 != r?
True
Let g = 56303/11 - 5131. Is -13 at most as big as g?
True
Let p be (68/(-16) + 5)*8/2. Suppose -8*w - 4*u = -p*w + 22, 3*u + 1 = 4*w. Are w and -3/4 unequal?
True
Let u(q) = q**2 + 2. Let p be u(4). Suppose m + p - 44 = 0. Let b be (m/(-65))/((-2)/10). Which is bigger: 4 or b?
4
Let x(f) = -f**2 + 20*f + 19. Suppose 110 = 5*l + 5. Let s be x(l). Which is smaller: s or 1/3?
s
Let c(u) = -u**2 + 168. Let w be c(-13). Let g be 1046/6 + -2 + 1. Let l = 171 - g. Are l and w equal?
False
Suppose 3*c + 2*c = 35. Let w be ((-55)/10)/11 - 34/(-4). Are c and w equal?
False
Let x = -32 + 30. Let p = -94 - -96. Which is greater: p or x?
p
Suppose 0 = -51*z + 50*z + 27. Is 1 greater than or equal to z?
False
Let c = 12.1168 + -0.1168. Which is bigger: c or -27?
c
Suppose 8*z - 5*z = 12. Suppose -z*x = 19 - 27. Suppose -6*a - 28 = -x*a. Is a != -6?
True
Suppose 2*u = 4 + 8. Let g be (u/4)/((-24)/64). Let n be g/(1 - -11)*6. Which is smaller: 1 or n?
n
Let a(x) = -3*x - 250. Let i(g) = 3*g + 250. Let q(k) = -2*a(k) - 3*i(k). Let l be q(0). Let r = -3253/13 - l. Is r smaller than 1?
True
Suppose 4*x - 49 + 7 = 5*b, 4*b = x - 38. Suppose -5*v = -4 - 41. Let q = v - 17. Which is bigger: b or q?
q
Let d(u) = -u**2 - 10*u + 53. Let t be d(-14). Suppose -4 = a - 0. Which is greater: t or a?
t
Let u = -619.8 - -620. Which is bigger: -0.631 or u?
u
Let g = -574 - -355. Which is smaller: g or -217?
g
Let r be -1 - (-11)/368907*33531. Is r greater than or equal to 0?
False
Let k(a) = 3*a + 0 - 3 - 4*a - 4. Let x be k(-5). Let q be -3*(-3)/(x + -1). Is q greater than -1/7?
False
Let s(z) = -z**2 - 5*z + 8. Let o be s(-8). Let p = -10 - o. Let i = -304 - -311. Do i and p have different values?
True
Let d = -7 + 11. Let q be (14 - 14)/((-4)/(-2)). Suppose q = -2*o - d*a + 8, 0 = o - 2*o + 3*a - 6. Which is smaller: -1 or o?
-1
Let y = 43/15 - 21/5. Suppose 0 = 3*t - 4*j + 6 + 64, 100 = -4*t + 2*j. Let v = 26 + t. Which is smaller: y or v?
y
Suppose -z = 4*a + 18, 4 + 5 = -z - a. Let s(k) = -k**2 - 3*k + 19. Let t be s(z). Which is smaller: -2/217 or t?
-2/217
Suppose 3*s = 4*s - 3*o + 6, 0 = -5*o + 5. Suppose -18 = -5*v + z, 26 = 5*v + 4*z - z. Suppose 3*r - m + 9 = 2*m, -2*m - v = 0. Is r > s?
False
Suppose 0 = 18*d - 0*d - 3420. Is -1/3 at least d?
False
Let h be (-5)/((-90)/48)*6/(-4). Let c be (h - -3)/((-97)/(-2)). Which is smaller: 1 or c?
c
Let j = -73 + 77. Suppose 7*r = 3 + j. Which is smaller: 6/23 or r?
6/23
Let t(i) = 11*i**3 + 18*i**2 - 29*i + 19. Let d(c) = -5*c**3 - 9*c**2 + 14*c - 9. Let n(f) = 9*d(f) + 4*t(f). Let a be n(-10). Is a at least as big as -2?
False
Let d(r) = 6*r + 104. Let n be d(-25). Suppose 4*z - 21 = -209. Is z greater than or equal to n?
False
Let l = 0.2413 - 1.2413. Let k be -2 + ((-22)/(-13) - 2). Which is smaller: l or k?
k
Let z = 40/3 - 38/3. Let p = 5.2 + -3.4. Which is greater: p or z?
p
Let r(v) = -v**2 - 2*v + 9. Let t be r(-5). Let x be t*((-19)/2 - 3). Is x greater than or equal to 75?
True
Suppose -3*q = 5*k, 4*q + 3*k = 6*q. Does 1/889 = q?
False
Let a be (-2)/(-5) + (-440)/(-25). Let j = -16 + a. Let r = -4 + j. Which is smaller: -3 or r?
-3
Let l = 52 + 22. Let g = -107 + l. Is -33 not equal to g?
False
Let d = 19 - 77. Let k = 672 + -731. Which is smaller: k or d?
k
Let q(z) = z**3 + 6*z**2 - 16*z + 6. Let g be q(-8). Let l = 769 - 1499/2. Let k = l - 13. Is g greater than k?
False
Suppose 1428 = -33*u + 21*u. Is u less than or equal to -118?
True
Let z(a) = -2*a + 15. Let t(j) = -3*j + 22. Let q(v) = -5*t(v) + 7*z(v). Let r be q(5). Which is smaller: r or 3/14?
r
Suppose -3*i = -14*i + 506. Is 47 >= i?
True
Let a = -15.96 - -13.96. Are -241 and a non-equal?
True
Suppose k - 2*y + 4 = 0, -2*k + 5*y = 6 + 5. Let q(w) = w**2 - 3*w. Let v be q(3). Let a be v*(-1 + (k - 0)). Is a at least as big as 2/7?
False
Let m be ((-1)/(-2) - 0)*24. Let g be -7 + 4 + -1 + 36. Suppose 4*t = 5*w - 76, 4*t - g = -8*w + 4*w. Is w <= m?
True
Let m = -5069 - -5064. Let a = -0.1 - 0.8. Which is smaller: a or m?
m
Let y = 461.453 + -2.453. Which is smaller: y or 2?
2
Let z = -13.05 - 0.05. Let p = 2.1 + z. Let o = p + 10.8. Which is bigger: -4 or o?
o
Let u = -1/5474 + 3/238. Do -1 and u have the same value?
False
Let u(y) be the third derivative of y**6/120 + 13*y**5/60 + y**4/24 + 5*y**3/2 + 3*y**2. Let z be u(-13). Let n = -822 + 9048/11. Which is smaller: n or z?
n
Let k = 41.3 + -39.8. Which is smaller: k or -2/11?
-2/11
Suppose -35 = 2*o + 1. Let t = o - -23. Suppose -5*p = 0, g + t*p - 4 = -5. Which is greater: 2/7 or g?
2/7
Suppose -8*f - 20 = -4*f. Let b(d) = d**2 + 5*d - 3. Let n be b(f). Let i be (n/(-5))/(16/10). Which is greater: 0 or i?
i
Let v(t) = -t**3 + 6*t**2 - 6*t + 10. Let k be v(7). Let d be (k/(-36))/((-3)/8). Which is smaller: d or -5?
d
Suppose 55*t - 2643 = 3132. Is t at least as big as 101?
True
Let y be (-29)/29 - (-32)/44. Suppose -2 = -s - 1. Let o be (-2 + s)/(2 - 3). Is y < o?
True
Let t be ((-2)/4)/((-73)/(-876)). Is t not equal to -10?
True
Let b be -37*(-6 - (-6 + -3 + 2)). Is -38 less than b?
True
Let k = 494 + -94. Let z be k/60*(-6)/25. Which is bigger: z or -2?
z
Let a = -76 + 46. Let l be (-4 + a/(-9))*6. Let j be 3*3/((-3)/l). Is 13 > j?
True
Let q be (0 + 16)*9/(-6). Let v = q + 29. Let t = -5 - v. Is t equal to -8?
False
Let n = 0.0038 - -12.4962. Is -1/3 less than n?
True
Let c be 4/14 - (-52)/14. Suppose c*z + 6 = -2. Let j = -37351/7 + 5335. Which is smaller: z or j?
z
Suppose 0 = -2*m + 5*m - 102. Let f = -29 + m. Let o(g) = -g**3 + 6*g**2 - 3*g - 12. Let j be o(f). Are -10 and j nonequal?
True
Let u = 2.6 + -13.6. Let z = 3.13 - 6.13. Are z and u unequal?
True
Let c(k) = 7*k + 8. Let b be c(11). Which is smaller: 86 or b?
b
Suppose -c + 2 = -2. Suppose -2*v - c*v = 174. Which is bigger: v or -30?
v
Let k be 2/21*28/48. Is 1.8 != k?
True
Suppose 3 - 33 = -3*k. Let o be (k*(-12)/(-150))/(1 + -3). Which is smaller: o or 0?
o
Let i be ((-10)/3 - -2) + 2 + 0. Let k = 71 + -351/5. Is k smaller than i?
False
Suppose -i = 8*g - 3*g - 3, 4*g = -5*i - 6. Are g and 1/160 equal?
False
Suppose 0 = p + 3*p + 32. Let k be (-6 + -1 + 4)/(3/(-5)). Suppose -k