 - 5 = r. Is -2/191 bigger than v?
False
Let f = 0.06533 - 360.06533. Is f at least 3/2?
False
Suppose -346 = 3882*x - 3884*x. Is 173 less than or equal to x?
True
Let z be (-1)/(3 - 7/2). Let x(d) = 4*d - 8 - d**z + 2*d + 14. Let n be x(7). Is 5/14 <= n?
False
Suppose 0 = 296*t - 343*t + 36754. Which is greater: t or 778?
t
Let p be 5 - ((-2)/10 - 284/5). Is 62 not equal to p?
False
Let z = -15 + -5. Let l be (z/(-6))/((-14)/42). Let b be 2/l - (-182)/210. Is -10 at least b?
False
Let p be (1/(-3))/(3/(-9)). Let c(b) = -151*b**2 + 746*b + 12. Let w be c(5). Which is greater: w or p?
p
Let l = -9 + 5. Let r(q) be the first derivative of 7*q**2/2 + 21*q - 1988. Let a be r(l). Which is smaller: 0.4 or a?
a
Let s = 0.048 - 25.048. Let u = s + -24. Let m = -49 - u. Which is bigger: m or -15?
m
Let z(u) = -4*u**3 - u + 1. Let l be ((-5)/75*3)/((-2)/10). Let r be z(l). Let x be (42/(-20))/(2/5). Is x smaller than r?
True
Let x = 254 - 200. Let q = 56.2 + -1.2. Let s = x - q. Is s >= -1/27?
False
Let c be (-2833)/3 + (-330)/198. Which is greater: c or 1?
1
Let m = -0.09 + -88.91. Let c = m - -89. Is 0.022 less than or equal to c?
False
Let t = 9.1 - 10.53. Let m = 52.57 - t. Which is smaller: m or 2?
2
Let k = 12700 + -2300. Which is smaller: 10399 or k?
10399
Let o(c) = 123*c - 1230. Let h be o(10). Which is bigger: -1/8580 or h?
h
Suppose 0 = -4*y + 5*u - 2*u + 232, 94 = 2*y + 4*u. Let j = y + -56. Let c be (-20)/4*(j - 3/(-15)). Which is greater: c or 5?
5
Suppose 31 = -u - 3*d, 3*u - 6*u + d = 93. Let g(q) = q**3 + 8*q**2 - 5*q + 6. Let b be g(-9). Is u at most as big as b?
True
Let o = 1601 + -2263. Let t = -11235/17 - o. Which is bigger: t or 0?
t
Let z(u) = -7*u**2 - 92*u - 156. Let f be z(-2). Which is bigger: f or -3/514?
f
Let t be 60/(-45)*(-6 + (-1134)/(-192)). Is t greater than -4/15?
True
Let i = 49 + -43. Let x(j) = 3*j**2 + j - 7. Let y be x(i). Let l = 109 - y. Is l less than 11/7?
False
Suppose 137 = 5*o - 153. Let p be (-58)/o + 3/((-3)/7). Is -7 <= p?
False
Suppose 26 = -11*p - 20*p + 5*p. Which is smaller: p or 3/3967?
p
Let p(m) = -m**2 + 12*m + 15. Let g be p(12). Suppose 55 = 5*z - 0*u + u, 5*u = z + g. Suppose -z*r - 52 = -6*r. Which is smaller: r or -10?
r
Suppose 14*c - 112 = -0*c. Suppose 0 = c*h + 33*h + 41. Is h greater than or equal to 6/89?
False
Let i be (19/(-57))/(3/(-765)). Suppose 5*g = -101 + 526. Is i greater than g?
False
Let h be (-69)/57165*20120/(-90). Let r = h - -2/4635. Is 1 != r?
True
Let m = -5.056 + 1.056. Which is bigger: m or 1/3?
1/3
Suppose 4*t = -13 - 3. Let x be t/(-10) + 4/(-10). Let u be (0 - 1)*(-31)/(-10) - (-4 + 0). Which is greater: u or x?
u
Let b be (-88)/((-110)/10) - (4 + 4). Is -1/41 > b?
False
Suppose 9*s + 5*s = 7*s. Suppose -17*f + 13*f - 196 = s. Let p = f + 39. Is p bigger than -16?
True
Let o = -37.6 - -38.593. Let b = 0.95 - o. Is b less than -1/4?
False
Let v = 2/73 - 1182/511. Let b = -61/42 - v. Suppose -74 = -81*y + 44*y. Which is smaller: y or b?
b
Let r be 40/(-12)*(-3 + (-12)/(-10)). Let k be (-15)/(-6)*(4 + 0 + r). Let b = 25 - k. Do 0.49 and b have the same value?
False
Let o be (2/3)/(322/(-42)) + 9630/99636. Which is greater: 0 or o?
o
Let q(v) = -2230*v - 11244. Let z be q(-5). Which is smaller: -75 or z?
z
Let f be 8/64 - (-1985)/(-8). Let q = 249 + f. Is q not equal to -14?
True
Suppose -5 = -z + 8. Suppose -z*u + 15*u = 12. Is 9 < u?
False
Let q(a) = -a**3 - 2*a**2 - 2*a - 4. Let r be q(-2). Suppose r = -18*n + 7*n + 418. Which is smaller: n or 41?
n
Let x = -7921/16 - -495. Let m = -14.9 + 16. Let w = m + -1. Which is smaller: x or w?
x
Let k = -3 - -4. Let r = -24390163/485 - -50289. Is k at most r?
False
Let r(s) = -s**3 + 38*s**2 + 217*s - 86. Let n be r(43). Are 4/1335 and n equal?
False
Let n be 32/(-4) + 4 + 3 + 2. Let c be 645/(-90) + n/2. Let v be 12/(-8)*(1 + (-2)/6). Which is greater: c or v?
v
Suppose 0 = -i - 5*j - 28 + 7, 3*j = 3*i - 27. Suppose 5*w = 5*t + 245, -i*w + 160 = t + 4*t. Suppose 0 = -d - 4*d + w. Is d greater than or equal to 10?
False
Let d(u) = -u**2 + u + 4. Let i be d(3). Let t be 3*((-11428)/204 + i). Let m = t + 174. Is m > 0?
False
Let c = -14235 - -13954. Which is smaller: 16 or c?
c
Let g(p) = p**3 - 147*p**2 + 303*p - 1886. Let b be g(145). Which is smaller: b or 2/6193?
b
Suppose 4*g + 26 = -2*b + 16, -1 = 5*b - 2*g. Let y be ((-109)/109)/((2/(-2))/b). Is 1/74 greater than or equal to y?
True
Let h(y) = y**2 + 51*y + 566. Let m be h(-16). Which is bigger: m or -431?
m
Suppose -u - 23 + 7 = -5*z, -4*u + 8 = -2*z. Suppose -5*v = 4*b, -b - u*b = 5*v. Let s = 827/4240 + -11/53. Which is greater: s or v?
v
Let y be (1050/20)/(-21)*(-184)/10. Let f = 5 - -26. Let v = f + 13. Is y greater than or equal to v?
True
Let f(k) = k**3 + 7*k**2 - 7*k + 6. Let x be f(-8). Let i be (2 + (-16)/10)/(14/700). Let w = i + -21. Are x and w non-equal?
True
Let a(l) be the first derivative of l**4/4 - 2*l**3 + 3*l**2/2 - 9*l - 16. Let b be a(6). Suppose -b*x - 120 = 3*x. Is 2/9 >= x?
True
Let g = -76.317126 + 0.044126. Let n = 0.273 + g. Is -0.1 < n?
False
Let w be (8/30)/((-6)/(-105)). Let v = -19106 - -19112. Which is smaller: w or v?
w
Let d = -5 + -6. Let m(g) = 6*g - 300. Let w(c) = -15*c + 599. Let z(f) = 7*m(f) + 4*w(f). Let x be z(17). Is d not equal to x?
True
Let k be (11 - (18 - 6))*461/(-7). Which is greater: 67 or k?
67
Suppose -r - d + 10 = -20, 0 = 2*r - 3*d - 35. Let t be (-1 + -1)*(-9 + r + -8). Is t < -1?
True
Let y be 140/(-175)*(-8 - -58). Are -105 and y unequal?
True
Let b be (118/2)/(6 + 29/(-5)). Let w = -299 + b. Which is smaller: -0.3 or w?
w
Let j = 9 - 12. Let r be (-5)/(j + 3 - 1). Suppose 4*m = -y + 23, r = m + 1. Which is bigger: 8 or y?
8
Let z(w) = -2*w + 7. Let b be z(4). Let v be -1 - 110/(-35) - b. Let a = v + 2/35. Is a < 4?
True
Let q = -377 - -377. Suppose -22*t + 22 = -q. Are t and -7/16 equal?
False
Let j(x) be the first derivative of -x**4/4 - 2*x**3/3 + 7*x**2/2 + 7*x + 67. Let d be j(-2). Is -11 at most as big as d?
True
Let w = 77651 - 77888. Let q be (1 - -1)*-59*2. Which is smaller: q or w?
w
Let f be (16/(-156))/((-60)/18). Suppose -2*i - i + 6 = 5*a, -5*i + 10 = 3*a. Suppose a*o - o = 1. Which is greater: f or o?
f
Let r = -7.7 - -8. Let z = -75 + 74.84. Let t = 0.56 + z. Are t and r equal?
False
Let z = 5701 + -4888. Is 821 less than z?
False
Let s be ((-4)/(-6))/((-2324)/(-1494)). Which is bigger: 1627 or s?
1627
Suppose 0 = 2*n - i + 17, -4*i = -2*i - 2. Let z = 277 + -576. Let x = -308 - z. Is x < n?
True
Let l = -4568 - -4595. Suppose -5*w + 86 + 49 = 0. Is l smaller than w?
False
Suppose 283 = 2*n + 9*j + 297, 2*n - j - 106 = 0. Let s be 46 + 2*2/6. Does s = n?
False
Let l be 1176/7308*(-2)/76. Is -1 bigger than l?
False
Suppose 4*x = 3*m - 14, 3*x - x + 4 = 0. Let f be -7 + (-4)/(-2) + 19633/29. Let z = 675 - f. Are z and m unequal?
True
Let a(b) = -b + 1. Let t be a(1). Let r = -2/1543529489 + -4141289510759/83526554767746. Let f = r + -2/933. Which is smaller: t or f?
f
Suppose 21859 = -2*w - 39993. Let m be w/(-376) - (9/4)/(-3). Which is greater: m or 82?
m
Let r be (-43)/((-1)/1*1). Let c(u) = -2*u - 232. Let v be c(-139). Which is smaller: r or v?
r
Let c = 10812 - 10795. Is -3/2 at least as big as c?
False
Let d(u) = -u**2 + 7*u + 75. Let t be d(16). Let w = t + 63. Is w bigger than -80/13?
True
Let x(t) = t**2 - 50*t - 1139. Let r be x(-17). Is r <= 21/296?
True
Let a(t) = t**3 - 8*t**2 + 8*t + 7. Let p be a(7). Let u = -32 + 36. Suppose -4*b + 48 = -u. Which is smaller: p or b?
b
Suppose -31*t + 206*t - 10638 = -2413. Let u(n) = n**3 - 3*n**2 + n + 4. Let z be u(3). Let f = z - -40. Is t < f?
False
Suppose 0 = -3*w - 24 - 33. Let v = -51160 + 51142. Which is greater: w or v?
v
Let x = 2.96 - 3. Let l(p) = p - 21. Let c be l(21). Suppose c = f - 13*f - 24. Which is smaller: x or f?
f
Let j = 14 - 13.7. Let p = -0.5 + j. Let m(f) = 27*f - 5. Let y be m(1). Which is smaller: y or p?
p
Suppose -a = -30*a - 58. Let k(p) = -3*p**2 + 4*p + 5. Let v be k(-1). Is a greater than or equal to v?
True
Let a be (116/290)/(-5 + 46/10). Let c be (4/2690)/((-1)/(-5)). Which is greater: a or c?
c
Let s = 552 + -835. Let w = 47 - s. Is w at most as big as -1/4?
False
Let s(t) = 7*t + 14. Let o be s(-