38. Which is smaller: 24 or j?
j
Let a = 1270 + -1223. Which is smaller: -0.4 or a?
-0.4
Let n be (-476)/(-12) - (-1)/3. Suppose 3*b = -2*c + 16, 8 = 5*b - 2*c - n. Let d = -3 - -12. Is b greater than or equal to d?
False
Let r = 3 - -3. Suppose -r*w - 9 = 3*w. Which is smaller: -9.9 or w?
-9.9
Suppose -2*l = -2*r - 0*l + 12, -r = -4*l - 21. Let c = -13.7 - -68.7. Let f = -55.5 + c. Which is smaller: r or f?
f
Let d = 510 + -509.6. Does 23 = d?
False
Let y(g) be the first derivative of g**2 - 1 + g + 0*g + 7. Let w be y(-1). Is w at most as big as -2?
False
Let u(w) = -w**3 + 1. Let c be u(1). Suppose c*k + 4*k - 4 = 0. Is -1/4 smaller than k?
True
Let f = 4154/11 - 378. Is f smaller than -51?
False
Let v be (38/9)/((-28)/7 + 8). Which is smaller: v or 1?
1
Suppose -4 = -q - 3. Let v(n) = -7*n**2 + 3*n - 2. Let f be v(q). Let x(u) = u. Let y be x(-5). Are y and f equal?
False
Suppose -4 = -k - 0*k. Suppose -4*z - 24 = 2*j - 6*j, -j - 4*z - k = 0. Which is smaller: j or 5?
j
Let w = -0.08 + -24.72. Let i = -0.06 + -24.94. Let s = i - w. Are 6 and s equal?
False
Let v = 63/118 + -2/59. Let z = 4.5 - 25.5. Let x = z + 37. Does x = v?
False
Let d(c) = c**3 + c**2 - c. Suppose 3*r + 11 = -r - 5*q, 3*r - 4*q = 15. Let i be d(r). Suppose 0 = 17*m + 1309 - 1275. Are i and m unequal?
True
Suppose 4*z + 3*q - 96 = 0, -120 = 2*z - 7*z + 5*q. Suppose 0 = -10*x + 12*x + z. Is 0 greater than x?
True
Let f be ((-1)/2)/(20/120). Let c be (1/(-7) - f/21)*1. Let h = 759 - 6063/8. Which is greater: c or h?
h
Let b be (-328)/(-24) - 25/15. Is 9 >= b?
False
Suppose -3*l = -10 + 4. Suppose -2 = -2*b + 8. Suppose -3*r + b - l = 0. Are r and 1 non-equal?
False
Let l be (-2)/11 + ((-18088)/176)/(-7). Are l and -2/17 non-equal?
True
Suppose 2*i = 2*a + 6, 1 + 5 = a + 2*i. Which is smaller: 12/179 or a?
a
Suppose 4*a + 5*g = 55, -4*g - 36 = -3*a + 44. Suppose 0 = k + k - 4. Suppose 6 - a = k*o. Which is bigger: -9 or o?
o
Let h = 3 - 6. Let n = 41/8 + -69/8. Is n greater than or equal to h?
False
Suppose w - 40*x - 7 = -44*x, -4*x + 4 = 4*w. Is w < 18/65?
True
Let o = 16 + -15. Is o >= -2/275?
True
Let v = -67 - -67. Which is greater: v or -18/13?
v
Let a be (-3 - (-171)/42)*(-32)/(-6). Let o be 3*(2 - 0/(-1)). Is a greater than or equal to o?
False
Let a = -12 - -13. Let x(w) = -w**3 - 11*w**2 + 11*w - 4. Let s be x(-12). Let v be (s/28)/((-3)/(-21)). Is a >= v?
False
Let n be (-56)/(-6)*3/2. Let o(b) = 1590*b + 4787. Let w be o(-3). Which is bigger: w or n?
w
Suppose -106 = -9*m - 106. Are 2/7 and m unequal?
True
Let d = -122 + 63. Let j = d + 105. Is j != 0?
True
Let y = 1273.8 + -1274. Is y != 62?
True
Let t = 37 + 135. Is t at most as big as 172?
True
Let l = 291 - 4367/15. Let j = 4 - -16. Suppose -4*r = -j, -r = 3*t - 6*t - 8. Do l and t have the same value?
False
Let q = -41/114 + -5/171. Let a = q - -1/72. Is a at least 1?
False
Let v = 100.1 - 675.1. Which is smaller: v or 0?
v
Suppose 6 = 5*z - 14. Let b(i) = i**2 + 6*i + 11. Let x be b(-5). Let p be (z + 2)/((-63)/x). Which is smaller: 0 or p?
p
Let l be (-6)/21 + 2/7. Let p be -1*(0 + -1 + l). Suppose 6*s = -n + 2*s - 16, -4*s - 16 = -3*n. Which is smaller: n or p?
n
Let k = 1488/7 + -3953/21. Which is bigger: k or 24?
k
Let z be ((-10)/(-5) - 1/2)/(-3). Is 568 equal to z?
False
Let q = -350 + 398. Which is greater: q or 51?
51
Let u(n) = n**2 + 3*n - 388. Let z be u(-16). Which is smaller: -2 or z?
z
Suppose 6*c - 5*c + 11 = 3*q, -15 = -5*q + c. Suppose 5*s - 38 = 4*y, 2*s - 24 = q*y - 3*s. Is y greater than -9?
True
Let d be 6/15 + 0/(-2). Let a = 496.9 - 497. Which is greater: a or d?
d
Let q = -2 + -14. Suppose 4*s - h - 76 = 0, 0 = -4*h + 5*h. Let w = s + q. Are w and 2 non-equal?
True
Let p = -413 + 125. Which is smaller: -2/3 or p?
p
Suppose 0 = -8*v + 5730 - 5578. Which is bigger: v or 21?
21
Let u = -0.061 - -1.611. Let l = u - 1.4. Which is greater: l or -1?
l
Let t(h) = -h**3 + 8*h**2 - 24*h + 36. Let u be t(8). Which is greater: -158 or u?
u
Let m = -7 + 17. Suppose -13*f + m*f + 147 = 0. Suppose -z - 3*a - 9 = 1, 3*a = -4*z - f. Is z smaller than -12?
True
Let k = -240 + 261. Which is smaller: k or 20?
20
Let v = -261 - -250. Let d = -20 + 36. Let z = v + d. Which is greater: z or 1?
z
Let g be ((-16)/24)/((-4)/(-6)). Let n = g + 4. Suppose 0 = -2*h + 3 + n, -3*l = -h + 3. Is 0 at least l?
True
Let t(p) = 7*p**2 + 2*p - 1. Let z be t(-2). Let f = -2590/9 + 288. Which is smaller: z or f?
f
Suppose -4*i = -4*x - 8, 5*x + 6 + 3 = 4*i. Which is smaller: -18 or i?
-18
Let r(b) = 5*b + 3 - 2*b - 4*b. Let z be r(-6). Let q = -441 - -440. Do z and q have different values?
True
Let o = -146 + 141. Are -26/5 and o equal?
False
Let s = 1.8 - 0.8. Suppose -2*w = 3*r - 16, -3*w + 4*r = -2*w + 3. Let c be 7/w - 26/65. Is s != c?
False
Suppose 2*d + 3*d - 10 = 0. Let s be 35/d*(-670)/45. Let m = -261 - s. Does m = 1?
False
Let k be 10/15*-12 + 3. Let m = 2 - k. Which is bigger: 4 or m?
m
Let w = -359 - -437.6. Let a = -91 + w. Let d = -12 - a. Which is greater: d or 3?
3
Let q = 20.1 - -93.9. Let i = -174 + q. Is 1 at least i?
True
Let l = -43 - -116. Let p = 805/11 - l. Which is bigger: 0.1 or p?
p
Let a = 11 - 11. Suppose a = -5*x - 3*l - 13 - 8, 25 = -5*x - 5*l. Is x != 1?
True
Let p = -21693 - -43385/2. Let c = -0.8 + -0.2. Which is bigger: p or c?
p
Let n(t) = t**2 + t + 1. Let r(d) = -6*d**2 - 13*d - 6. Let p(c) = -5*n(c) - r(c). Let l be p(-4). Let g be (-4)/l*3/(-2). Is 0.6 at most g?
False
Let f be 15/90 - 566/(-60). Which is smaller: f or 10?
f
Let y = -45 - -55. Let m = y + -16. Which is greater: m or -4?
-4
Let m = 62191/62 + -1003. Which is greater: m or -1?
m
Let z(b) be the third derivative of b**4/24 + 3*b**3 + 3*b**2. Let s be z(-15). Let y be s/(-2) + 1/2. Which is greater: 18 or y?
18
Let c = -657 - -665. Which is smaller: c or -15?
-15
Let w be 1141/(-3451) - 10/85. Is w greater than or equal to 0?
False
Let d = -1 - -2. Let m be (-2)/(11 - 3) + (-38)/232. Let t = -137/261 - m. Which is greater: t or d?
d
Let s = 16.14 - -3.86. Which is smaller: s or 0.13?
0.13
Let h = 0.9 - 0.6. Let m = -0.2 + h. Let p = -1.1 + 7.1. Is p at most as big as m?
False
Let q(j) = j - 8. Let x be q(9). Suppose x = -f + 2. Let i = -2.4 + 1.9. Is i != f?
True
Let l be (-4 + 12/3)/(-1). Suppose 0*j = -5*j + 4*x - 2, l = -j + 5*x - 13. Is j != 19/7?
True
Let c = -1386 + 59594/43. Let b = -590/129 + c. Let l = b - -95/21. Which is smaller: l or 1?
l
Let d = -3478 + 100886/29. Is 0 at least d?
False
Let k = -11.9 + 10. Let j = -1.78 - k. Is 2/7 > j?
True
Suppose 27*x = 28*x + 5, 5*x = 4*y - 29. Let g(k) = k + 14. Let s be g(-8). Let d be (-5)/2*s/(-5). Does d = y?
False
Suppose -3*v - 13 = i, -v = -5*i + v + 20. Suppose -i*b + 6*b = 5*r + 9, 0 = 2*r + 3*b - 1. Is 1/5 at least as big as r?
True
Suppose -4*v + n + 44 = -n, 0 = -3*v + n + 32. Suppose 0 = 3*a + 4 - v. Which is smaller: a or 9/7?
9/7
Let g = -124.62 + 1.62. Which is smaller: g or 0?
g
Let x = 47/32 + 1/32. Let k = -51/26 + x. Which is bigger: k or 0?
0
Let x = -11932 + 6479074/543. Is x smaller than 0?
True
Let k = -10 + 5. Let w(g) = 0*g + 9 + 6*g + 5*g - 4*g + g**2. Let y be w(k). Is 3/11 at most y?
False
Let z be 62/(-7) - (6 + (-41)/7). Let i = -7 + 5. Let x be i + (10 + -2)/(-1). Which is bigger: x or z?
z
Let n(q) = 2*q**2 - 8*q - 43. Let p be n(-3). Which is smaller: 1/378 or p?
p
Let t be (715/(-20))/(3 + -2). Which is greater: -35 or t?
-35
Let a(h) = h**3 + 11*h**2 + 19*h + 11. Let d be a(-9). Which is smaller: d or 10/3?
d
Let l = -28 - -37. Let v = -9 + l. Is v at most 3/4?
True
Let i = -147.99 + 148. Which is smaller: 4 or i?
i
Let i(j) = -j**2 - 13*j + 2. Let a = 63 - 74. Let c be i(a). Which is smaller: c or 25?
c
Let k be -2 - -2 - (-4 - -2). Let w be ((-9)/(-12))/(-1 + (-89)/(-56)). Which is smaller: w or k?
w
Let r(n) = -n**3 + 5*n**2 - 7*n + 5. Let x be r(4). Suppose -5*q = -5*v + 34 + 16, -24 = 2*q + 2*v. Which is smaller: q or x?
q
Let o = 2686 - 8165/3. Which is greater: -37 or o?
o
Let k = 20 - 20.1. Let x(j) be the third derivative of -j**6/120 - 3*j**5/20 - 5*j**4/12 - 5*j**3/6 + j**2. Let u be x(-8). Which is smaller: u or k?
k
Suppose -2*p - 5*k - 1455 - 17 = 0, -4*p = -4*k + 2888. Do -726 and p have different values?
False