rue
Let v(u) = -44*u + 204. Let w be v(10). Is w > -238?
True
Let u = 1389/2 + -618. Is u bigger than 76?
True
Let j(q) = 7*q**3 + 4*q**2 - 4*q - 1. Let p(f) = f**3 + f**2 - f. Let z(t) = j(t) - 5*p(t). Let v be z(1). Let h be ((-4)/8)/(51/(-6)). Is h equal to v?
False
Let m = 10747/16014060 + 3/8276. Let j be ((6/4)/(9/(-18)))/(-2 - 1). Which is smaller: m or j?
m
Let x(r) = -r**3 + 9*r**2 + 12*r + 18. Suppose 4*o + 8 = 0, -3*w + 5*o + 10 = -30. Let i be x(w). Let n = i + -33. Is n at least 9?
False
Let a = 120/61 - 421/183. Is -1831 less than or equal to a?
True
Let x = -16679 + 16678. Are x and -409 unequal?
True
Suppose n + 5 = 0, m - 41 = n + 3*n. Suppose -2*x - 5*c + 28 + m = 0, 2*c = 4*x - 86. Is 21 greater than x?
False
Suppose -140 = -28*h + 48*h. Let v be h + 1 + 6 + 2 + -2. Let k = 4/35 + 96/385. Are v and k nonequal?
True
Suppose -57 + 270 = 213*o. Are 11/47 and o equal?
False
Let w = 128.3459 + -128.4. Let k = w + 10.0541. Let p be ((-3)/(-6))/(4 - 1). Which is smaller: p or k?
p
Suppose -304*m - 1351422 = 690546. Is m greater than -6717?
False
Let t = -1084452/497 + 2182. Do t and -9 have the same value?
False
Let v be (-51)/(-109) - (-2)/(25/(-5) + 1). Which is greater: v or 0?
0
Let t(p) = 8*p - 195. Let f be t(27). Suppose 6 = f*o + 6. Suppose 3*i + r = 12, -3*r + 9 = i - r. Which is bigger: i or o?
i
Let q = 4762/17 + -18963/68. Suppose -n = 3 - 18. Let t be ((-1)/(-3))/(5/n). Which is bigger: q or t?
q
Let c be 4/(-1)*(-301)/(-28). Let u = -17 - c. Let l be 1/((-1)/(-4)) - -23. Which is smaller: l or u?
u
Suppose 14 = -9*p + 5. Let d = -856210/131 - -6536. Is d < p?
False
Suppose 5*g = 2*k + 33, 0 = -4*g - 4*k + k + 31. Let l be (-10*206)/4 - g. Is -522 equal to l?
True
Let p = -306492 - -306295. Let t = -77 - 120. Is p at least as big as t?
True
Let l be (-21)/(6/(-54) - 24/(-243)). Which is smaller: 1699 or l?
1699
Suppose 5*a + 4*p = 180, -5*p - 162 = -4*a - 59. Let v be ((-1888)/a)/(-1 - 0). Which is smaller: v or 57?
57
Let f be (2/105)/((-33)/(-77)). Let l = 3019/2420 + 3/1210. Which is smaller: l or f?
f
Let n = -229 + -5. Let s = n + 231. Is -58/13 >= s?
False
Suppose 0 = -2*y + 12 + 172. Let s = y - 93. Let o = 403 - 7652/19. Is s not equal to o?
True
Let z = 11618 + -11618. Are z and -1/12798 non-equal?
True
Let p = -77 + 78. Let t be 332/1 - (1 - -3). Let q = t + -2956/9. Which is greater: p or q?
p
Let s = 36 - 31. Let w = s - 48. Let y = w - -46. Is 1 at most y?
True
Let i be 10/(-4)*((-534)/15 - 4). Suppose 6 + i = 35*c. Are c and 57 non-equal?
True
Let k(w) = 6*w + 4. Let j(g) = 12*g + 8. Let r(h) = -3*j(h) + 5*k(h). Let s be r(-8). Let x be (-2 - 88)/(-2) - 0. Do s and x have the same value?
False
Suppose -w = -3*v + 3, -v - 6*w = -w - 1. Let c be 18420/(-272) - (5/(-2))/5. Let h = c - -269/4. Which is smaller: v or h?
h
Let s = 5850 - 5850.06196. Is 0.2 != s?
True
Let s be 24/(15 - 7) + (-144)/2. Let p be ((-3 - 1) + -1)*s/1035. Is 17/6 bigger than p?
True
Let h be (-3)/(-12)*128/(-112). Is 1033 at least h?
True
Let m = 627 + -635.36. Let b = m + 8.36. Let y = -15 - -27. Which is smaller: b or y?
b
Let g be 1*(32/8 - 3). Let s(m) = m**3 - 22*m**2 + 22*m + 47. Let o be s(21). Which is smaller: g or o?
g
Let g be (-836)/(-20) - (-2 + 5)/(-15). Let z be (-12)/g + (-435)/21. Which is bigger: -25 or z?
z
Suppose 0*h = 4*h + q + 5, -q = 3*h + 4. Let d(a) = -a - 6. Let o be d(-3). Let p be o*(-4)/(-6) - h. Is 2/77 greater than or equal to p?
True
Let d = -37629/380 - -121/95. Is d greater than or equal to -98?
True
Let t be -2*(-78)/120*80. Is 207 equal to t?
False
Let o = -2.8 + 3. Let f = -84.96 - -84. Let h = f + 0.46. Which is smaller: o or h?
h
Let r(h) = 846*h - 5790. Let j be r(23). Is 13668 at least j?
True
Let d be 48/8 + (-2 - 1). Let b be (9/18)/(d*(-3)/(-18)). Which is greater: b or -1/116?
b
Let r be (-15 - 9) + 14534/611. Are 0 and r nonequal?
True
Let d be (16/(-356))/((-2)/(-1)). Is 1 smaller than d?
False
Let k(c) = -c**2 + 16*c + 29. Let y be k(-16). Let g be y/(-7) + (0 - 0). Suppose -68*d + g*d = -2. Which is greater: d or 5/6?
5/6
Let w be (40/(-270))/2*1/(-303)*2. Is 1 equal to w?
False
Let u(m) = m**3 - 3*m**2 - 6*m - 27. Let w be u(5). Let q be -1 - w/7*361. Is q equal to 361?
False
Let g be 8625/825 - 10*1. Let j(q) = q**3 + 11*q**2 + q + 11. Let c be j(-11). Let x be -2*2/4 - c. Is x greater than or equal to g?
False
Let q = -1101 + 1773.2. Let s = q - 672. Which is smaller: s or 4.4?
s
Let t(v) = v**3 + 6*v**2 - v + 37. Let q be t(-7). Let d(m) = 12*m + 48. Let u be d(q). Which is smaller: u or -2?
u
Suppose 6*h = 53*h - 11186. Suppose -h = -11*g - 106. Which is smaller: 42 or g?
g
Suppose 0 = -1996*l + 2036*l + 80. Which is smaller: -91/150 or l?
l
Let w = 203 + -204.49. Let r = -0.71 + w. Is r greater than or equal to -1?
False
Let u = 34087 - 34084.9791. Let q = -0.0209 + u. Which is bigger: -49 or q?
q
Let y = 2657.18 + -2693. Let t = y - -0.82. Let p = 27 + t. Which is greater: p or 0.2?
0.2
Let b = 950 - 4225. Is b less than -3276?
False
Suppose -3*x = 143 - 8. Let p = x - -38. Suppose -a + 7 - 16 = 0. Is p > a?
True
Suppose -159*x = -315*x + 2496. Are x and -389 nonequal?
True
Let y = -3325 - -3468. Suppose l = 4*x + 134, l - 2*x - 51 - 87 = 0. Which is smaller: y or l?
l
Let q be (-8)/(-36)*-3 - (-454)/8. Let f = q - 14999/276. Which is greater: 2 or f?
2
Suppose 0 = -0*k - 2*k - 5*x + 169, -2*k = 2*x - 160. Suppose -d - 3*t - 13 = -k, t = 3*d - 152. Let z = 73 - d. Which is greater: z or 19?
z
Let p = 35.72 - 35.39. Which is greater: p or -0.1?
p
Let d(l) = l**3 + 1. Let n(y) = y**3 + 12*y**2 + 10*y + 17. Let p(z) = -2*d(z) + n(z). Let w be p(12). Let t = -126 + w. Is t at most 10?
True
Suppose 3*d + 5*f + 233 + 397 = 0, -2*d - f = 427. Which is smaller: d or -211?
d
Let k = 1/16280 + -6513/16280. Is 1/2925 at most k?
False
Let j be (-6 - (-8884)/(-30)) + 4. Let g = j + 298. Is g smaller than -5/4?
False
Let d be (-2)/(-1) + (-8812)/(-43). Suppose -546*x - 414 = -548*x. Let i = d - x. Is i > -1?
True
Let c = 88/25 + -716/175. Let t(a) be the second derivative of a**5/20 - a**4/4 - a**2/2 - a. Let v be t(3). Is v >= c?
False
Let m = -2299 - -2300. Let b be (1*(-1)/(-23))/(0 - 1). Which is smaller: m or b?
b
Let f be ((-488)/854)/(((-552)/301)/4). Is f at least 0?
True
Let a = -7103/7 + 836985/826. Is a greater than or equal to -1?
False
Let k be 13/(-39) - 8/(1056/44884). Which is greater: k or -339?
-339
Let p(d) = -d**3 - 9*d**2 + 10*d + 3. Let o be p(-7). Let x = 1984.1 - 1984. Is x smaller than o?
False
Let u(f) = f + 8. Let x be u(-5). Suppose -5*q + x - 8 = 0. Let y be (-4)/(-45)*((-50)/(-48))/((-31)/124). Is y smaller than q?
False
Suppose x - 4*l = -20, 0 = -5*x + l + 5 - 48. Let j be (-2)/(80/126) - x/2. Let z = j + -7/12. Which is bigger: z or -1?
z
Let r = -17315.6697 + 17316. Which is bigger: r or -4?
r
Let q = -1273 - -1354.7. Let r = -73 + q. Is -0.1 greater than r?
False
Let j be -32 - 2553 - (-52)/2. Is -2559 greater than j?
False
Let j be -2*15/6 - (-2119)/(-221). Let p = -116842/8007 - j. Which is smaller: p or 0?
p
Let j = 2469 - 2464. Let p = 11 + -7. Suppose 0*y + p*y - 2 = -2*u, 0 = 4*u + j*y - 7. Is 8/3 less than or equal to u?
True
Let l(x) = 9*x + 9. Let c be l(-5). Let b = -31 - c. Suppose -6*z + 57 = -2*z + b*h, 2*z - 1 = 3*h. Which is smaller: z or 7?
7
Let k be 2*((-105)/108)/(-5). Let h(u) = -u**2 + 107*u - 311. Let z be h(3). Is z < k?
False
Let x be (145/(-60) - 18/(-27))/(4/16). Let h be (-15)/(-4)*(-40)/26. Do h and x have the same value?
False
Suppose -4*b - 3*q - 143 = 0, 3*b + 6*q - q = -99. Let k be b - 0 - 6/1. Does k = -45?
False
Suppose 8*j - 255 - 1209 = 0. Which is greater: j or 5?
j
Let t be 18/(-36) - (2970/(-4))/(-5). Let s = -135 - t. Is s > 0?
True
Suppose 0 = 3*l - 3*k - 2286, -19*l + 21*l - 4*k - 1524 = 0. Which is smaller: l or 763?
l
Let c be 2/9 - ((-4)/54 - (-5079257)/(-1674)). Which is smaller: 3034 or c?
3034
Let q be (69/6 - 11)*2. Are q and 6/317 unequal?
True
Suppose 5*z = -4*l - 17, -77*l - 7 = -78*l + z. Suppose 0*t - 6 = -2*x + t, -14 = -l*x + 3*t. Let v(s) = -32*s - 1. Let h be v(1). Which is smaller: x or h?
h
Let k be (-3)/(168/(-16)) - (-130)/(-112). Which is greater: k or 0.05?
0.05
Let n be 1*-1 - (-1)/((-5)/