 3*u - 5*d + 90, 5*d = -3*u + 14 - 74. Which is greater: -16 or u?
-16
Let b be (-7)/(-14)*6/8. Let r = 5.11 + -0.11. Which is bigger: b or r?
r
Let r = -307 + 10744/35. Let h = -1254 + 1253. Is r >= h?
True
Let z = -3.9602 + -0.0398. Which is bigger: 99 or z?
99
Let w = 222 + -213.45. Let n = -0.45 - w. Is -2/5 at least n?
True
Let b = 1/89 + -181/267. Suppose 0 = -2*i + 3*i - 8. Let j be -4 + -4 + i + -2. Is j at most b?
True
Let u = -0.109 + 0.009. Let n = -0.06 - 0.64. Let z = 0.7 + n. Is u greater than or equal to z?
False
Let z = -477 - -584. Is z != 107?
False
Let j = 0 - -0.1. Let t = 5.9 - -1.9. Let d = t - 2.8. Is j < d?
True
Let z = -90630/16339303 + 2/22291. Is z at most as big as 1?
True
Let o be ((-39)/(-52))/(6/40) - 50. Which is bigger: -44 or o?
-44
Let j = 7500020/647 + -11592. Is j greater than 0?
False
Let d be 2/5 - 235/525. Suppose -14*z = -10*z. Let l be (-10)/10*z/(-1). Is d > l?
False
Let w be 14/392 + (-6)/21. Which is bigger: -2.39 or w?
w
Let o be -405 - 0/((-8)/(-4)). Let l = -268 - o. Let a = 545/4 - l. Which is smaller: 0.2 or a?
a
Suppose 0 = 3*n - 28 + 7. Let q = -4 + n. Let r be ((-6)/(-4))/(180/320). Are q and r nonequal?
True
Let g be 2/(-2 + (-134)/(-66)). Let l be -3 + (-2 - (-334)/g). Let q = 3 + -2. Which is greater: l or q?
q
Suppose 5*i + 3*k = -28, i + 3*i - k = -19. Let g = -9 - i. Let t be (0 - 2) + (-10)/g. Which is smaller: -4/7 or t?
-4/7
Let k = 3615/104902 + -1/1778. Let l = k - -44/2183. Suppose -5*s = 77*o - 80*o + 7, 6 = -3*s. Which is smaller: l or o?
o
Let c = 496996/21 + -23677. Let k = -32/3 - c. Let i be (-2)/(-6) - 4/(-6). Is i not equal to k?
True
Suppose 3*j = 5*d - 155, 0*j - 65 = j + 5*d. Let y = 30 + j. Which is greater: -24 or y?
-24
Let i = -26.16 - -0.16. Let w = -45 - i. Is w greater than 0.1?
False
Let c(z) = -65*z**2 - 105*z + 432. Let q be c(4). Is q >= 0?
False
Let a be 4 + 90/(-27) + 2/(-6). Let o = 0.2 + -0.14. Which is smaller: o or a?
o
Let o(m) = 3*m**2 - 297*m + 15. Let l be o(92). Which is greater: -1918 or l?
l
Let v = -1428 + 822. Is -606 equal to v?
True
Suppose 4 = -2*y - 4. Let s be ((-10)/y)/((-3)/6). Which is bigger: -0.1 or s?
-0.1
Suppose 39*w - 41*w + 4 = 0. Which is greater: w or -6?
w
Let c = 0.5 + -0.4. Let s = -113 + 241. Let x = 898/7 - s. Is x less than or equal to c?
False
Let j = -11 - 4. Let r = 9 + j. Let b = -9 - r. Which is bigger: b or 2/3?
2/3
Let k(q) = q**3 + 7*q**2 - 78*q. Let p be k(-13). Let l(z) = -z - 3. Let d be l(-3). Let t = d - -1. Which is greater: t or p?
t
Suppose -5*d + x - 2 = 4*x, 2*d = -2*x. Let w = 62 + -1301/21. Which is smaller: d or w?
d
Suppose 0 = 35*t + 12*t. Let c(o) = -o**3 - o**2 + o + 5. Let p be c(0). Is t greater than p?
False
Suppose -a = -36*x + 32*x + 21, 3*x + 20 = -2*a. Is a bigger than -47?
True
Suppose -3*s - 219 = -0*d + 3*d, 3*s = -4*d - 291. Is -72 greater than or equal to d?
True
Let f = -17.2 - -1.2. Let v = -17.1 - f. Let u = v + 1.1. Which is bigger: u or 8?
8
Let i be 68/28*(0 + 1). Suppose 4*x - 4 = 0, -4*f + 7 = 8*x - 13*x. Is i greater than f?
False
Let b be 90/14 + (-6)/14. Suppose 4*r + l = 7*r - 5, -3*l = b. Let u be (10/(-15))/(r/3). Which is greater: -3 or u?
u
Let c(k) = 69*k - 56. Let f be c(1). Which is bigger: -7 or f?
f
Let c(s) = 4*s - 31. Let p be c(10). Suppose 3*z = 2*h - 28, -3*z + p*h = 4*h + 25. Which is bigger: z or 2?
2
Let x = -7/5 + 6/5. Let l be -2 - (3 - 6 - -2). Is x > l?
True
Suppose 2*i + 14 = 6. Let w be 4 + i + 3 + -2. Suppose -5*g - 2 = -2*a, -a - 4*g = -0 - 1. Is a != w?
False
Let u(l) be the second derivative of l**3 - l**2 + l. Suppose -4*b = 4*d + 8, -d + 6*d + 4 = b. Let q be u(b). Which is bigger: q or -0.1?
-0.1
Let i = -1703 + 1771. Which is bigger: i or -9?
i
Let u = 0.12 + -3.22. Let j = u - -3. Let a = -95 - -99. Which is smaller: j or a?
j
Suppose k - 2*z + 3*z = 6, -4*k - 5*z + 28 = 0. Suppose -p - k*p + 54 = -5*y, 5*y = -15. Let d = p + -13. Which is smaller: 1 or d?
d
Let j = 68 + -149. Let s = j + 245/3. Is s smaller than -3/35?
False
Let i be (1240/105)/((-52)/174). Let o = i - -268/7. Do 0 and o have the same value?
False
Suppose 0 = -3*s + 2*s. Suppose s = v - 6 + 2. Suppose 0 = -2*m + 2 - v, -3 = -5*i - 2*m. Are i and 1/19 nonequal?
True
Let l be 1*0/1*-1. Let m = -98 - -99. Let z = m + l. Which is greater: 2/19 or z?
z
Let d = -0.4 + 0.3. Let a = 13.15 - 0.15. Let u = -15 + a. Is d >= u?
True
Let x = -686 - -384. Which is greater: -303 or x?
x
Let g(z) = -z**2 + 19*z - 49. Let h be g(16). Which is bigger: 10/61 or h?
10/61
Let w be 2/(-5) + (-987)/(-705). Let z = -128/3 + 43. Which is smaller: z or w?
z
Let c be 258600/585 - (-4)/(-1). Let i = 438 - c. Is 1 < i?
False
Let i(c) = -3*c**2 - 3*c + 2. Let y be i(-5). Let j be y/6 + 4 + -4. Let p = -10 - j. Which is smaller: 0 or p?
p
Let m(u) = u**3 + 3*u**2 + 4*u + 3. Let o be m(-2). Let l be (-637)/(-161) - (3 + 1). Are l and o equal?
False
Let j(z) = -z**3 - 9*z**2 + 6*z + 4. Let o be j(-9). Suppose 77 = -2*s - 21. Is o not equal to s?
True
Let c = -0.2 - -0.3. Let b = -2051/55 + 408/11. Is b bigger than c?
False
Let m = -72 - -62. Let i be (-2*2/(-30))/(6/m). Is -2/3 less than i?
True
Let h = 83 - 59. Suppose 7*y - 2*y = -2*v + h, -3*y + 14 = v. Suppose 0 = 5*c - 0*c - 5*x - 10, 0 = -3*x - 12. Do c and y have different values?
True
Let x = 223 - 222. Which is smaller: x or -39?
-39
Suppose -5*d - 4*t + 6*t + 5 = 0, 13 = -4*d + 5*t. Suppose -6*b + d*b = -63. Is b at least 24?
False
Let h be ((-8)/40 - (-283715)/(-48925)) + 6. Is 1 <= h?
False
Let v be -4 - (-5)/(-5)*(-23)/2. Let s = 10 - 3. Which is smaller: s or v?
s
Let h be (-45)/21*-4*(-9)/60. Is h equal to 0?
False
Let f(g) = g**2 - 6*g - 7. Let p be f(7). Let x = -1918 + 17258/9. Are x and p unequal?
True
Let g(o) = -o - 17. Let b be g(-13). Let x be (3/3)/b*-4. Which is bigger: x or -2/541?
x
Let h = 933 - 933. Which is greater: h or -142?
h
Let z = -54 + 58. Let q(k) = -k**2 + 4*k - 11. Let d be q(z). Is d at least as big as -12?
True
Let y(h) = -h**3 - 5*h**2 + h + 21. Let z be y(-3). Which is greater: 2/165 or z?
2/165
Suppose -4*t + 5*t = -5*d + 120, 2*d = -4*t + 48. Let m be 36*3*(-4)/d. Let u(i) = i + 19. Let f be u(m). Is -3/11 < f?
True
Let l(y) = 2*y**2 - 7*y - 4. Let c(i) = -i + 1. Let o(h) = 3*c(h) - l(h). Let g be o(3). Let k = 27/2 + -455/34. Which is smaller: g or k?
k
Let k be (-66)/55*(-10)/6. Which is smaller: 0.235 or k?
0.235
Suppose 0 = 2*t + 7*v - 5*v - 8, 2*t - 9 = -3*v. Let y = t + -30. Are -26 and y equal?
False
Let y be (11 - -114 - 7)/(-16). Is y smaller than -7?
True
Let n = 10.4 - 1.4. Let j = -9.2 + n. Which is smaller: j or 9?
j
Let l(k) = k**3 + 3*k**2 - 5*k + 3. Let c be 93/(-21) - 21/(-49). Let z be l(c). Is 2 != z?
True
Let m = 302/5 - 6991/115. Which is smaller: m or 1/4?
m
Let o be (48/(-72))/((-2)/117). Suppose 2*j - o = -3*p + 10, j - 52 = 4*p. Is 33 greater than j?
True
Let x = 66 + -64. Suppose 2*d + 0 = -x. Are d and -4/5 nonequal?
True
Let s = -26 + 76. Let c = s + -50.09. Let w = 3 - 5. Which is smaller: w or c?
w
Suppose -3*f - 56 = -7*f. Let d be (-1575)/(-147) + 4/f. Suppose 2*m - 24 = -0*m. Is m < d?
False
Let o(k) = -k**3 - 7*k**2 - 8*k - 8. Let i be o(-6). Let z = -0.0033 - 6.9967. Which is bigger: z or i?
i
Suppose -v - 757 = 4*m - 42, 3*m + 2*v + 535 = 0. Which is bigger: m or -178?
-178
Let b = -1338/11 - -251555/2068. Which is bigger: b or 0?
b
Let p = 153 - 139.88. Let u = 13 - p. Let a = u + 0.02. Which is smaller: -0.14 or a?
-0.14
Let f = 1.507 - 1.5. Let n = -0.037 + f. Is n > -6?
True
Let u be (13/((-13)/2))/((-3)/(-24)). Is -23 < u?
True
Let s = 13 + -12. Let h be 0/(s/((-2)/4)). Let y be 3/(-12) - 7/(-60). Is h bigger than y?
True
Let a be 0/(6 + (0 - 2)). Is a not equal to -574?
True
Let j = 8 - 9. Let w be 43/j + 4/4. Let h be w/(-20) + (-10)/(-25). Is h <= 4?
True
Suppose 4*d + 18 = -5*o + 220, -2*o = -3*d - 67. Which is greater: 118/3 or o?
118/3
Suppose -p + 2*p = -3. Let y be p/(-9)*(-1)/4. Suppose -5*x - 4*r = 8 - 7, -4*x + 4*r = 8. Is y less than or equal to x?
False
Suppose -p = d - 7, -p - 5 + 18 = 2*d. Let w = 1/112 + 79/560. Which is greater: p or w?
p
Let w(t) = 2*t - 4. Let q be w(3). Suppose g + 14 = 3*u, -2*g - q*u = -4*u + 24. Let z be (-2)/(-18)*(-66)/g. Ar