than f?
False
Let u be ((-56)/(-52) - 1)*-8. Let c be (2 - 4)/(((-286)/(-33))/(-13)). Is c at most as big as u?
False
Let s = 782 - 779. Suppose -15*v - s*v = 936. Which is smaller: v or -47?
v
Let m = 1.79 - 2. Let u = -9.79 + m. Let t = u + 11. Which is bigger: t or 23?
23
Let f(i) = -i**2 - i + 15. Let o be f(3). Suppose t - 5*s = -47, -o*t + 7*t = -3*s - 211. Which is bigger: t or -54?
t
Let a be (-18)/4*16/(-6). Let w = 413385.06 - 413385. Which is bigger: w or a?
a
Let o(g) = -2*g**3 + 13*g**2 - 8*g + 10. Let x(r) = r + 1. Let w(z) = o(z) + x(z). Let t be (-1)/(-6) - -1*1085/186. Let j be w(t). Is j bigger than 8?
False
Let b(p) = 819*p**3 - p**2 - p. Let m be b(-1). Let n be (-3)/(-14)*(-52)/m. Which is bigger: n or -1?
n
Let u = 151 - 60. Suppose 5*j = 3*s + u, 0 = -5*j - 0*s + 5*s + 95. Is j at most as big as 18?
True
Let n = -252 - -414. Which is greater: n or 158?
n
Let q(v) = v**3 - 8*v**2 - 16*v + 26. Let p be q(10). Suppose -5*r - 3*a + 288 = -64, 3*a + 192 = 3*r. Is r greater than p?
True
Let j = 2353 + -2350. Which is bigger: j or -6/7?
j
Let m = -0.119 - 12.381. Let v = -12.2 - m. Let l = -3.3 + 2. Are v and l non-equal?
True
Let r = -4.11 - -3.83. Let o = r - -0.43. Is o at least -3?
True
Suppose 0 = -n + 5*n. Suppose 128 = 7*o - 33. Suppose -4*g - 2*h + 21 - o = 0, -5*h - 5 = g. Is g bigger than n?
False
Let a = 68.1 + 369.9. Let n = a - 437.96. Which is greater: n or -9?
n
Suppose -18*x - 27324 + 16089 - 24657 = 0. Is 3 at most as big as x?
False
Let i(o) = 76 - 28 + 2*o**3 - 7*o - 57 - 4*o**2. Let x be i(4). Which is bigger: x or 26?
x
Suppose 0 = -2*g + 6*g - 4. Let l = -2/5249 + -2083847/15747. Let t = -4370/33 - l. Which is smaller: g or t?
t
Let n = -90644/33 + 1430815201/520905. Let w = n - -16417543413/10591735. Let s = -1550 + w. Is 1 less than or equal to s?
False
Let z = 64 - 59. Suppose 2*r - 3*t = z*r, -2*r = 4*t + 2. Suppose -3*l + 5*g = -12, 3*l + 14 = -4*g - r. Is l less than 0?
True
Suppose -16 = -5*x - 2*o, -2*x = -5*o - 12 - 6. Let g be ((-2)/x)/(26 + -25). Let k = -2/103 + -93/515. Is k greater than or equal to g?
True
Let o = -304.6 + 349.6. Is o > -9?
True
Let v = 6605 - 4226. Which is bigger: -1 or v?
v
Let s = 92771204/1035 - 89634. Which is smaller: s or -1?
-1
Let w = -18354 + 11186. Which is smaller: w or -7167?
w
Suppose -b - 2*b + 2*f = -2176, -3*b + 5*f + 2173 = 0. Suppose 148*r - b = 150*r. Which is greater: r or 0.1?
0.1
Let l = 166 + -137. Suppose s - l + 13 = -3*r, -4*r = 3*s - 23. Which is greater: s or 1/97?
s
Let u(t) = 9*t**2 - 118*t + 10. Let m be u(13). Do m and 1935 have the same value?
False
Let q = -235 + 234. Let v = -30 - -12. Let o = v + 7. Are o and q equal?
False
Suppose -3*p + 8*p = -45. Let u be (p - 1)/(-2*2/14). Suppose -u = 10*c + 265. Are c and -31 non-equal?
True
Let z(o) = 2*o - 5. Let g be z(6). Suppose 160*y - 229*y = -483. Is g less than y?
False
Let y be (-264 + 9)/(4/(-36)). Suppose 13*l = -14*l + y. Is l <= 85?
True
Let m = 4576 - 4576. Which is bigger: m or 92/77?
92/77
Let d = 0.1 - 1.62. Let a = d - 1.08. Let s = 5.6 + a. Is 1/3 at least s?
False
Let t(n) = 2*n**3 - n**2 + 7*n + 1. Let z be t(9). Let r = z + -10023/7. Is r at least 8?
True
Let b = -620.1 + -39.9. Let s = 650 + b. Which is smaller: s or 4/15?
s
Let s be 1/((-22202)/(-2465) - 9). Is 112 equal to s?
False
Suppose 63*v = 66*v - 15, -2*m - 3*v - 193 = 0. Which is greater: m or -1338/13?
-1338/13
Let j = -1/58 - 111/290. Let h = 0.101 + -0.181. Let r = h - 0.12. Are r and j unequal?
True
Let f = -64 + 64. Let v(r) = 0 - 11*r**2 + f*r**3 - 4 - 6*r**3 + 5*r**3 - 10*r. Let q be v(-10). Which is bigger: -1/4 or q?
-1/4
Let t be (1 + 3)/(4/(-1)). Let r be t/(-26)*36 - 3. Which is bigger: -1 or r?
-1
Let y be (160/25 - 6) + (10381/35)/1. Is y bigger than 288?
True
Suppose 116*f + 20218 = -32*f + 6306. Is -94 >= f?
True
Let p(y) = y**3 - 8*y**2 + 16*y - 9. Let n be p(3). Let s(w) = -19*w + 87. Let a be s(n). Which is smaller: a or 200?
200
Let u be (-128217)/6 + 40/16. Which is greater: u or -21368?
u
Let f = -258 + 286. Suppose -2*a - 5*o + 78 = 2*a, -2*a - 3*o = -38. Suppose -a*s + f = -15*s. Are 17/4 and s non-equal?
True
Let a(d) = -8*d**2 - 68*d + 107. Let q be a(-12). Is -229 greater than or equal to q?
True
Let v = 548.4 + -599. Let p = 44 + v. Let l = 7.6 + p. Which is smaller: 1/62 or l?
1/62
Let r = -16 - -6. Let d be r/(-15) + (-480)/(-9). Let t = d - 164/3. Is -1 at least t?
False
Let g(j) = 194*j - 270. Let k be g(1). Which is smaller: k or -62?
k
Let z be ((-360)/(-540))/((-1)/1). Is 707 at most z?
False
Let y be (20/35)/(6/(((-84)/159)/2)). Which is greater: -1/15 or y?
y
Let v = -162 - -141. Let k = 18.9 + v. Suppose -2*d + 5*d = 0. Is d not equal to k?
True
Suppose 0 = -2*p - 1 + 17. Let w(u) = -2*u + u**3 - 14 - 8*u - 2*u + 8*u**2 - 7. Let y be w(-9). Which is bigger: y or p?
p
Let o = 4 + 1. Let z(k) = 290*k - 10129. Let a be z(35). Is a equal to o?
False
Let x = -11.403 + 11.3. Let k = 0.003 + x. Let z = -1.5 + k. Is 2 < z?
False
Let v be (-1 + 10466/(-660))/((-79)/(-2)). Let f = 1/395 + v. Does 1 = f?
False
Suppose -s + 178 = -w, -4*w - 716 = -4*s + s. Let f be (-1155)/w + (-4)/(-26). Let k(y) = -y - 4. Let z be k(-12). Is f less than or equal to z?
True
Let u be (-65)/(-668)*(-4)/(-12)*-8. Let w = -22697/267033 - u. Let f = 4/41 - w. Which is bigger: -1 or f?
f
Let d = 27 - 7. Let m be (-454)/d + 5/25. Let o = -249 + 227. Is m at most as big as o?
True
Let t = 536 - 968. Let b be (1 - 14/8)/(6/t). Which is bigger: 53 or b?
b
Let c be ((-25)/(-125))/(2 - (-33)/(-15)). Suppose -2*k - 32 = 2*s, s - 3*k = 2*k + 2. Let r be (-63)/s + c + -4. Which is bigger: 0.2 or r?
0.2
Let a be 69/414*28*13. Let x(h) = 2*h**3 - 5*h**2 - 2*h + 20. Let n be x(4). Which is bigger: a or n?
a
Let r be ((-112)/336)/((-2)/(-178)). Is 1/3 < r?
False
Let x = -61 + 41. Let a(y) = y**2 + 17*y - 82. Let h be a(x). Which is smaller: h or -20?
h
Let w(i) = i**3 + 6*i**2 - 17*i + 35. Let a = 282 - 291. Let c be w(a). Which is smaller: c or -53?
c
Let r(t) = 2*t**2 + 8*t + 14. Let u be r(-4). Suppose 0 = 22*l + u*l - 1476. Which is smaller: l or 40?
40
Let g(o) = -127*o**2 - 2. Let p(l) = l**2 - 14*l + 6. Let w be p(13). Let x be g(w). Let m = x - -1948423/313. Which is bigger: 0 or m?
0
Let w be (0 + 39/4)*(-788660)/(-5029). Let v = -1529 + w. Which is greater: -8 or v?
v
Let p = 4485 - 4485.1. Which is smaller: -11990 or p?
-11990
Suppose -n + 2*n - 5*r = 76, 165 = 2*n + 3*r. Suppose 4*b + n = 5*b. Let m be (-2 - -1*85) + -2. Is m less than b?
False
Let k = -77208/143 + 7026/13. Which is greater: 145 or k?
145
Let q be (-2)/(-8) - ((-515)/(-120))/(23/(-69)). Which is bigger: 14 or q?
14
Let u = -2.544 + -169.456. Which is bigger: 6 or u?
6
Suppose 2*m - 3*r + 1061 = 0, 2641 = -68*m + 63*m - 4*r. Is m <= -5?
True
Let k = 1.6 - 1.7. Suppose -115 = 4*r - 91. Let v = 4 + r. Which is smaller: k or v?
v
Let w(s) = -8*s**2 + 26*s + 67. Let z(c) = 21*c**2 - 53*c - 135. Let q(r) = 5*w(r) + 2*z(r). Let v be q(-8). Let g be (-118)/(-70) + 2/(-7). Is g > v?
True
Suppose 2*g + 16 = -2*g. Let o be g + (-2 - -81*1). Suppose -3*x + 0*x = o. Is -25 at most x?
True
Suppose k - 69 = 41*z - 39*z, 15 = -5*k. Let i = -61276/1641 + 4/547. Do i and z have different values?
True
Let z(p) = 3035*p + 9392. Let h be z(-6). Do -8820 and h have different values?
True
Let y = 270/203 + -4/7. Which is smaller: 0 or y?
0
Let r = -8445 + 8443. Which is greater: r or -169?
r
Let x = 212 + -386. Let n be (3 - (-520)/x)/(2/(-6)). Which is greater: 1 or n?
1
Let a = -101007 - -100983. Let q(x) = 3*x + 5. Let y be q(-4). Which is smaller: y or a?
a
Suppose 34*f = -429 - 387. Is f at least 95?
False
Let l = 348.126 - -3.874. Are 0 and l unequal?
True
Let m be (-3)/12 - (-177)/68. Suppose 8*c - 295 + 406 = 119*c. Which is bigger: m or c?
m
Suppose 607*x - 1 = 3 - 4. Is 3/454 not equal to x?
True
Suppose 13*h + 9682 = -2343. Let t = -650 - h. Is t at least 275?
True
Let y(v) = v**2 - 5*v + 8. Let o be y(3). Suppose -4*u - 5*n = -o + 26, -5*u - 3*n = 17. Let t = -8207/24 + 342. Which is greater: t or u?
t
Let r(i) = 13*i + 529. Let a be r(-125). Which is smaller: -1098 or a?
-1098
Let u = 137 + -123. Let b be (9*u/(-147))/((-6)/21). Suppose -y = -5*d + 24