4. Let r = 680 + -693. Which is smaller: r or j?
r
Let h(m) = m**3 - 5*m**2 - 4*m. Suppose -2*p + 2 = -2*f, f - 3*p = -p - 6. Let g be h(f). Let r = 97/3 + g. Is r != 0.18?
True
Let t be (-2)/(-8) - (-102)/8. Let g = 2175 + -2162. Is t bigger than g?
False
Let f = 13 - 7. Suppose -w - f = -11. Which is smaller: w or 4?
4
Suppose a + 2 = 3. Suppose -m + 7 = -a. Suppose 4*r - m = 0, 4*q = q - r + 2. Do q and 6/7 have the same value?
False
Let t(f) = 0*f - 19 + 18 + f**2 + 9*f. Let u be t(-9). Let a be ((-3)/(-4))/(15/(-45)). Is u smaller than a?
False
Let b be 6/(-87) - (-45258)/1102. Which is bigger: 40 or b?
b
Suppose -3*d + 0*d = -39. Let l = -18 + d. Let i be (3 + 14/(-5))*l. Is 0 equal to i?
False
Let v = -9.54 - -10.54. Is -118 >= v?
False
Let u = 701/20 - -3/20. Is u at least as big as 35?
True
Let p = 733 + -733. Which is greater: p or -1/38?
p
Suppose 3212 = 12*s - 3988. Let h = 8996/15 - s. Does h = 1?
False
Let p = 37 + -39. Which is smaller: p or -17/7?
-17/7
Suppose -i + 10 - 5 = 0. Suppose 0 = -4*k + i*a + 29, 0 = 4*k + k - 3*a - 20. Is -5/16 at most k?
True
Let l = 14 + -11. Let d(w) = -3*w - 5 + l + w + 0. Let p be d(2). Are -5 and p non-equal?
True
Let l be (-1198)/120 + 2/(-3). Let c = 45/4 + l. Let k = 2 - 2. Which is greater: k or c?
c
Suppose -154 + 314 = 20*g. Which is greater: 25 or g?
25
Suppose -92 - 100 = 12*x. Is x bigger than -61/4?
False
Let t(k) = -183*k + 181. Let x be t(5). Is x != -734?
False
Let u = 819 + -809. Do -0.2 and u have the same value?
False
Let n be (82/10)/(19/95). Is n < -1/5?
False
Let a = -57.048 + 57. Let n = a + 0.948. Is 2 > n?
True
Let y = 0.0169 - 40.3169. Let q = y - -41. Is q >= -0.1?
True
Let u be (2/8)/((-399)/(-988)). Which is bigger: 1 or u?
1
Let x = 3/4882 - -1542697/24410. Is 63 < x?
True
Suppose 3*v - 8 + 17 = 0. Let n = v + 6. Let l be ((-27)/6)/n*-2. Which is smaller: l or 5?
l
Let w(a) = -3*a - 11. Let h = 21 - 27. Let r be w(h). Suppose -6 = r*c - c. Which is smaller: c or 4/9?
c
Let b = 0.19 + 9.81. Let w = -10.07 + b. Let y = -0.27 - w. Is y at least 2?
False
Suppose 3*n = v + 1, -3*v - 15 = n + 2*n. Which is bigger: n or 4/197?
4/197
Let u = 10/61 + 235/427. Suppose -2*q = -5*q + 6. Are q and u equal?
False
Let w(b) be the third derivative of 5*b**4/24 - b**3 - 5*b**2. Let i be w(4). Let m be i/(-78) - 2/13. Is m at most as big as -4?
False
Suppose -13*o + 43 = -12*o. Which is smaller: 44 or o?
o
Let r = -663.9 + 662. Are -4 and r equal?
False
Let o be -3 + 37 + 1 + -12 + 9. Suppose 3*a - o = -a. Suppose -2*s + 10 = 2*y, -2*s - 50 = -5*y + y. Which is greater: a or y?
y
Suppose -108 - 18 = h. Is -126 not equal to h?
False
Let r(h) be the first derivative of -h**3/3 + 2*h**2 - 6*h - 3. Let c be r(4). Let u be (-1)/(-2) - 45/c. Which is greater: 9 or u?
9
Let v(n) = -2*n**2 - 43*n - 18. Let t be v(-21). Does -19/6 = t?
False
Let m be ((-944)/(-12))/4 - (-5)/(-3). Suppose 4*c - 83 = 3*q - 14, -3*q = -2*c + 27. Which is smaller: m or c?
m
Let r = -496 + -30. Which is smaller: -527 or r?
-527
Let t be -1 + 13*(-1)/(-10). Let w = 21 - 16. Suppose 4 = w*k + 9. Which is greater: k or t?
t
Let m = -56 + 60. Suppose o - 1 = -f, -4*o = f - m + 9. Is 19 >= o?
True
Let s(x) = x**3 - 10*x**2 - 23*x - 7. Let u be s(12). Which is bigger: 45/7 or u?
45/7
Let z be 274/18 - (-2)/(-9). Which is greater: 11 or z?
z
Let x(i) = -i**2 - 4*i. Let s be x(-3). Let k be -2 + (-2)/(-6)*s. Let h be -3 + 8*(-27)/(-144). Which is smaller: k or h?
h
Let v = -3.424 - -3.05. Which is smaller: 0 or v?
v
Let g(n) = -n**2 + 3*n - 7. Let u be g(-9). Let r be (-22)/55 + (-66)/u. Is r at least 1?
False
Let f = -242/133 - -40/19. Are 0.81 and f non-equal?
True
Let g = 4.171 - 2.384. Let r = g - -0.013. Which is smaller: r or 1?
1
Let c = -167.2 - -167. Is c greater than 5.8?
False
Let y be (-1)/((-4)/148 + 0). Suppose -9*t + y - 28 = 0. Let v = -118 + 1295/11. Is t less than or equal to v?
False
Let d(m) = m + 28. Let x be d(0). Let u = -28 + x. Which is greater: -1/2 or u?
u
Let c be (3 - 71/8) + (-8 - -9). Which is smaller: -6 or c?
-6
Suppose -4*y = 4*b - 12, 2*b + 20 = 4*y + 8. Let g be (-8)/(-206)*3/6. Are b and g nonequal?
True
Let i = 52887 - 371225/7. Which is smaller: -146 or i?
-146
Let a(b) = -b**3 - 4*b**2 + 20*b - 5. Let g be a(-7). Is -4/3 at least g?
False
Suppose -i = -18 + 4. Let j(y) = -y**3 + 9*y**2 + 2*y - 9. Let l be j(9). Which is bigger: l or i?
i
Let g = -282 - -282. Which is greater: g or 3/31?
3/31
Suppose 6*f + 5 = f. Let y be 4 - 8/2 - -3. Suppose 5*i = y*i - 4. Is i != f?
True
Suppose 4*x - 82 = 26. Let g = x + -12. Suppose -4*o + g = o. Which is smaller: o or 4?
o
Let m = 4 - 6. Let a = -0.32 + 1.02. Let t = 0 + a. Is t less than m?
False
Let y(t) = -t**3 + 13*t**2 - t + 13. Let b be y(13). Suppose -4*a + 5 - 1 = b. Is a at most as big as 0?
False
Let n(j) = j**3 + 3*j**2 + 4*j + 19. Let p be n(10). Let h = 13601/10 - p. Which is bigger: h or 1?
h
Let x = -0.2 - 0.8. Let r = -50 + 53.2. Let z = r + -2.8. Do z and x have different values?
True
Let k be (-5)/(55/4) - 9630/198. Which is smaller: -45 or k?
k
Let a(l) = -2*l - 14 - 9 + 8. Suppose 5 = -z - 5*w, -24 = 2*z - 18*w + 14*w. Let v be a(z). Which is greater: v or 17/3?
17/3
Suppose 0*g = -6*g. Let w be (0 + -2*(-4)/8)*g. Which is smaller: w or 5/13?
w
Let t(a) be the first derivative of -a**2/2 + 2*a - 1. Let c be t(2). Let u = c - 0. Do u and 0 have the same value?
True
Let h = 1258.9 + -1259. Is 100 greater than or equal to h?
True
Suppose 14 = 2*i - 0. Suppose 0 = q + 2 - i. Suppose c - 3 = -q. Which is smaller: c or -3/4?
c
Let x(i) = i**3 + 21*i**2 + 22*i + 30. Let g be x(-20). Does 1 = g?
False
Let y = -32 + 33. Suppose 3*n - 2 = y. Which is greater: n or 5?
5
Let x(y) = -9*y - 42. Let s be x(-5). Suppose 3*k = v + 9, -k - 4*k + 39 = -s*v. Is -19 less than or equal to v?
True
Let a be (-2)/14 - 272/7. Let d = -41 - a. Which is smaller: d or -1?
d
Let g be 8/(-3)*3/6*-3. Suppose 5*t + 9 = w - 5, g*t - 12 = -5*w. Let d(x) = -x - 9. Let h be d(-6). Is h smaller than t?
True
Let q be (-22)/(-6) + 24/(-4)*1. Which is greater: q or -15?
q
Suppose 4*s + 49 + 39 = 4*a, 2*a - 52 = -2*s. Suppose 8*w + 0*w = -a. Which is greater: -2 or w?
-2
Let p be 25/(2*4/(-8)). Which is smaller: p or -20?
p
Suppose 0 = -2*t - t - 9. Let p(x) = 2*x**2 - x - 16. Let u be p(t). Which is greater: u or 33/7?
u
Let p be (-278)/(-161935) - (-1 - -1). Is p not equal to -1?
True
Let h = -83.62 + 74.62. Let q = -0.1 - -6.1. Do h and q have the same value?
False
Let f be 107/105 - (-1)/(-1). Let q = 2770 - 2770. Is q less than f?
True
Suppose 0 = -p + 1. Let x = 119 + -113. Let b be (-1)/2 - (-2)/(-4 + x). Which is smaller: b or p?
b
Let j be (41 - 21)/((-16)/4). Suppose 0 = -3*g - g - 16. Which is greater: j or g?
g
Let u = 120/311 + 12300/16483. Is u equal to 0?
False
Let c(n) = -n + 19. Let p be c(9). Which is bigger: 9 or p?
p
Let l = -636 + 626.02. Let t = 9.89 - -0.11. Let x = t + l. Which is smaller: -1 or x?
-1
Let h be -2 - -7 - (-21 - -27). Is h bigger than 5/36?
False
Suppose 4 = 14465*j - 14461*j. Suppose -3 = f - 1. Let s = f - -4. Are s and j unequal?
True
Let a(f) = -16 + 13*f - 9*f - 6*f. Let m be a(-11). Let n = m + -3. Which is smaller: n or 5/2?
5/2
Suppose o = -4*b + 16, -5*o - 1 = -4*b - 9. Is -16 less than or equal to o?
True
Suppose n + 0*t - 5 = 3*t, n + 3*t - 11 = 0. Let x = -356 + 366. Is x <= n?
False
Let z = -36641/5 - -7293. Is z equal to -35?
False
Let v be (4*130/(-40))/((-3)/9). Let l = -12 - -50. Which is smaller: l or v?
l
Let a = -45 + 51. Let q = 2.02 + -0.02. Let f = -2 + q. Is f > a?
False
Let n = -10 - -9.55. Let m = -4.05 - n. Let v = m + 1.6. Which is greater: 1/3 or v?
1/3
Let a be (-2)/((4 + (-7)/2)/(-1)). Suppose 4*i + 3 = -4*l + 11, 0 = -3*l + 2*i - a. Is l at least as big as 2/135?
False
Suppose -5*m + 72 = 4*m. Let c be (m/36)/((-33)/(-9)). Are 0 and c equal?
False
Let l be -2*(-6)/(-8) - 56/(-28). Do l and -3 have the same value?
False
Let o be (-107)/(1 + 2 + -2). Let u = -123 - o. Which is smaller: u or -19?
-19
Suppose -3*c = c. Let l(q) = q**2 + 6. Let s be l(c). Let g be s - 10 - (-58)/12. Are 1 and g unequal?
True
Suppose 3*z - 5*g + 138 = 0, 6*g - 198 = 5*z + 3*g. Let q(s) = -s**3 + 5*s**2 - 1. Let p be