Which is greater: 18 or c?
c
Let x = -1.93 + 1.8. Let i = 4.924 + 0.206. Let y = x + i. Do y and -0.1 have different values?
True
Let r(k) = -9*k**2 - 21*k + 1. Let n(w) = 11*w**2 + 22*w - 1. Let u(p) = 5*n(p) + 6*r(p). Let z be u(16). Is -2/129 at most as big as z?
True
Let c = 1 + 5. Let f be c/9 - 112/(-12). Is f smaller than 10?
False
Let i = -16.35 - -45.44. Let g = i + -29. Let j = g + -0.29. Which is smaller: j or 3/2?
j
Let r(v) = -v - 10. Let f be r(16). Let t = f - -18. Let n = -26 + 18. Does n = t?
True
Let w = 3.26 - 4.5. Let t = -0.6 + 1.8. Let j = t + w. Which is smaller: -3/5 or j?
-3/5
Let h be -33*68/(-27) - -1. Let a = h - 83. Which is bigger: a or -0.1?
a
Let q = 2302/3 + -775. Let n be 7/(-24 + 47 - 24). Are n and q nonequal?
True
Let d = 0.2 + -0.3. Let n = d + 0. Let v = 14.03 + -18.03. Which is smaller: v or n?
v
Let d(n) = 6*n**2 - n - 1. Let a be d(1). Let r be (10/(-8))/(4/(-16)). Does a = r?
False
Let m = -236 + 4958/21. Let i(g) = g**3 + 8*g**2 - 20*g - 1. Let b be i(-10). Which is smaller: m or b?
b
Let h = -9.8 + 98.8. Let k = h + -63. Which is smaller: k or 0?
0
Let w = -41 + 40. Which is smaller: -6/73 or w?
w
Suppose 23*k + 884 = -3693. Is k at most as big as -998/5?
False
Let n = 325.9 - 354. Let w = n - -28. Is w greater than -8/9?
True
Suppose 5*j = 5*s + 10, 3*j - 8 = 2*s - 3. Suppose 1 = 3*i + 5*w, 2*i + w + 4*w + j = 0. Suppose -3*u - 45 = i*u. Is u not equal to -11?
True
Suppose 0 = 15*g - 4*g + 11*g. Which is smaller: g or 0.2?
g
Let u(j) = 38*j - 102. Let h be u(3). Is h at most as big as 0.47?
False
Let h be 8/28 - (-162)/21. Let v be h/28 + (-106)/126. Does -2 = v?
False
Let u(f) be the third derivative of f**6/120 - f**5/30 - f**4/12 + f**3/2 - 3*f**2. Let b be u(2). Is -1 at most b?
True
Suppose 4*k = 15 + 1. Suppose -k*o = -4*b + 32, -2*o - 14 + 4 = 0. Which is greater: 2 or b?
b
Let m(j) = -j**3 + 19*j**2 - 28*j + 168. Let l be m(18). Is l at most -33?
False
Let d = -641 - -560. Is -2/5 equal to d?
False
Let k = -17 - -20. Suppose 4*j + j + k*s = 3, -3*j - 4*s + 4 = 0. Suppose -4*a - 4 - 4 = j. Which is greater: -6/5 or a?
-6/5
Suppose 0 = -3*g - 2*g. Let s be -4 + (2002/45)/11. Which is bigger: s or g?
s
Let o = -19.6 + 14.5. Suppose -4*r + 2*r + 2 = 0. Is r less than o?
False
Let u be ((-3)/(-8))/((-15)/(-10)). Is u >= 274?
False
Suppose 4*i + 3 = 5*i, -2*i = -3*r + 6. Are r and 14 nonequal?
True
Let q = -45.1 + -28.9. Are q and -3 equal?
False
Let j be 1 - ((-290)/(-6) + -2). Let r = j - -46. Is r at most as big as -30?
False
Let d = -286.963 + 280. Let r = d - 0.037. Is -1 != r?
True
Let s(a) = -43*a**3 - 11*a**2 + 24*a - 2. Let p be s(3). Which is bigger: p or -1191?
p
Let x = 302.84 - 309. Let a = -0.16 - x. Let f = 287.8 + -288. Is f < a?
True
Let x = -626.1 + -156.9. Which is smaller: -1 or x?
x
Let x = -161 + 188. Is x equal to 0.1?
False
Suppose 2*u = -b - u - 14, -4*u - 18 = 2*b. Which is bigger: 2/7815 or b?
b
Let z be (-5)/2*24/(-20). Suppose 3*k - 2*b + 29 = -4*b, -z*k + b = 44. Which is greater: -7 or k?
-7
Let z = -14 - -11. Let c be (-9 - -10)*(-1 - z). Let o = 864/959 + -6/137. Which is greater: c or o?
c
Let l be 3*(-5 - (0 + (-70)/15)). Which is greater: l or 45?
45
Let t be ((-690)/308 - 54/(-189)) + 2. Do t and -0.7 have the same value?
False
Let i(a) = a**2 - 7*a - 5. Let r be i(8). Let s be (1/r)/(80/(-8)). Is s at least 1?
False
Let d be -5*(-3)/(45/6). Suppose 0 = 2*g - d. Let b be ((4/27)/(14/(-21)))/3. Is b bigger than g?
False
Let u be (-27)/270 - (1 - (-6)/(-10)). Is u at most as big as 4/49?
True
Let v = 2.6 + -2. Let o = v + 1.4. Let j be ((-75)/(-10))/3 + -4. Which is smaller: o or j?
j
Suppose 14*p - 5*p - 198 = 0. Let w = p - 21. Let n be ((-24)/(-230))/((-2)/5). Which is bigger: n or w?
w
Let i(x) = -30*x + 35. Let g be i(2). Which is greater: g or -27?
g
Suppose -6*z - 1106 = 8*z. Which is smaller: z or -78?
z
Let j = 26049/26 + -1002. Let q = 11 - 10.9. Which is greater: q or j?
q
Let y(n) = 11*n + 1. Let p be y(2). Let s = -2630 - -2653. Is s < p?
False
Let v be (-6)/10 - 42661/(-66035). Let m = v + 5/281. Is -1 smaller than m?
True
Let v be (1 + 9)*(13 - 639/18). Is -227 at most as big as v?
True
Let j = -814 + 2440/3. Let h = -3.6 + 6. Let k = h + -2. Which is smaller: k or j?
j
Let z be (-90)/164 - 3/(-6). Let w be 2/8 - 156/(-208). Which is greater: w or z?
w
Let r be (-15)/(-45) - (-29)/(-6). Let q = -41/10 - r. Is q less than or equal to -1?
False
Let z be (185/(-111))/(2/136). Which is bigger: -112 or z?
-112
Let m = 386 - 268. Is 118 at most as big as m?
True
Let j = -35.0539 - -0.0539. Which is smaller: j or -11?
j
Let a be 6*(3/2 - 3). Let u be (1/(87/a))/(-3). Let l be 14/12 - 8/48. Is l < u?
False
Let h = 34 - 27. Is h greater than 38/5?
False
Let x(r) = -8*r**2 - 7*r + 1. Let w be x(5). Which is smaller: -235 or w?
-235
Let k = 56 - 77. Let v be (-9)/k - (-4)/7. Which is smaller: -2/65 or v?
-2/65
Suppose 0 = -6*f + 2*f - 8. Let g be (-198)/(-90) + f/10 - -3. Is g > 3?
True
Suppose -n + 469 = -0*n + 4*p, 0 = -n + 2*p + 469. Let j = n - 35176/75. Which is smaller: 0 or j?
j
Let l(y) = -y**3 - 10*y**2 - 2*y - 5. Let t(v) = -v**3 - 17*v**2 + 39*v + 9. Let k be t(-19). Let a be l(k). Which is smaller: a or 1?
1
Let a(t) = t**3 + 11*t**2 - 36*t - 117. Let k be a(-13). Is k greater than or equal to 7?
True
Let m(z) = -z**2 + 3*z + 18. Let w be m(7). Suppose -4*b - 42 = -3*f, -8 = -8*f + 4*f. Let i = b - w. Is 3 smaller than i?
False
Let b = -839/22 + 38. Let c(h) = h + 6. Let u(m) = 2*m + 7. Let q be u(-6). Let v be c(q). Is b greater than v?
False
Let w be 4/((-8)/10) - -1. Let p(l) = l**3 + 4*l**2 + 7*l - 7. Let o be p(w). Is o smaller than 1?
True
Let s = 344 - 323. Which is smaller: s or -1?
-1
Let f = -2 + 3. Let g be (-1)/6*4 - (-624)/1584. Are f and g non-equal?
True
Let f = -1/297 + -197/297. Suppose 0*r = 5*r + 10. Is r <= f?
True
Suppose 3*n = -9, 0 = -3*t - 0*n + 5*n - 1992. Which is smaller: t or -667?
t
Suppose 3*t + 36 = 7*t. Let r = t - 73/8. Let l be -2 - 1/((-2)/6). Is r bigger than l?
False
Let f = -51 + 18. Let j be f/22 - (-3)/6. Which is bigger: j or 0?
0
Let g be 36/126 + 1234/(-7). Let z = g + 883/5. Suppose u = -2*u + 3. Is u at least z?
True
Suppose -65*x - 10579 = 6*x. Does -148 = x?
False
Let f be -1 + 0 - ((-1633)/181 + 8). Is -1 > f?
False
Let k be ((-15)/45)/(1/(-3)). Let t(p) = -p**3 + p**2 - p. Let g be t(k). Which is bigger: g or -2/27?
-2/27
Suppose 5*i + 6424 = -3*i. Let f = i + 24895/31. Which is bigger: f or 0.3?
0.3
Let r = 134 - 134. Which is greater: r or 1/219?
1/219
Let s(r) = -r**3 - 5*r**2 + 7*r + 10. Let d be s(-6). Let a be 0 + d/(-8)*(0 + 2). Let y = -47/900 + 2/25. Which is smaller: y or a?
a
Suppose -c - 7 = -1. Suppose 27*r + 36 = 9*r. Which is smaller: r or c?
c
Let d be 4 + (-2 - 1) + 4. Suppose s - d = -6. Which is smaller: s or -2?
-2
Suppose -6 = -3*m + 3*t, 2*m = 4*t + 1 + 3. Suppose 4*n - m*n = -2. Suppose -7*h + 5*h + 2 = 0. Do n and h have different values?
True
Let p = -4075/9396 - -38/87. Which is smaller: 0 or p?
0
Let o(l) = -11 + 8*l + 2*l - 18*l. Let u be o(-4). Is 20 at least as big as u?
False
Let b = -142455278159/87334260 + -2/4366713. Let k = -7857/5 - b. Let v = k - 60. Which is bigger: v or 1?
1
Let l = 140 - 43818/313. Which is bigger: l or 1?
1
Let v = 112678/47 - 2397. Is v >= 0?
True
Let h = -23/47477 + -8909507/33376331. Let x = -6/37 - h. Is 0.2 < x?
False
Let f be 0 - 3*1/(-7). Suppose o - 4 = -0. Suppose -d + 3*u = 6, -5*d - 2*u = -0*u - o. Which is smaller: f or d?
d
Suppose 12*m = 18*m - 396. Suppose -s + m - 70 = 0. Do 2 and s have different values?
True
Suppose 2*o = 2*b + 180, 5*o - o - 357 = 5*b. Let q = -66 + o. Let z be 60/q + 2/(-9). Which is smaller: 5/3 or z?
5/3
Let y be -55*(243/15 - 10). Is -345 greater than or equal to y?
False
Let p(h) be the first derivative of h**3/3 - 5*h**2 - 8*h - 5. Let c be p(8). Let y be 57/c*2 - -3. Which is greater: y or -3?
y
Let o = 55.8 - 66.32. Let n = o + 9.7. Let q = -0.18 + n. Which is greater: -0.2 or q?
-0.2
Let q be 10*((-8322)/4170 - -2). Are 1 and q unequal?
True
Let g = -3485/52 + 67. Is g bigger than 1/4?
False
Suppose -2*p = -14 - 4. Let a(d) = 19*d - 62*d + 34*d. Let i be a(-1). Is p at least as big as i?
True