or -2/541?
p
Let z(k) = 3*k**2 - 2*k**3 + 3*k**3 - 3 + 7 - 3*k. Let v be z(-4). Let u = -16/11 + 251/165. Are u and v equal?
False
Let v = -2207/63 + 35. Let h = -336.9 - -337. Is v less than or equal to h?
True
Let r(l) = -l**3 + 12*l**2 - 32*l - 21. Let g be r(7). Is g at least 11/50?
False
Suppose 0 = v - 6 + 4. Suppose 0 = 3*c + 5*q - 3 + 7, -v*c - 2*q = 0. Is c less than 2?
False
Suppose -13 = 3*g - 52. Is g >= 32?
False
Suppose 0 = 6*o + 14 + 1846. Which is smaller: -314 or o?
-314
Suppose 20*n = 95*n + 600. Is 9 at least n?
True
Let l be 84/(-9) - (-1)/3. Let b = l - 11. Let x = -19 - b. Does -1/37 = x?
False
Suppose 0 = 3*i - 3*b + 4299, 5*i - 4*b + 3136 + 4028 = 0. Is -1432 bigger than i?
False
Let n(g) = 2*g**2 + 20*g + 20. Let c be n(-15). Let q = c - 2548/15. Is 0 greater than q?
False
Let l(q) = q**3 - 7*q**2 + 4. Let g be l(7). Let z = 8 - g. Suppose 0 = -m + z*p - 6, -4*m + 5*p = -2*m + 6. Are 3 and m equal?
False
Let a be (1 - -9)*(-3)/(-6). Is a > -1?
True
Suppose -u - 5*p + 265 = 0, 3*u - 19*p + 18*p = 843. Which is smaller: u or 277?
277
Let z be 6/12 - (-366)/(-108). Which is smaller: -2 or z?
z
Let j = -1 + 1. Let o = 3/1390 - -20119/16680. Let f = o + -11/8. Which is smaller: j or f?
f
Suppose -15008 - 2338 = -59*n. Which is bigger: 296 or n?
296
Let u(v) = -17*v**2 - v - 1. Let x be u(-3). Let l = x + 107. Let y be ((-8)/(-6))/(l/(-6)). Is 1 smaller than y?
False
Let w(v) = -3*v**3 + 4*v**2 - 2*v - 2. Let d(x) = -x**3 + x**2 - 1. Let n(t) = -d(t) + w(t). Suppose -11 = -3*i - 2. Let b be n(i). Is b smaller than -34?
False
Suppose 0 = -0*a - 7*a + 14. Suppose q + 2*o + 0*o + 1 = 0, -a*q + 4*o - 10 = 0. Let j = -1/12 + 1/3. Which is bigger: j or q?
j
Suppose 3*b - 8 = i, 0 = -2*b + i + 8 - 2. Suppose 9 = j - 0*g + 3*g, -5*g = -b*j - 15. Which is smaller: 2 or j?
j
Let n = 15 + -16. Let t = 12 - 14. Is n equal to t?
False
Let a = 2592 + -2782. Is a bigger than -954/5?
True
Let n be -1*1/4*-7. Let x = n - 53/28. Let h(k) = k**3 - k - 1. Let l be h(-1). Which is smaller: x or l?
l
Let d be (12820/210 + (-2)/(-7))*-3. Is -183 < d?
False
Suppose 2*j + s = 4*s - 9, 3*j - 5*s + 15 = 0. Let m = 10042578/17 - 590481. Let b = 259 - m. Which is bigger: j or b?
b
Let h = -34 + 32. Let i be (12 - 21)*h/(-21). Does -1 = i?
False
Let p(b) = -49*b**2 + 6 - 5*b + 3 + 48*b**2. Let t be p(-8). Which is bigger: t or -13?
-13
Suppose 0 = -2*d + 2*r - 0*r - 38, -2*d + 5*r = 47. Which is greater: d or -25?
d
Let d be (1/(-3))/(132/18 + -6). Is d > -95?
True
Let y = -637 + 311. Which is smaller: 0 or y?
y
Let o(z) = -2*z**2 + 17*z + 29. Let k be o(10). Let d be (3 + -1)/((-1)/20). Let y be (-2)/(-8) + 18/d. Is y at least k?
True
Suppose 0 = -5*z - 2*a + 25, 0 = -4*a - a. Suppose -3*y = -9, y + 24 = z*v + 4*y. Let u be v/(1 + -4)*1. Are u and 2/59 equal?
False
Let u = -1898 + 2148. Is u smaller than 246?
False
Let t = -8/9 + 2/9. Let z be (-110)/(-6) + (-2)/6. Let m be -2*3/(z/3). Is t >= m?
True
Let t = 197 - 204.1. Let l = 6.9 - -0.1. Let g = t + l. Which is bigger: g or -5?
g
Let w(l) = -3*l. Let u be w(1). Let k = 1/596 - 671/298. Is u less than or equal to k?
True
Let q = 14095 + -14104.049. Let x = 0.049 + q. Is -2 less than x?
False
Let f(y) = -57*y - 2283. Let i be f(-40). Suppose 0*q + 2*q - 10 = 0. Let x be (-14)/q + -1 - 0. Which is smaller: x or i?
x
Let a(v) = -12*v - 118. Let y be a(-9). Which is bigger: -76/7 or y?
y
Let n = 0.287 - -0.713. Let m = -1 - -7. Which is greater: n or m?
m
Let y = -4.09 + 0.09. Let t = 1.05 - 1. Let s = 0.05 - t. Is s < y?
False
Suppose 5*i + 4*d = 30, -4*i - i = -d - 5. Let f = 3 - i. Let k = 3507 + -73648/21. Which is bigger: f or k?
f
Let p be ((-3)/(-8))/(5/40). Let a be 15/(((-7)/p)/7). Let c be ((-4)/6)/(40/a). Does c = 0?
False
Suppose 2*w + 20 = -3*c, 0 = -4*c - 0*c. Let h(q) = q**2 + 13*q + 17. Let a be h(-11). Let t(r) = -r**2 - 5*r - 11. Let g be t(a). Which is smaller: w or g?
g
Suppose -5*s + 3*i + 184 = 0, 5*i = -3*s + 89 + 35. Is s at most 39?
True
Let i = -34.2224 - -0.1624. Let k = i - -35. Let h = -0.06 - k. Is 11 at most as big as h?
False
Let q = -13 - -93/7. Let v be (12/20)/((-4)/10). Which is greater: q or v?
q
Let c = 1.65 + -3.68. Let w = -21.17 + c. Let f = 23 + w. Which is greater: 8 or f?
8
Let f(c) = 2*c**2 + c - 3. Let n(y) = -1 - y**2 + 4 + 0 - 1. Let k(v) = 6*f(v) + 11*n(v). Let w be k(-4). Is 1 at most as big as w?
False
Suppose -16*i - 46 = -190. Are 0 and i non-equal?
True
Let v = -71171538 + 4483652510/63. Let i = v - -23941/9. Let x = 210 - i. Which is smaller: 0 or x?
0
Let j(w) = 7*w + 17. Let y be j(-3). Let x(h) = -2*h - 7. Let o be x(y). Which is smaller: o or 3/29?
3/29
Let v be 18/24 - 834/24. Are v and -2 unequal?
True
Let i be 8531/17 + (9 - 6). Let y = -505 + i. Let p = 3 - 4. Is p at least y?
False
Let r(n) = -n**2 + 1. Let x be r(2). Let y be (-41)/x + (-6)/6. Let z = y - 193/15. Which is bigger: z or -1?
z
Suppose -2*s - 158 = 5*d, 11*d = 10*d + 2*s - 22. Which is smaller: 2 or d?
d
Suppose 80 = -48*o - 16. Which is bigger: o or 58?
58
Suppose 7*n - 14 = 5*n. Suppose 15 + n = -2*h. Let p = h + 13. Is p at most as big as -2?
False
Let r = -57.538 + 57.6. Which is greater: -3/7 or r?
r
Suppose -2 = -2*p - 4. Let y(r) = r**2 + 2*r + 1. Let g be y(p). Let d be ((0 + 1)*-4)/1. Is d greater than g?
False
Let j(p) = -p**3 - 13*p**2 + 12*p - 60. Let m be j(-14). Which is greater: -34 or m?
m
Suppose 20*x - 117 = 303. Is x at most as big as 4?
False
Let m = 1730 - 2211. Is m at least as big as -1?
False
Suppose 22*d = 13*d. Let f = -0.1 - -1.1. Is d at least as big as f?
False
Let u = -3388 - -941863/278. Which is bigger: -1 or u?
u
Suppose -27*j = -1 - 26. Is 5/14 != j?
True
Let j = 3/271 + -4911/2981. Let c be (-17)/(-17) - (-1)/(2/2). Let a be (c + -4)*3/2. Which is smaller: j or a?
a
Let v be (4 - 7) + (0 - 1). Let s be (-4)/(708/(-525)) + v + 1. Is s at least 0?
False
Suppose 5*s = -2*w - 3775, -4*s = -w - 2304 + 449. Let i = 80619/43 + w. Are i and 0 non-equal?
True
Let h(f) = -10*f**2 - 35*f + 4. Let q be h(-5). Is q less than -73?
False
Let s(w) = w**2 - 10*w + 16. Let g be s(8). Let o = 1/115 - 128/1495. Which is bigger: g or o?
g
Suppose 5*g = -0*g - 1230. Let x be g/(-510) + (-4)/(-34). Is 0 >= x?
False
Let d(r) = -r**3 - 4*r**2 + 6*r + 1. Let a be d(-5). Let u(t) = t**3 + 13*t**2 + 23*t + 1. Let l be u(-11). Is l at least as big as a?
False
Suppose 5*r = 3 + 7. Let i be (-5*3/(-6))/r. Are 0 and i nonequal?
True
Suppose 2*a = -a. Suppose 6*w - 5*p = 2*w - 45, -2*p - 51 = 3*w. Let c = -19 - w. Which is smaller: c or a?
c
Let f = 41185/104 - 396. Suppose 3*r + 4*x = 5*x - 2, 2*x - 14 = -4*r. Is f smaller than r?
True
Suppose -224*o + 223*o = 3. Is -88/23 smaller than o?
True
Let m = -16 + -6. Let z = -288.7 - -7.7. Let w = z + 280. Is m greater than w?
False
Let a(j) = 2*j**2 + 3*j + 1. Let q(p) = p**2 + p. Let b = 0 - 3. Let i(s) = b*q(s) + a(s). Let n be i(-1). Is n < -4/3?
False
Let f = -109 + 56. Let j = -53 - f. Let o(i) = 2*i**2 - 1. Let v be o(-1). Which is smaller: v or j?
j
Suppose -4*u - u = -2*d + 27, 4*u = 3*d - 51. Suppose -4*a + d = -5*w + 6, 2*w + 8 = 2*a. Let z be 1/4*(w + 3). Which is smaller: z or 2/5?
2/5
Suppose 2 = -2*u + 4*i - 6, 5*i - 11 = 3*u. Is 1/66 greater than u?
True
Let x be 4779/(-236)*32/(-6). Which is bigger: x or 322/3?
x
Let o = -11 - -7. Let q(a) = 2*a**2 + 10*a + 1. Let i be q(o). Is -9 less than i?
True
Let h(t) = 5*t - 1. Let f be h(0). Let m be (3 - 3) + 3944/(-36). Let z = -110 - m. Which is smaller: z or f?
f
Let g be 748/(-20) - (-2)/5. Let f be (-168)/((-12)/(-3)) + (14 - 11). Is g less than f?
False
Let r be (-20 - -15)/(2/(-14)). Suppose 560 + 1060 = 45*p. Which is greater: p or r?
p
Let u be 3/9 + 3/(-9). Let f be (-30)/(-90)*(u + 3/23). Which is greater: f or 0?
f
Let j = -4/251 + -673/5020. Suppose 31*q + 21*q - 42*q = 0. Is j smaller than q?
True
Suppose -5*n = o - 20, 2*n = 3*n + 4*o - 4. Suppose 5*l + n*b = 3*l + 200, 0 = 4*l - 4*b - 460. Is l smaller than 111?
True
Suppose c - 4 = -4*w, -7*w = 3*c - 14 + 2. Is w != 1/847?
True
Suppose 5*m - 10 = 0, -4*m + 2 = -3*w - 0*w. Let f(c) = -c**2 - c + 2. Let l be f(w). Let y be ((-16)/(-4))/l - 0. Is y less than or equal to 3/5?
True
Suppose 2*y + 36 = 5*x,