o q?
False
Suppose -12*a = -5*a + 119. Let g(n) = -21*n + 107. Let o be g(6). Do o and a have the same value?
False
Let m = 41 - 113. Is -17 not equal to m?
True
Suppose 5*n - 3*b = 16, 5*b - 6 = 9. Suppose 23 = 4*j + n*m, -4*m + 2*m = 2. Let o = -3/6704 + 603393/73744. Which is greater: j or o?
o
Let p be (-16 + 350/21)*18/(-48). Let w = -45 + -22. Which is greater: p or w?
p
Suppose -7*o = 5*o - 72. Suppose 5*s - o*s - 3 = 0. Suppose -l - 2 = -1. Is s smaller than l?
True
Let t(o) = 434*o**2 + 3*o + 17. Let p be t(3). Let q = -916158/233 + p. Is q smaller than 0?
True
Let l be 2*1*9/18. Let u be (-14)/(-8) - (-15)/60. Suppose 0 = -u*a + 14. Which is smaller: l or a?
l
Let f be 7/21 + 3 + 272/(-72). Is 6.4 bigger than f?
True
Let s be 0*((-10)/4)/(-5). Let r be -1 - -4 - (-24)/2. Let n be (r/(-20))/(-3) - 19/4. Which is smaller: n or s?
n
Let n be (3*2/4)/((-42)/(-210) - -1). Let o(f) = f**3 - 10*f**2 - f + 10. Let a be ((-20)/6)/((-2)/6). Let s be o(a). Is s less than or equal to n?
True
Suppose 3*m = 6*m + 4*n + 38, -4*m - 4*n = 56. Let a be -9*(-2)/(-78)*80. Which is smaller: m or a?
a
Let x(a) = 32*a - 72. Let h be x(3). Let m be (130/20)/13 + (-13)/h. Which is greater: -13 or m?
m
Let q(h) be the first derivative of -179*h**2 + 3*h - 111. Let r be q(1). Is -355 at least as big as r?
True
Let i = 75 + -83. Let o be i/6 + (-5)/(-15). Is 9/23 smaller than o?
False
Suppose -4*u = -5*z - 42 - 58, 0 = 5*u + 4*z - 84. Which is smaller: -36 or u?
-36
Let k = 60 + -62. Let n be k/10*(-15)/42. Let q = -1 - 0. Which is greater: n or q?
n
Let x = -215.9664 - 0.0336. Let q = x - -243.5. Is -1 at most q?
True
Let j = 7/2 - 4. Let i(t) = t**3 + t**2 - t. Let q be i(1). Suppose 21*h - 1 + q = 0. Is j at least as big as h?
False
Let k = 30 + -12. Suppose -45 = 4*l - 3*r - k, 5*r = 4*l + 29. Let b be (-45)/21 - 0 - (-6)/(-2). Which is bigger: l or b?
b
Let o(m) = -2*m - 21. Let z(f) = 21*f + 14. Let x be z(2). Suppose 4 = -p + 3*v, -p + 3*v = -6*p - x. Let q be o(p). Which is greater: q or 2/5?
2/5
Suppose 19 = -5*t - 36. Let o(y) = -3*y - 3. Let x be o(t). Let i be (36/x)/(1/(-5)). Is -6 equal to i?
True
Suppose -123 = 2*z + 5*h + 20, -2*h + 343 = -5*z. Which is smaller: z or -65?
z
Suppose 3*p + d = 16, -5*p + 10 = -3*p + d. Let j be p/21 - (161/49 + -1). Which is smaller: j or -7/13?
j
Let x = 10953.1118 + -10953. Does x = 3?
False
Let u = 593 - 701.2. Let b = -6.8 + u. Which is bigger: b or 1?
1
Let w = -6348 - -6348.2. Are w and 505/4 nonequal?
True
Let x be 1230/(-738)*96/(-14). Let h(q) = -q**3 + 11. Let j be h(0). Which is greater: x or j?
x
Let l be (-1)/(-4) - 50/264. Let w = 260 - 261. Let s be -1*6 - (w - 5). Are s and l nonequal?
True
Suppose 3*o + 4*g = -2647, 0*o + 3*g + 1765 = -2*o. Let m = o - -7916/9. Let x = 61/36 + m. Is 0 <= x?
True
Suppose -2*p - 162 = 2*j, 701*p - 3*j = 700*p - 81. Which is bigger: p or -8?
-8
Let m be ((-1)/((-105)/(-30)))/((-12)/(-14)). Let d = -14.58 + 16. Which is smaller: d or m?
m
Let u be 48/(-45 + 29)*-25. Let i(r) = -3*r**2 - 1. Let j be i(-1). Let l be 2/(-4) + j/8. Is l greater than u?
False
Let f = -937/10 + -321/2. Are f and -255 non-equal?
True
Let s be (136/10)/1 - (-4)/10. Let w be 6/s + (-16321)/(-399). Let u = w + -41. Which is bigger: -74 or u?
u
Let p(f) = -3*f**2 - f + 108. Let w be p(6). Let s(c) = -4*c - 6. Let q be s(-7). Which is bigger: q or w?
q
Let w be 50/30*18/5. Let t be w + -2 + -11 + 3. Let l be (-49)/(-280) + t/5. Which is greater: -2 or l?
l
Let x(k) = 34*k**2 - 122*k + 11. Let a be x(-8). Do a and 3165 have the same value?
False
Let t = -11440 + 12072. Which is bigger: t or 631?
t
Suppose 0 = 98*j + 65*j + 2 - 2. Is 1/1464 < j?
False
Let g = 1387.5 - 1389. Do g and 63 have different values?
True
Suppose -74 = -30*t + 76. Suppose -3*i - 33 = -t*n - 133, n = -3*i + 70. Which is smaller: i or 29?
i
Let z = -3.8244 + -990.1756. Is z less than -0.06?
True
Suppose 5*a - 3*d = -8*d - 185, -5*d = -3*a - 135. Let p be ((-624)/a)/(1/5). Let c be (-42)/28*(-8)/p. Is c at least 1?
False
Suppose -3*m + 7*j - 3 = 4*j, 4*m - 3*j = -9. Is -62/13 at least as big as m?
True
Suppose 3*u - 2*w - 11 = 0, 0 = -5*u - w - 2*w - 7. Let y(d) = -2*d + 3*d + 6 + 3 + u. Let g be y(-7). Does g = 4?
False
Let b be (((-3614)/8)/(-13))/(1/20). Are b and 694 nonequal?
True
Suppose 6*p = p + 5*x + 125, 2*p = 4*x + 54. Suppose 0 = -z - 4*r - 273, 2*z + 5*r + 91 = -464. Let t = -263 - z. Which is smaller: t or p?
t
Let a be (-708)/(-355) + (1 - 3). Suppose 12*g + 106 = 250. Let u be (-20)/g + (-14)/(-21). Which is greater: a or u?
a
Let y = 76 - 80. Let b be (-2 - -16) + -1 + (y - 0). Let z(a) = 4*a - 36. Let m be z(b). Which is smaller: 7 or m?
m
Let n(i) = -2*i**3 + 10*i**2 + 12*i - 6. Let r be n(6). Let w be (-1 + (-6)/(-4))*r/15. Which is smaller: 79 or w?
w
Suppose 2*q = -4*z + 6 + 6, 12 = 4*z. Let w be (-2)/1 + 0 - 2. Let g be (q/w)/(-1 + 3). Is g equal to -2/3?
False
Let g = 1726 + -1727. Are -1269 and g unequal?
True
Suppose -v - 4 = 3. Let c(f) = -f**2 - 7*f + 2. Let t be c(v). Suppose 7 + t = 3*y. Is y < 3?
False
Let f = -892 - -749.9. Let t = f - -73.2. Let b = t + 69. Is 1 greater than or equal to b?
True
Let q = 4047 + -4046. Which is smaller: -94/3 or q?
-94/3
Let r be (-5)/(-1) + (-8)/((-13)/(-91)*-7). Which is bigger: 149 or r?
149
Let k(x) = -7*x**2 - 22*x - 12. Let m be k(-4). Let d(c) = -4*c**2 - 139*c + 7. Let z be d(m). Is -173 equal to z?
True
Let q be (-24)/390*(-5)/34. Let v = -203 + 207. Let m be (2/(30/(-65)) + v)*-3. Is q less than or equal to m?
True
Let l be (-3 + (-531)/(-1))*(-114)/1311. Is l < -47?
False
Let b = -172 - -192. Let o = -5 + 19. Let y = -13 + o. Which is smaller: b or y?
y
Suppose -2*r = 2*i + 68, -3*r + 4*i + 37 = -4*r. Suppose -4*q + 15 = -1. Let f be -31*1 + q + -6. Is f less than r?
False
Let z = 3736 - 3735.88. Which is greater: z or -0.9?
z
Let u be 2/4*(-14)/7. Let y = -1809 + 1808.9513. Is y > u?
True
Suppose -262 = k - 288. Let r be 3*(k/(-28))/(12/14). Which is smaller: 2/5 or r?
r
Let k be (-2500)/3120 - 3*4/(-16). Is k at least -66?
True
Let l = 245543 + -2251383764/9169. Which is smaller: l or 0?
0
Let v be (-1188)/(-121) + 2/11. Let i be ((-220)/v)/((-7)/14). Which is greater: 46 or i?
46
Suppose -142 = -2*v + 3*i, -2*i = -2*v - 4*i + 142. Let q = -167 + 105. Let g = q + v. Which is smaller: g or 7?
7
Let d be ((-1)/(-3))/(15/1530). Suppose 6*p + d*p = 0. Which is smaller: p or 9?
p
Suppose 44215 + 18263 = -9*v. Let c be ((-7)/(-6) + -1)/((-52)/v). Which is smaller: c or 23?
c
Let c = 2.577 + -2.7. Let m = 3.123 + c. Which is greater: m or -16?
m
Suppose -q - 5*c = 899, 4*q + 4*c + 1786 = -1730. Which is smaller: q or -873?
q
Let m = 5079 - 25705. Is m at most as big as -20626?
True
Suppose -37*l = -14*l + 50301. Let b = -41533/19 - l. Is b not equal to 1?
True
Suppose 5*s = -0*s - 4*h - 20, -s = -h - 5. Which is smaller: 612 or s?
s
Let u = -102 + 151. Let d = u + -49. Suppose d = 3*f - 3*c + 39, -4*f - 50 = 5*c + 29. Is -14 < f?
False
Suppose 2*l = l - 6. Let p be (-6)/(-1) - l/21. Let b(v) = v**3 - 12*v**2 + 30*v - 93. Let z be b(10). Is p > z?
False
Let i = 14 - 12. Let h(y) = 6*y**i - 5*y**2 - 1 - 18*y + 0*y. Let g be h(14). Is -57 at least g?
True
Let t = -69 + 70. Suppose a = -1 + 11. Let p be (2/15)/(82/a). Is t < p?
False
Let l = -1746 - -1745. Let b = -9/89 + 982/10591. Is b equal to l?
False
Suppose 10*t + 10402 + 22549 = -3859. Is 1 equal to t?
False
Suppose 3*o + 2*q + 67 = 4*q, 3*o - q = -62. Let x(d) = -d**3 - 3*d**2 - d - 1. Let g be x(-2). Let p(t) = 4*t - 3. Let z be p(g). Which is smaller: z or o?
o
Let s = 0 + 0.1. Let t be (-254*(-1)/(-28))/((-84)/(-49)). Let w = 3131/120 + t. Which is smaller: w or s?
s
Let a be -3 - 1 - (-2 + 8). Let x be a/25*-17*1. Let f be (-102)/(-14) + (-24)/84. Which is greater: x or f?
f
Suppose 0 = -13*i + 321 + 264. Suppose o + 4*o - 5*c = i, 4*o + 5*c = 9. Suppose -u = 3*h - 19, -7 = -u - h + o. Which is smaller: u or 9?
9
Suppose -3*h + 109 = -59. Suppose -85*f = -92*f + h. Is 120/13 less than f?
False
Let v = 39.845 - -35852.155. Which is smaller: v or -1?
-1
Suppose 0*i + i = -4*p + 9, -5*p + 6 = 3*i. Suppose 594 = -4*n + c, -p*n + 246 = -c + 691. Is n greater than -150?
True
Let b be (-108)/(-5 + -7) 