- 3*c - 9. Let a be 3*(50/(-24) - (-8)/(-32)). Let y be u(a). Suppose -9*s + 5*s - y = 0. Which is greater: -4 or s?
s
Suppose 3*k - 14 = -5*j + j, -k + 1 = 5*j. Is 0.4266 < j?
False
Let p(k) = -57*k + 4. Let t be p(-6). Suppose -1038*r + 232*r = -279682. Which is smaller: t or r?
t
Suppose 514 + 312 = 59*j. Are 34 and j non-equal?
True
Let p = 0.433 + -0.059. Let i = -3.226 - p. Is i bigger than 2/11?
False
Let b be ((-2)/3)/((-760)/(-30) + -17). Let f(q) = -q + 1. Let c(g) = g**3 - 4*g**2 - 5*g + 5. Let a(t) = -c(t) - f(t). Let r be a(5). Is b equal to r?
False
Let y = -1.1 - -1.138. Let s = 0.882 + y. Let m = s + 37.08. Is m <= 1?
False
Let a = -37749/305 + 730/61. Let m = a - -12687/115. Is m greater than -2?
True
Suppose -2*c - 14 = 5*x + 17, 0 = 2*x + 6. Let l be 1*-3 - (-12 - (-5 - 2)). Let o be (l + 0)*(3 - (-28)/c). Is -1/14 at least as big as o?
True
Let z = 34 + -33.98. Let o = -96.3 - -98.355. Let p = -0.055 + o. Are z and p nonequal?
True
Let q = -910.745 + 890.8. Let t = 0.055 - q. Is t greater than or equal to 1/3?
True
Let g = -21 - -13. Let k = 1/595 + -29161/3570. Which is smaller: k or g?
k
Let k be -6 - (8 + -9)*8. Let c be (-14 + 10 + 268/72)*k. Which is smaller: c or 1/2?
c
Let x be 1*29 + 4/2. Let w = -4.6503 - 0.3497. Which is smaller: w or x?
w
Let y be (-1)/(-5) + 516/20. Suppose y*a - 30*a = 76. Which is bigger: -17 or a?
-17
Let s(z) = -35*z - 157. Let o be s(13). Let y be 0 + o/(-9)*3. Is 203 bigger than y?
False
Let z(p) = -p**3 - 8*p**2 - 4*p. Let f be z(-4). Let q be ((-3)/9)/(f/36). Let g = -29.2 - -30. Which is smaller: g or q?
q
Let j be (-2765)/46221 - 0 - 6/(-93). Is -1 greater than j?
False
Let b = -28 + -211. Let d = -242 - b. Let v = -16 + 10. Which is greater: d or v?
d
Let q be ((-5)/(-4))/5 + 6/4. Let i = 25/4 - q. Which is smaller: 6 or i?
i
Let d = -53 + 88. Let q = 396 + -360. Let i = d - q. Is -5/14 smaller than i?
False
Let t be (4/20*0)/(3 - 5). Suppose -20*l + 19*l - 85 = t. Is -84 at least l?
True
Let i be (5 + 1)/((-4)/46). Let s be 122*((-155)/35 + 5). Let k = i + s. Are k and 7 non-equal?
True
Let j(p) = 264*p - 1097. Let y be j(16). Which is smaller: 3125 or y?
3125
Let t(b) be the third derivative of -b**6/120 + b**5/60 - b**4/24 + 25*b**3/2 + 18*b**2. Let q be t(0). Let v be 1 + 0 - (q/55 - 2). Which is smaller: v or 1?
1
Let k be 4385862/(-21)*14/(-202). Let s = 14475 - k. Let c = s - -127/1818. Is 1 bigger than c?
True
Let b be 0/((-12)/4 + 2). Let a = 419 - 629. Let o be 58/a + -1 + (-8)/(-60). Is o less than b?
True
Let m = -10.96 + 11. Let z be 3 + (-5)/20*-8*2. Which is bigger: m or z?
z
Let a(o) = -5*o**3 + 2*o**2 + o - 1. Let q be a(2). Let f(m) = 4*m - 67. Let v be f(11). Let n = v - 8. Is q at most n?
True
Let w = -8 + 3. Suppose 4*b = 4*u, 5*b + 10 = 10*b - 3*u. Let j be b - ((-4)/(-6) - (-196)/48). Which is smaller: j or w?
w
Suppose 3*o - 4*c = -29614, 2*o + 4*c = o - 9866. Is o at least -9871?
True
Let b = 196.53403 - 0.03403. Is b at most as big as 2?
False
Suppose 39*q + 577 = 8650. Is q greater than 220?
False
Suppose 15 = 112*a - 97*a. Which is bigger: -21/130 or a?
a
Suppose 0*w + 2*w + x = -17, 2*w + 5 = 3*x. Let h = w + 9. Let j(o) = 6*o**2 - 4*o + 2. Let v be j(h). Is v greater than 15?
True
Let w(n) = -3*n**3 + 6*n**2. Let i be w(2). Suppose o = -2*h + 4, 8*o - 3*o - 4*h = 48. Let g be (7 - o) + (-70)/(-74). Which is smaller: i or g?
g
Let h = -842 - 55. Let r = -901 - h. Which is greater: r or 0?
0
Let k = 93 - 103. Let m be k/(-7) + 15/(-35) - 4. Which is smaller: 0.3 or m?
m
Let i = -24485/3608 - 85/328. Which is greater: -8 or i?
i
Let x be 2/(-12)*(337 - 223). Which is smaller: x or -217/11?
-217/11
Let c(i) = -146*i + 759. Let b be c(5). Which is smaller: 11 or b?
11
Let g(x) = -x**2 - 17*x - 61. Let a be g(-12). Suppose 6 = 3*f + 3*l + l, 13 = -2*f + 3*l. Is a equal to f?
False
Let b be (-1)/5234*(600/10)/(-15). Which is smaller: -1 or b?
-1
Let b = 41135 - 35348. Is -2/7 != b?
True
Suppose -2*u - u + 9 = 0. Suppose u*j + 232 = -338. Let p = j - -5128/27. Do p and -1 have the same value?
False
Let l be ((-20)/(-30))/(4143/(-18)). Are 0 and l unequal?
True
Let w(d) = 29*d + 165. Let a(x) = 7*x + 41. Let m(b) = 9*a(b) - 2*w(b). Let j be m(-7). Let s = 5 - j. Is s at most 7?
True
Let l be (-82)/4*110/(-11). Suppose 2*d + 3*d + 345 = 4*u, 3*d = 2*u - l. Which is smaller: -70 or d?
-70
Let c(z) = -2*z**2 + 157*z + 1374. Let q be c(94). Is -1541 at least q?
False
Let k = -0.04 + 0.44. Let w = -385 + 442.2. Let f = w - 50.2. Do k and f have different values?
True
Let q be (-12)/111*(-2619)/485. Which is smaller: q or 1?
q
Let f = -214 - -213. Let y be 325/275 + (2 + f)*-1. Is y at most as big as -2/9?
False
Let v be 14 - (1 - 0) - (-28 + 32). Let u be (63/(-20))/(v + -6). Is u bigger than -2?
True
Let i = 6 - 1. Let l = 15.122 - 3.122. Which is bigger: i or l?
l
Let z = 1170 - 5834/5. Let h be 150/40 - 6*(-2)/(-16). Are z and h non-equal?
True
Suppose -5*p + 4 = -c, 3*p = 90*c - 97*c + 10. Are p and 3/3610 unequal?
True
Suppose 3*n + 14 + 2 = -z, -4*z + 1 = -n. Let v = 2217/19 - 2330105/19969. Is v greater than z?
True
Let g = -80 + 15. Let d = -124 - g. Which is smaller: d or -60?
-60
Let v(d) = 99*d + 4308. Let o be v(-44). Which is smaller: o or 244?
o
Let t = 0.46 - -17.54. Let l = 1740.9 - 1902. Let o = 161 + l. Does t = o?
False
Let n = 0 + 3. Let y = -8 + n. Let x = -21968/13 - -1690. Which is bigger: y or x?
x
Suppose -328*w - 416 = -332*w. Let z be -2*645/(-12) + -3. Is z greater than w?
True
Suppose 0 = i + 3, -r = i - 3*i + 3. Let d be (r/132)/(3/(-10)). Let n = -41667 - -41666. Is n greater than or equal to d?
False
Let s = -1108.1 + 1109.65. Which is smaller: s or 11?
s
Let d = -13341/4 - -58393549/17508. Which is bigger: 1 or d?
1
Let p be (-4790)/25 + (-266)/(-35) + -6. Does -197 = p?
False
Let g be (-2 - -3) + -1 + -3 + 2. Which is smaller: g or -18?
-18
Let y be (15/(-2))/(15/30). Let v be 3*(y/(-36) - -4). Let i = v - 273/20. Which is smaller: 6 or i?
i
Let d be (6/(-5))/(-3)*-5. Let w be d*1 - -17 - 2. Suppose 62*a - 607 + 108 - 369 = 0. Which is smaller: a or w?
w
Let o = 10414 - 416589/40. Which is smaller: -2 or o?
-2
Let o = -7.1995 - 0.1305. Let q = 7.67 - o. Is 1/10 <= q?
True
Let i = -40.13 - 0.87. Let l = 46.3 + i. Let o = l - 7.3. Which is smaller: o or -0.3?
o
Let w(s) = -s + 8. Let c be w(3). Suppose i - 5*i - 4*a = 24, 0 = c*i + 2*a + 18. Are i and -13/16 nonequal?
True
Suppose -65*f - 143 = -52*f. Let z be ((-8)/44)/(f/121). Which is greater: z or -2?
z
Let v be (0 - (-9)/(-6))/((-1008)/1314096). Is 1957 smaller than v?
False
Suppose 91*x - 46*x = -82*x - 127. Is -1/1256 less than or equal to x?
False
Let c be (3 - (6 + -4)) + 1. Suppose -14*j = -c*j - 1392. Suppose -2*m = 2*i + 58, 2*m + 2*m = 5*i - j. Is m not equal to -31?
True
Let i(a) = -a**2 - 28*a - 50. Let f be i(-26). Let m be 1/(f*(-6)/72). Is -24 greater than or equal to m?
False
Suppose -5*u - 107 = -5*m + 43, 2*m - 65 = 3*u. Let d be ((-2)/5)/((-1085)/m). Let p be (0*(-3)/21)/(-1 - 1). Is p < d?
True
Let l = 0.634 + 0.427. Let d = l - 1.02. Let h = d - 21.041. Which is bigger: 1 or h?
1
Suppose -14*y - 351 = -869. Is y < 94?
True
Let t = 85 + -72. Suppose -t*g + 66 = 27. Let y(f) = -f**3 + 5*f**2 + f - 2. Let v be y(g). Which is bigger: v or 17?
v
Suppose 1122*o = 1108*o - 3668. Suppose 4*i + 616 = -436. Which is smaller: o or i?
i
Let d = 183.9 - -737.3. Is d >= 0?
True
Let i = -2655.8 + 2656. Let k = 0.62 - -37.38. Is i at least k?
False
Let i(s) = -13*s**2 + 59*s + 41. Let u(k) = -9*k**2 + 39*k + 27. Let h(q) = 5*i(q) - 7*u(q). Let r be h(11). Let m = r - -24. Which is smaller: m or 39?
39
Let z(s) = 5*s + 38. Let n be z(-7). Let p be n/(-4)*160/(-4530). Let i = p - 442/5285. Do i and 0 have the same value?
False
Let a = -6221 + 5282. Is a bigger than -938?
False
Let t = -12265 - -11604. Is 1/2 at least t?
True
Suppose -6 = 5*u - 16. Suppose 0 = 2*m - 4*g - 12, -4*m + u*g + 16 + 2 = 0. Suppose 13*s + 126 = m*s. Which is bigger: -16 or s?
s
Let n = 2254/8881 - 22/107. Let u be 3/(-12)*(0 + 0). Is n greater than u?
True
Let t = -109 + 160. Let p be 2/(t/12 + -4). Let o be -10*4/p*72/10. Does o = -36?
True
Let l be (60/14)/(2/28). Let v be (75/30)/((-1)/l). Let k be