alse
Let o(y) = -y**2 - 5*y + 3. Let k be o(-6). Let c be (2/(-8))/((-3)/(-6))*(-48 - -56). Which is bigger: c or k?
k
Suppose 0 = -4*a + a + 48. Let v be (2/(-4))/(-2*4/a). Is 3 less than or equal to v?
False
Let q = -43.07 + 43. Let m = 3 + -3.2. Is q less than m?
False
Let z be (-4 + (2 - 0))*14/(-4). Suppose 3*d = 5*l - 15 - 9, -22 = -3*l - 2*d. Which is bigger: l or z?
z
Let b be 4/(4/1) + -18. Suppose 3*z = g - 0 + 4, -3*g - 2*z - 56 = 0. Is g smaller than b?
False
Let l = -1621 + 1622.8. Which is smaller: l or 27?
l
Suppose 3*n - 4*c + 0 = 20, -4*c = 4*n - 8. Let v = n + -4. Suppose 2*g = -5*f + 17, -2*f + 3 = -3*g - v. Which is smaller: 2 or f?
2
Let d be 24/(-18)*8/(-32). Is 34.4 != d?
True
Let o be (6 + (-1 - 12))/1. Let p(s) = s**2 + 6*s + 5. Let a be p(-4). Let v = a - o. Are 1/2 and v unequal?
True
Let c(d) = -d**2 + d - 1. Let f(x) = 14*x - 15. Let h(l) = c(l) - f(l). Let v be h(-14). Is v greater than -3/86?
True
Let h(p) = -p**2 - 5*p - 1. Let f be h(-3). Suppose 2*d = 3*c + 2, -f*d - 3*c = 2*c - 5. Let x = -784.8 + 785. Which is bigger: d or x?
d
Suppose -3*d - 2 + 20 = 0. Let h(v) = v**2 - 2 - v**3 - 4*v + 11*v + 0 + 4*v**2. Let k be h(d). Is k greater than or equal to 1?
True
Suppose 240 = -4*a - 24. Let v be 4/3*a/(-143). Is v < 0?
False
Let p be ((-3)/(-1))/(90/(-1572)). Let r = p - -52. Which is bigger: r or 2?
2
Let h be ((-6)/(-4))/(-1) + (-1278)/(-852). Is h at least 3/1094?
False
Let r(l) = 8*l + 41. Let c be r(-5). Are c and -3/41 nonequal?
True
Let x = -3619465/19 + 191218. Let k = -720 + x. Which is smaller: 0 or k?
k
Let b(t) = -7*t - 55. Let c be b(-8). Which is smaller: 1/201 or c?
1/201
Suppose w - 2*d - 3 = -391, 746 = -2*w - 2*d. Is -377 greater than or equal to w?
True
Let y = -512 + 1535/3. Which is smaller: 0.027 or y?
y
Let g(z) = -z**2 + 5*z + 2. Let a be g(7). Let s = a - -12. Suppose 5*p + 8 = 3. Is s != p?
True
Let o = -5 + 11. Suppose 2*h - 4 + o = -4*y, 0 = 5*y - 5*h - 20. Let z = -77 - -230/3. Is y at most as big as z?
False
Suppose 99 = k + 3*b, b = -5*k + 3*b + 529. Let o = 118 - k. Is o bigger than 41/3?
False
Let m(j) = j**2 + 5*j + 5. Let u be m(-4). Let x = 71.8 - 64. Let i = -0.8 + x. Are i and u equal?
False
Let s be 5 - (8/(-20) + (-132)/(-30)). Which is bigger: s or 5/18?
s
Let s = -28866/13 - -2220. Is s at most 6?
True
Let s = 278/7 + -40. Let d = 8.645 + -34.645. Which is smaller: s or d?
d
Let a be 20/(-2) + (-2 - -6). Let m(k) = k - 12. Let v(r) = -6*r + 60. Let c(q) = -16*m(q) - 3*v(q). Let d be c(a). Which is smaller: -2 or d?
-2
Let c(v) = 2*v**2 + v - 1. Let z be c(-1). Is z bigger than -4/79?
True
Let v(r) = r + 1. Let s be v(-3). Let w be (-42)/(-36)*(-4 - s). Does 0 = w?
False
Let w = 30 - 39. Suppose 5*r + i = 3*i - 12, -4*r + 4*i = 0. Let h be -4 + r + (-3 - -3). Is h >= w?
True
Let u be 117/12 + 3/12. Suppose -u*r = -r - 135. Which is bigger: r or 3?
r
Let n(h) = -3*h + 7. Let a(u) = 6*u - 15. Let j(k) = 4*a(k) + 9*n(k). Suppose o - 2*o = -2. Let y be j(o). Is y not equal to -3?
False
Let s be (-81)/8*572/33. Which is smaller: s or -175?
s
Let z be 4 + -5 + -1 + 20. Suppose 3*o + z = -0*o. Let p be ((-6)/(-54))/((-2)/o). Which is smaller: -0.3 or p?
-0.3
Let s be -3*(0 + 1)*138/9. Let w be ((-6)/4)/(21/(-112)*s). Which is smaller: -1 or w?
-1
Let u = -77/1737 - -30/193. Let d = 6 - 6.4. Are d and u nonequal?
True
Suppose u = -0*u - 1, 2*u = w - 3. Let y be 2*((-2)/4 - 1) + 3. Which is greater: y or w?
w
Let m be ((-1)/(-1))/(6/12). Let n(h) = 4*h**m - h**3 + 2*h - 3*h**2 + 2*h**2 - 4*h. Let r be n(1). Do r and 2/3 have the same value?
False
Let s(p) = -p + 2. Let x be s(1). Let a(n) = -7*n + 6*n**2 - 5*n**2 + 2 - 4. Let k be a(7). Is k < x?
True
Let g be 1*15/9*3. Suppose -3*k - 4*m + 12 = 0, -3*k + g = m - 7. Suppose -k*z + 18 = -6*z - x, 0 = -5*x + 10. Which is greater: z or -9?
-9
Let n(f) = 11*f + 16. Let u(p) = -7*p - 11. Let a(o) = 5*n(o) + 8*u(o). Let l be a(-6). Let y = -4268 - -4265. Which is smaller: y or l?
y
Let y(b) = 2*b**2 + 10*b - b**2 - 2*b**2 + 0*b**2 - 6. Let n be y(10). Is -4 greater than n?
True
Let l(a) = -5*a**2 + 3*a. Let v be l(-1). Is v less than -55/8?
True
Suppose -b + 29 = 3*j - 2*b, 3*j + b - 25 = 0. Let z = 1615/212 + 7/53. Which is smaller: z or j?
z
Let f = -2 - 1. Suppose 4*u + 16 = 0, -5*j - 4*u - 66 - 35 = 0. Let q = -21 - j. Is f at most as big as q?
False
Let j be (1/(-2))/(-11 - (-2187)/198). Which is bigger: -78/7 or j?
j
Let h be (-4)/(-10) - (-2)/(-5). Let y be (-34)/(-23088)*-262 - 5/(-20). Let p = y + -2/111. Is p bigger than h?
False
Let q = -199 - -199.1. Which is smaller: q or 1/69?
1/69
Suppose -2*w = 2*t - 1310, 3*w + 4 + 11 = 0. Let m be -6*1/(-14) + t/(-21). Is m at most as big as -29?
True
Let b be 3/1 - (2 - 5). Let o be (-44)/4*(-5 - 0)/5. Which is bigger: b or o?
o
Let a = -36751 + 182763/5. Let k = -200 - a. Do k and 1/2 have the same value?
False
Let c = 4148 + -4147. Let w = 69 + -116. Which is greater: c or w?
c
Let b = -2502 + 1088369/435. Let h = -1159/435 + b. Let o be ((-7)/(-3) - 1)/((-2)/3). Which is bigger: h or o?
o
Let m = 189 + -751/4. Suppose 0 = -4*r + 9*r - 2*s - 27, -3*r = -5*s - 20. Suppose -11*a - r*a + 16 = 0. Which is smaller: m or a?
a
Suppose 2 = 2*w - 0. Let s = -70109/114 + 615. Let u = s + 679/570. Is u smaller than w?
False
Let q be (400/625)/(-2 - 12/(-5)). Which is smaller: 2 or q?
q
Let m = 29 + -26. Let x(i) = -i**2 + i + 1. Let g be x(1). Let v = 3 - g. Which is bigger: v or m?
m
Let f(z) = z + 27. Let i be f(-27). Let l be -1 - (-5)/(5/2). Which is greater: i or l?
l
Let n = -2 - -3. Does -1/2254 = n?
False
Let m be (39 + -2 + 0)*1. Which is bigger: m or 31?
m
Let q = 583 + -572. Let l be (-4)/22 - 369/(-33). Is q at most as big as l?
True
Let t = -506 - -532. Do t and 2 have different values?
True
Let v(a) be the second derivative of a**3/6 + 17*a**2 + 4*a. Let d be v(-14). Suppose -4*o + 0 = d. Is o greater than or equal to -6?
True
Let n be (-1)/(-3) - (-370)/6. Let w be (-42)/(-15)*n/(-4). Let h = w - -2357/55. Is h greater than -2?
True
Let j = -786397/81 - -9709. Is 0 at most j?
True
Let g(j) = -5*j**2 - 4*j - 2. Let a = 28 + -34. Let y(b) = 4*b**2 + 3*b + 2. Let t(s) = a*y(s) - 5*g(s). Let w be t(-4). Does 6 = w?
True
Suppose 0 = -9*w + 41*w + 224. Is w greater than or equal to -270/37?
True
Let v(o) = -o**2 - 3*o + 10. Let q be v(-4). Suppose -3*k - 3 = -q*k. Which is smaller: 2 or k?
k
Suppose -6*k + 14*k - 920 = 0. Which is greater: k or 117?
117
Let o = 249 + -269. Is o > 6?
False
Let a = 982/1215 + -2/243. Is -1/3 at least as big as a?
False
Let b = -193/234 - -10/13. Let k = 43/126 + b. Suppose 16 = -3*r - 8. Which is greater: k or r?
k
Suppose 3*p - p + 3*i = 32, -5*p - 5*i + 75 = 0. Let h = p - 12. Let k = -75 + 523/7. Is h less than k?
False
Let x = 40.397 - -0.603. Is x bigger than -0.1?
True
Suppose 26*x = 23*x + 24. Let p be (-10)/25*4/x. Which is greater: 0.02 or p?
0.02
Let k be 13 + -12 + -3 + 2/1. Suppose k = -m + 4*m. Which is smaller: m or -1?
-1
Let b be 7/(-49) - 84912/84. Which is smaller: -1010 or b?
b
Let j = 196 + -197.4. Is j less than 1.5?
True
Let j = 0 + 0. Let m(q) = 3*q + 36. Let k be m(-8). Let h be -2*(k/26)/3. Is j > h?
True
Let g = 70 + -70. Suppose y = 3*y - 5*r - 41, -y - r + 3 = 0. Let f be y/68*(-1 + 2). Which is bigger: f or g?
f
Let p(q) = q**3 + 9*q**2 + 28*q + 51. Let m be p(-6). Let i = 13 - 24. Is m smaller than i?
False
Let k be 1/(1/3*1). Suppose k*d + 0*d = 90. Let y = 33 - d. Which is smaller: -2/3 or y?
-2/3
Let h = -446 - -447. Is h at least as big as 0.42?
True
Let s = 85 + -82.3. Which is greater: 0 or s?
s
Let y be 6 - ((-88)/(-168))/(29/330). Do y and 1 have different values?
True
Let q = 839 - 841. Do -0.4 and q have the same value?
False
Let t(x) be the second derivative of x**4/12 - 11*x**3/6 + 11*x**2/2 + 8*x. Let w be t(10). Suppose 3*f = r + 14, -29 = -r - 3*r - 5*f. Is r > w?
False
Suppose -t + 3*o = 0, -5*t + 5*o + 12 - 2 = 0. Suppose 0 = t*y - 10 - 5, -5*b + 405 = y. Which is greater: b or 79?
b
Let v be (8 - -2)*6/45. Let f be (4 - 3) + 10/2 - 4. Is v at least as big as f?
False
Let n = 133.036 + -133. Let h = -0.164 - n. Let l = 1.7 - 2. Which is greater: h or l?
h
Suppose 71 - 44 = 9*s. Suppose -17 = -2*y + 3*