t t be 1 + (-41 - 2) + n. Is f <= t?
True
Suppose 3*y - 2973 = 2*i + 2*y, 0 = -5*i + y - 7437. Let v be (i/(-380))/(-4) - (-3 - -2). Which is greater: v or 1?
1
Let q(d) = -4*d + 16. Let y be q(-16). Let f be 2/18*1 + y/1800. Which is greater: 1 or f?
1
Let a = -32324 + 72438085/2241. Are a and 1 equal?
False
Let y(p) = -27*p + 204. Let k be y(7). Suppose h + 4*h = 4*n + 20, k = -3*n - 2*h. Let s be 213/(-33)*1 - -1. Is s less than or equal to n?
True
Let h = -279 - -279.1. Let n = -11 - -9. Let r be -4 + (-69)/(-36) - n. Which is bigger: h or r?
h
Let r be 3/(1/(-2) - 0). Let k(f) = -f - 13. Let d be k(r). Let b = -2.93421 - -3.03421. Is d at most b?
True
Suppose 53*p - 693 = 152*p. Is p less than or equal to -77?
False
Let p = -11.72 - -11.42. Let z be 1*12 - 84/28. Which is bigger: p or z?
z
Suppose 15 = d + 6. Suppose -873 = -3*x + 5*y, -4*x - 2*y = -3*y - 1164. Let w be x/1068 + d/(-36). Is 0 bigger than w?
False
Let o be -30766*3/36 + (-29)/(-2958)*17. Is o <= -2563?
True
Let w = 182/9 + -1873/45. Let o = 14 - 35. Which is smaller: o or w?
w
Suppose -13*h + 26 = -39. Suppose 9*z - 8*z = -3*c - h, -2*c = -3*z + 7. Let m be -2*(-4)/2*(-10)/(-152). Is z bigger than m?
True
Let q(m) = -24*m - 376. Let z be q(-10). Let r be (-248)/2*(-68)/z. Are r and -62 equal?
True
Suppose 4*c + 75 = -3*j, -c - 3*j = -3*c - 33. Let v be (-15)/c - (5 - 3). Let a be 3/12 + 1/(-4)*5. Which is greater: a or v?
a
Suppose n + 5*j + 19 = 0, -76 = -3*n + 5*j - 53. Which is greater: n or -1990?
n
Let n = 102 - 97. Suppose n*q = -689 + 554. Which is smaller: q or -28?
-28
Let i = -3820 - -3843. Is i less than or equal to 171?
True
Let v = -30 + 187. Let g be (16/(-4) - -7)*v. Which is smaller: 470 or g?
470
Let k(m) = 79*m - 244. Let i be k(3). Is i <= 4?
True
Let c = 279.5 - 280. Which is smaller: c or -38?
-38
Let n be (-576)/64 + 2 + 12441/1776. Which is smaller: -1 or n?
-1
Let f = 11.8 + -150.8. Let k = -172.9121 - -33.9751. Let a = f - k. Is -1 less than a?
True
Let l be 27/(-36) + ((-118)/(-8) - 0). Let r be (-1)/(l/(-2))*(44 + 1). Which is bigger: 6 or r?
r
Let x(k) = k**3 + 15*k**2 - k - 11. Let s be x(-15). Suppose 0 = 4*q + w - 19 - 164, -2*q + 102 = s*w. Let p = -46 + q. Which is greater: 5/19 or p?
5/19
Let o = 177 + -160. Suppose o = 3*f + 14. Let q = -7408/19 - -390. Is f at most as big as q?
False
Let t = -28 - -41. Suppose 0 = -3*v + 16 - t. Let p be (v + -2)*(-7)/(-21). Which is smaller: 1 or p?
p
Suppose 0 = -w + j - 118, 6*w - w - 2*j + 587 = 0. Let r be (62/(-93))/(0 + 2/w). Which is greater: r or 0?
r
Let o be (-4416)/(-7590) + (-8)/44. Is -32/43 <= o?
True
Let q = 239 + -87. Let w = -155 + q. Which is smaller: w or 0.026?
w
Let q(t) = 5*t**3 - 41*t**2 - 60*t + 50. Let r be q(14). Is 4894 less than r?
False
Let u be (28/7)/((-4 + 3)/(-1)). Suppose -j - u = -o, 2 = 5*o - 18. Is -11.3 less than j?
True
Let j = 0.042 + -0.042. Let u = 0.0119 + -93.0119. Is u <= j?
True
Suppose 4*p + 0*p - 26 = 3*z, 4*z = -p + 16. Let q(r) = 5*r**2 - 6*r + 14. Let l be q(2). Suppose 2*c + 5*t + 0 - l = 0, -c + 5*t = 4. Which is smaller: p or c?
c
Let r = 364.8 + -408. Let v = -5.2 - r. Which is smaller: v or -1?
-1
Let b = -2631/2 + 1315. Is -940 less than b?
True
Let w(l) = l**2 - 10*l - 1. Let o be w(10). Let m = -1.3 + -4.9. Let g = m + -11.8. Which is greater: o or g?
o
Let h = 9665/2 + -4790. Let c = 53 - 11. Which is greater: h or c?
h
Suppose -b - 27 = -2*m, -4*m + 7 = 3*b + 58. Suppose 0 = -174*s + 102*s + 114*s + 42. Which is greater: s or b?
s
Let m be (2/6)/(4/45). Suppose -2*i + 319 = 3*w + 310, -15 = -4*i - 3*w. Which is smaller: m or i?
i
Let m(y) = -34*y**2 - 862*y - 88. Let v be m(-25). Are v and 2/5 nonequal?
True
Let o = 20.9135 - 4.9339. Let j = -0.0204 - o. Which is smaller: j or -0.11?
j
Suppose 5*v + 5*b = 15, b = -v + 6*b - 15. Let q = 35 + -36. Let y be q/(-2)*216/828. Which is smaller: v or y?
v
Let p be ((-12)/(-600))/(6/2628). Is p <= 9?
True
Let d be 2 + (-52)/22 - (-62124)/(-4618152)*-27. Which is bigger: d or -1?
d
Suppose 0 = -5*h + u + 20, 0*h = 3*h + 2*u + 1. Suppose -4*f - h*v - v = -12, -5*f = -v - 21. Suppose -f*a - 3 = -a. Which is smaller: a or -3/2?
-3/2
Let s = 183 - -62. Let h = 259 - s. Which is bigger: h or -7?
h
Let c be ((-264)/48)/((-1)/2). Is 18 > c?
True
Suppose -1147 = -h + 476. Suppose h - 783 = 5*p. Which is smaller: p or 169?
p
Let f = -1 - 2. Let n be f/(37/(-17) - -2) - 1. Let r = n - 14. Do r and 18/11 have the same value?
False
Let g(p) = -p + 29. Let d be g(33). Let h be 4/2 + 9 + 5. Suppose k = -3*w - 20, -4*w + k - 13 = h. Which is greater: d or w?
d
Let o be -2 + -3 + 1344/(-72)*6*1. Is o less than or equal to -85?
True
Let f be ((-12)/(-6))/(-2)*-1. Let b be (-182)/14 + f*-2. Is -15 bigger than b?
False
Suppose -3*s + 23 = -b + 31, s = -3*b + 14. Let z = -15 + 9. Let y be (((-400)/24)/((-4)/z))/s. Is y greater than 27?
False
Suppose -19 = 2*x + 333. Suppose 320*k + 173 = -80*k - 11*k - 72574. Is x at least as big as k?
True
Let c = 905401863937/108030 - 83810229/10. Let m = -3/277 - c. Which is greater: 0 or m?
m
Let p be (-2)/4*16/(-118). Let f be (-64)/((-1920)/35) - (10/12)/5. Is p bigger than f?
False
Let f = -0.652 + 0.552. Let r = 0.19 + -0.87. Let b = r - -0.18. Are f and b nonequal?
True
Let h = -2616.7 - -2672.7. Is h > 89?
False
Let t = 2720.3 - 2720. Are t and -0.5 unequal?
True
Let x(v) = -v**2 + 4*v - 6. Let c be x(5). Let w(r) = 4*r + 20. Let y be w(c). Let h be y/8 + (1 + -2)*-7. Is 12 <= h?
False
Let a = -323.4 + 30.4. Let m = a - -292.942. Is m <= -1?
False
Let b(f) = -32 + 9*f + 10 + 285*f**2 - 27*f - 286*f**2. Let w be b(-17). Do w and 0.26 have the same value?
False
Let y be -2 - 4432/(-480)*5. Is 43 at least y?
False
Let h = -5 + 9. Suppose 0 = -2*g - 16 + h. Let u be (g/(-216)*-4)/(2*-2). Which is smaller: 0 or u?
0
Let p be (0*(72/(-900) + 111/450))/(-4). Do -2/22617 and p have the same value?
False
Let r(q) = 6*q - 143. Let f be r(25). Let l(m) = m**3 - 8*m**2 + 2*m + 33. Let j be l(f). Let v be (8/10 + -1)*9. Which is smaller: v or j?
j
Let q be (5296/8 - (7 - 14))*(-14)/(-6). Is q smaller than 1564?
True
Let d = 15004/19 + -792. Let z = d + 346/133. Is z at least 1/133?
True
Suppose -2*v - 132 = 4*p, -2*p - 312 = -v - 242. Which is smaller: p or -35?
-35
Let g = 28761 - 22953. Which is smaller: g or 5810?
g
Let s = 3645 - 3311. Is 2 at least as big as s?
False
Let v = 5334 - 5307.736. Let h = -0.264 + v. Is -1/4 smaller than h?
True
Let k be (-7 + -7)/(1/2*4). Let f(a) = 5*a**2 + 10*a - 12. Let n(y) = -11*y**2 - 21*y + 25. Let h(x) = 9*f(x) + 4*n(x). Let p be h(k). Are 3/22 and p nonequal?
True
Suppose 70*a = 2*w + 73*a + 42, -4*a - 105 = 5*w. Is w greater than or equal to -20?
False
Let c be 7 - (20/4 - 2). Suppose -p + 2*n = 17, -p - c*n = -2 + 7. Suppose -7*m - 1283 = -1213. Which is smaller: m or p?
p
Let y = -1.3533 - -0.3533. Which is bigger: y or 2389?
2389
Let h be 2*(2 - 27/6). Let n be 7/(-1)*(-1 + -4)/h. Is n equal to -0.7?
False
Let o = 16560 - 6576. Which is bigger: -0.2 or o?
o
Let z be (1 - 36/20)*(-1815)/2. Which is smaller: 730 or z?
z
Let l be 9 - (4 - 9/6*2). Suppose 0 = -2*m + l, 5*n = -0*m - m + 604. Suppose -121*i + 125*i + n = 0. Which is bigger: -29 or i?
-29
Suppose 28*n + 101 = 297. Let x be ((-448)/91 - -5)*n. Is 1 at most as big as x?
False
Let b = 12 - 13. Let c be 2/8*(b - 0). Let x be (-2)/(-4) - (-567)/(-1062). Which is smaller: c or x?
c
Let y be (-9105)/3 + (-52 - -41). Is -3045 at most y?
False
Suppose -f = 2*g, -16 - 32 = -4*f + 4*g. Suppose 4776 - 4763 = -13*s. Is f less than s?
False
Let t(c) = -c**3 + 6*c**2 + 2*c + 6. Let g be t(6). Let j be 904/g + -2 + 64/36. Is 48 at least as big as j?
False
Suppose a = 4*a. Let t be 2/(-8) - (-250)/40. Let c be (-35)/(-168) - (2/t + 0). Which is smaller: a or c?
c
Let g be 270/(-81)*(-6)/(-5). Let c = 4 - g. Let a = c - 8. Which is bigger: -10/23 or a?
a
Let u be (3/(-4))/(1/28). Let i be -9 - -36 - (-70 + 120). Which is smaller: u or i?
i
Let d be (9 + 3 + -6)/(22 + 34333/(-1558)). Which is greater: d or -90?
-90
Let a = 38 + -22. Let c(z) = -2*z**3 - 4*z**2 + 2*z + 6. Let x be c(-2). Are a and x non-equal?
True
Let y be (0 - (-168)/(-81) - -2)*(-11 - -8). Which is greater: 2065 or y?
2065
Let m = 