= 1862 - 2703. Let u be (-260484)/310 - (-36)/(-60). Let b = u - a. Which is smaller: 1 or b?
b
Let k = -3.07 + -130.93. Let n = -123 - k. Is n greater than -2/7?
True
Suppose 13*k - 15*k = -16. Let j be (-4)/k*12*2. Which is bigger: j or -10?
-10
Let c(s) = -s**2 - s - 4. Let l be c(-3). Suppose 0 = n - 6*n + 960. Let p be n/(-15) + (-8)/l. Is -12 smaller than p?
False
Let z(k) = 14*k - 7. Let x(u) = u**3 + 2*u**2 + u + 1. Let h be x(0). Let g be z(h). Is g less than 6?
False
Let x be (56/18)/(-14) + (-14327)/18. Let r = 794 + x. Which is greater: r or -1/3?
-1/3
Suppose -n + 31*z - 8 = 33*z, -z + 23 = -4*n. Let y(w) = -w**3 - 7*w**2 + 6*w - 41. Let p be y(n). Is p >= -1/2?
False
Let u = 842 - 346. Is u greater than 493?
True
Let h be -35 - (-7 - (-7 + -13)). Do h and -538/11 have different values?
True
Suppose 0 = -5*l + 6*l + 7. Let c(w) = w + 12. Let d be c(l). Suppose -3*f - 41 = -2*n + 52, d*f - n = -162. Is -33 at least f?
True
Let x = -19625312 + 529825492/27. Let k = x + 2146. Do -1 and k have different values?
True
Let u(r) = 19*r**2 - 9*r + 1. Let h be u(2). Let w = -51 + h. Is 12 greater than w?
True
Let l be ((-2)/3)/((-4)/(-36)). Let k be l/(-1 - (-5)/(-10)). Suppose -8 + k = -4*v. Which is greater: -2/25 or v?
v
Let f = 122999/32 - 3843. Let s = f - 11/32. Let i = -3037/60 + 203/4. Which is smaller: i or s?
i
Let r(d) = 547*d - 215. Let t be r(3). Is t <= 1422?
False
Let c be (((-6)/(-18))/(32/312))/((-346)/8). Which is bigger: c or -1?
c
Let s = -1002 + 662. Let z be (-17)/s*10/16. Is z at least -1?
True
Let y(m) = -2*m**2 + 316*m + 25 - 106 - 274*m. Let x be y(19). Is 34 > x?
True
Suppose -3*y - g = y - 104, -33 = -y - 2*g. Which is greater: y or 14?
y
Let z = -8 + 13. Suppose 3*o + z = -2*o. Let a be (21/(-385))/((-3)/(-62)) + (-9)/33. Which is bigger: o or a?
o
Let u be -1*15/(-20) + (-11)/4. Let w be u/20 - 1863/270. Does -98/13 = w?
False
Let d = 1519 - 116967/77. Let i = -5487/385 - d. Let g = -14 - i. Which is smaller: 0 or g?
0
Let a = 18838117/1212 - 15543. Which is smaller: a or 0?
0
Let k(t) = -t. Let b be k(-20). Suppose 0 = -4*d - 0*d + b. Let v be (d/(-10) + 0)*8/(-334). Which is bigger: -1 or v?
v
Let l be ((-6)/(-4) - 2)*6. Suppose 0*o - s = -5*o - 23, -3*o = s + 9. Let g be 76/(-20) - o/(-10)*-2. Is g greater than l?
False
Let g(i) = -i**3 - 21*i**2 + 9*i - 5. Let s be g(0). Suppose -2*t - 2*b - 4 = b, -b = -3*t - 6. Are s and t nonequal?
True
Suppose t = d + 1, -3*d + 5*t = 6 + 7. Suppose -3*c - 125 + 5 = -2*l, -4*c = d*l - 240. Is l < 62?
True
Let d = -3080 - -3079. Which is bigger: d or -3/905?
-3/905
Suppose 0 = -f - 3*n - 984, -5*n = -2*f - 0*n - 2023. Let o = f + 19959/20. Which is smaller: 0.1 or o?
o
Let x = -18769 - -19271. Which is bigger: x or 475?
x
Let y = -296413717/3134 - -94580. Is -1 at most as big as y?
True
Let d(a) = 3*a**2 - 15*a + 15. Let k be d(3). Let g be ((-1245)/9 + -8)*k. Does 440 = g?
False
Suppose -10*f - 3*f = -156. Let k(u) = 29*u + 3. Let q be k(f). Let p be 8/(-6)*q/18. Which is smaller: p or -25?
p
Let v be (106/9 + -12)/(2/(-18)). Let s be v/((-2)/21*39/91). Is s > -242/5?
False
Suppose 20 = 4*s + s - 4*i, 0 = -2*s - 3*i - 15. Let z be (2/(-3))/(2/(-15)). Suppose 0 = 2*k + 3*a + 38, k + 12 = z*a - 20. Is k bigger than s?
False
Let b be (5 + 28/(-8))*(-4)/(-3). Suppose 3*a = r + 53, b*r + 13 = 3*a - 45. Suppose -6*o + a = -14. Are o and 7 equal?
False
Let u be 264/(-308) + 3763/4431. Is 1 bigger than u?
True
Suppose 36 = -15*x + 6*x. Let m be x - -30*36/8. Suppose 3*z + 119 = m. Is 14/5 equal to z?
False
Suppose 28 = -4*b, -11*h + 410 = -6*h - 5*b. Is h greater than or equal to -58?
True
Let o be (-2)/4*2/3. Let q(u) = -u**2 - 10*u + 12. Suppose 0 = -3*n + 5*w - 6*w - 31, 2*w - 4 = 0. Let y be q(n). Is y not equal to o?
True
Let b = 3.8378 + -3.3878. Which is bigger: 32 or b?
32
Let s(r) = -r + 17. Let d be s(18). Let c be (-192)/460*(319/22 + -12). Which is smaller: d or c?
c
Let o(h) = -h**2 - 24*h + 46. Let w be 12/42 - (-33)/7. Suppose 2 = -w*q - 128. Let p be o(q). Are p and -19/4 nonequal?
True
Let r = 4125 + -4341. Which is smaller: r or -212?
r
Let t = -77310 + 6339421/82. Let b = -1 - -2. Which is smaller: t or b?
t
Let b = -13 - -19. Let h be 6/b*(1 + -2). Let m be (-408)/264 + (0 - 1/(-1)). Which is smaller: h or m?
h
Let d = 10839.3696 + -10840. Is d greater than -0.1?
False
Let r = -275.84 - -276.64. Is -111 greater than r?
False
Let c = 10.1949 + -0.0949. Let j = 34 + -24. Let l = j - c. Is 15 at least l?
True
Let h(u) = 12*u - 370. Let b be h(28). Let p be (b/(-136))/((-5)/(-8)). Is -232 greater than p?
False
Let g be 9/(-2)*(2 + 12). Let l(s) = 251*s**2 + 1262*s - 29. Let r be l(-5). Which is smaller: r or g?
r
Let q be (40/(-30))/(4/(-312)). Suppose 97 = w - 3*b, 9*w - 3*b - 509 = 4*w. Which is greater: w or q?
q
Let c = 12 + -11.81. Let k = 0.18 - c. Let j = -0.99 + k. Is -2/7 greater than j?
True
Let g = -189 + 33. Let c be (-6)/1 + (-18 - g). Which is bigger: c or 130?
c
Suppose -165 = -2*j - 47. Suppose j = t - 54. Let w = t + -110. Which is bigger: 0 or w?
w
Let k = -5 + 2.8. Suppose 37*b - 76 = -39*b. Is b != k?
True
Let z be 124/44 - (-8)/44. Suppose z*t = 2*m + 10, -t - 9 = 5*m - 1. Suppose 0 = t*o - 4*l - 6, -o - o = 2*l. Which is greater: o or -20?
o
Let p(t) = -16*t + 23. Let m be p(-10). Suppose -180*g = -m*g - 9. Is g greater than or equal to -38?
True
Let w = -0.07538 + -0.12462. Which is bigger: -90 or w?
w
Suppose -f + 27 = 2*f + n, -5 = -f + n. Let h be (-30)/6*(-2 - (0 - 1)). Suppose -2*i = h*z - 4*i - 6, -z - 3*i = 9. Which is bigger: f or z?
f
Let s = -9455 - -9327. Which is smaller: s or -88?
s
Let i(s) = 62*s**2 + 2*s - 60. Let m be i(5). Let p be 8 + (-15)/(m/808). Which is greater: -12 or p?
p
Suppose 0 = 3*m - 4*z - 1, 5*m + 2 = 3*z - 0*z. Let l = 5630356106/3731 - 19616790/13. Let t = -634/7 + l. Which is greater: m or t?
t
Suppose -13263 + 65763 = -10*o + 35*o. Which is smaller: 2096 or o?
2096
Let k = 3773 - 8685. Is -4911 <= k?
False
Let s(i) = i**3 - 13*i**2 - 3*i + 514. Let z be s(0). Suppose -9*c + z = -233. Which is smaller: 81 or c?
81
Let w be (-8)/(-28) - 4/((-10192)/(-7449267)). Let f = -2923 - w. Which is greater: f or -1?
f
Suppose 9*y - 12569 = v + 11*y, -4*y - 50292 = 4*v. Let x = -176213/14 - v. Which is smaller: x or -11?
-11
Let h = 11.961 - 12. Let m = -50.039 - h. Is -1/4 equal to m?
False
Let h = 704 + -96441/137. Which is smaller: -1 or h?
-1
Let c = 15333.7 + 272.3. Is c less than -0.1?
False
Let h be ((-2)/8*-2)/((-96)/(-192)). Is -2/6093 at least as big as h?
False
Let x(f) = f**3 - 5*f**2 - f + 5. Let d be x(3). Let v(p) = p**2 + 6*p + 12. Let j(t) = -t**2 - 1. Let n(m) = 2*j(m) + v(m). Let s be n(-3). Is s < d?
True
Let g(h) = -443*h + 82. Let f be g(0). Let n(o) = 2*o**3 - 4*o**2 + 5*o - 4. Let c be n(4). Which is smaller: c or f?
c
Let b = 270.54 - 269.54. Is 0.0605 < b?
True
Let z be 0/(-6) - (-4)/(-1650). Let w be (-2)/(-7) + (-9214)/34650. Let s = w - z. Is s at least -1?
True
Let h(y) be the first derivative of -y**4/4 + 8*y**3 - 11*y**2 - 30*y + 40. Let v be h(23). Let p = -2.6 + 1.6. Is p bigger than v?
True
Let o = 14.4 - 59.4. Let x = 33 + o. Is 3 less than x?
False
Let f = 8795 + -8808. Are -0.098 and f unequal?
True
Let s(f) = 19*f + 2. Let d be s(0). Which is smaller: 70/59 or d?
70/59
Let f = -3717 + 3752. Which is bigger: 324 or f?
324
Suppose -20 = y - 5*y. Let m(d) = 2*d**2 + 2*d + 2. Let k be m(-2). Suppose -n - y = -k*n. Which is bigger: 0.25 or n?
n
Let y = 48.9 + 0.1. Let z = 29 - y. Let v = z + 19. Which is bigger: -8 or v?
v
Let s be (14/8)/((-4)/16). Let b(q) = -q**2 - 8*q - 5. Let c be b(s). Let k be (-21)/(-15)*((-12)/84 + 1). Does k = c?
False
Let j = -197322/959 - -1440/7. Suppose -8*l + 0 = 8. Which is greater: l or j?
j
Let f(o) = 2*o + 13. Let t be f(-4). Suppose 2 = 2*i + 3*u - 9, t*i - 22 = -2*u. Suppose -k - 4 = 0, 0*l - 8 = -i*l - 2*k. Which is greater: 6 or l?
6
Let q = 786.8764 - 785.2. Let z = q + 0.0236. Which is smaller: -7 or z?
-7
Let x be 6/4 + 3101/(-70). Let l = 43 + x. Let b = 0.08 - 0.08. Is b equal to l?
False
Let u(m) = m**2 - 10*m - 129. Let j be u(23). Let n be (-2)/(-20) + (-6477)/j. Is n smaller than -38?
False
Suppose 32 = -2*f - 2*u - 32, 4*f - 4*u 