se
Let h(u) = u**2 - 59*u + 841. Let p be h(24). Do 6/151 and p have the same value?
False
Let w = -1810 - -6196. Is 4386 < w?
False
Suppose 510*v = 492*v + 594. Which is greater: v or 97/3?
v
Let a = -1833/40 - -393/8. Let v = -19/5 + a. Which is smaller: -40 or v?
-40
Let c(x) = 6*x**2 + 2*x - 21. Let l be c(11). Suppose -4*s + l = 3*h, -5*s = -0*s - 3*h - 929. Suppose 18*p + s = 14*p. Is p smaller than -47?
False
Let d = -45 - -64. Let j be 1420/80 - (-325)/130. Which is greater: j or d?
j
Let g = -177 - -34. Let v be g/(-3) + (-2)/(-6). Let r be (v/(-936))/(2 - 0 - 4). Is r not equal to -1?
True
Suppose c - 4*c = 3*v - 6, -10 = c + 5*v. Let k = -16184 + 16213. Is c less than or equal to k?
True
Suppose 3*l - 4*v = 3197, 0*l = 3*l - 3*v - 3192. Let q = 79424/75 - l. Which is smaller: q or 1?
q
Let p(g) = -g**3 - 7*g**2 - 2*g + 2. Let x be p(-3). Let v be 14/x - ((-19)/(-22) - 1). Suppose 14*m - 6*m + 6*m = 0. Which is smaller: m or v?
v
Suppose q - 8 = 3*m, 2*m - 6*q + 3*q = -17. Suppose 4*w = 5*w - 5*c - 58, -126 = -3*w - c. Which is greater: m or w?
w
Let m be (-2)/8 - (-466)/1832. Suppose -f = 3*o - 5, -14*o + 5*f - 36 = -18*o. Are m and o nonequal?
True
Let d = 1 + -1. Let s = 188 - 198.5. Let n = s + 14. Is n greater than or equal to d?
True
Let c = 14021 - 13916. Let q be 6/(-24) - 842/(-8). Is c less than or equal to q?
True
Let t(r) = 1 + 18 + 3*r - 2*r. Let n be t(-10). Suppose -3*h + 5*y = 50, n - 85 = 4*h - 2*y. Which is smaller: -19 or h?
h
Let k = 18483/2 - 9448. Which is smaller: -207 or k?
-207
Let m be 14526/8 + (-3)/(-12). Let a be ((-4)/8)/(m/2327172). Let n = -2563/4 - a. Is n > 1?
False
Let o be (20/432)/(5/15). Is -2 <= o?
True
Let p = 148.495 + -3.495. Which is bigger: -0.4 or p?
p
Let v(f) = f**3 - 5*f**2 - 11*f + 3. Let j be v(7). Suppose 5*h - 10 = 0, -4*s = -2*s + h - j. Suppose -w + 17 = -s. Is w <= 27?
False
Let y(x) = -2*x - 159. Let m be y(-10). Let v = m - -139. Are v and -1/97 unequal?
True
Suppose 31*r - 21*r = 100. Suppose 2*s - 9 = o, 4*s = -r*o + 7*o + 23. Is -9/49 greater than o?
False
Let x = 0.00912 - 0.30912. Is -332 smaller than x?
True
Let h(k) = 7*k**3 - 5*k**2 - 38*k + 41. Let t be h(8). Is 3001 equal to t?
True
Let u = -537104 - -206785177/385. Let s = u - -4/55. Are 0.1 and s equal?
False
Let j be (22/(-8))/((-35)/(-11060)). Let z = -877 - j. Let g(p) = p**3 + 4*p**2 + 2*p - 2. Let i be g(-4). Which is bigger: z or i?
z
Let h = -660 - 95. Are h and -3/5 nonequal?
True
Let k = 2.49 - 0.59. Let s = -8.15 - 1.05. Let q = 9 + s. Which is smaller: k or q?
q
Let u be (0 - -2) + 57832/(-6660). Let h = -356/53 - -67874/9805. Let b = h - u. Is 7 not equal to b?
True
Let p be 966/115*1/((-9)/570). Let y = -290 - p. Does y = 242?
True
Suppose 0 = o + 5*z + 21, o - 24*z - 19 = -21*z. Which is greater: o or 17/35?
o
Suppose i + 2*i = 0. Let s be 3228/207130*(-14)/6. Is s < i?
True
Let r = 210 + -124. Suppose 5*a - 21 = 3*v + 9, 0 = -5*a - 4*v - 5. Suppose 4*q - 140 = -a*z + 111, -2*z = -4*q - 174. Which is greater: r or z?
r
Suppose 11*y - 3568 = 15*y. Let d = 785 + y. Which is smaller: -433/4 or d?
-433/4
Let g = -9.92 + 10. Let p = g - -0.22. Let k = 3851 + -3874. Which is bigger: p or k?
p
Let j = -15/5677 - 14914/9395435. Which is smaller: j or -1?
-1
Let a = -140.1 + 150.83. Let d = a + -10.3. Let m = -5.43 + d. Which is smaller: -0.3 or m?
m
Let z(i) = 549*i - 1628. Let h be z(3). Which is smaller: h or 492?
h
Let v be (-14 + (-6 + 8)*(-10)/(-4))*2095. Which is greater: v or -18854?
-18854
Let o = -99 - -43. Let p = o + 62. Suppose 315 = p*k + 3*k. Is 35 equal to k?
True
Let h be (-6 + 7)/((-2)/4 - -1). Suppose j - h*j = -3*j. Let f be (-2)/2*(1 - j). Which is smaller: f or -3/29?
f
Let g be ((-288)/(-63))/8 - (-1739)/7. Suppose g*p + 225 = 234*p. Is p < -142/9?
False
Let q be (25 - 4)*3/(-9). Suppose 2*j - 2 = -2*p, p + 1 = j - 2*p. Is j < q?
False
Let i be (-9 + 6019/663)*17/6. Let b = -55.1 - -7.1. Is b less than i?
True
Let q(b) be the third derivative of -b**4/24 + 7*b**3/6 + 9*b**2. Let c be q(7). Suppose g + 3*r + 0*r + 11 = c, 2*g = 5*r. Which is bigger: g or -4?
-4
Suppose -c = -92 + 81. Suppose -c + 200 = b. Suppose 0 = 4*i - b + 121. Is i less than or equal to 17?
True
Let p = 0.2295 - -0.7705. Let l = -14.8 - 111.2. Which is smaller: p or l?
l
Suppose 0 = 40*d - 1066297 - 289783. Which is bigger: 1 or d?
d
Let x = 63 + -59. Suppose x*v = 7*v. Let b be ((-2)/(-12))/(-1 - (-15)/27). Which is smaller: v or b?
b
Let r = -98 + 102.3. Let d = -5.264 + -0.036. Let q = r + d. Which is bigger: 0 or q?
0
Let u be 16/(-72) - (1 - 3160/45). Suppose -11*w + 897 - 94 = 0. Which is bigger: u or w?
w
Let y(q) = 7*q + 41. Let c(i) = i + 1. Let a(f) = 18*c(f) - 2*y(f). Let k be a(16). Is k != -0.039?
True
Let o = 38 + -81. Let k = 33 + o. Is k less than 2?
True
Let z(u) = 1071*u + 144. Let l be z(-2). Does -5996/3 = l?
False
Let b(g) = -7*g**2 - 15*g + 4. Let c be b(-5). Suppose 0 = -2*k - 6 - 184. Is k at least as big as c?
True
Let r = 37631.215 - 37516. Let b = r + -0.215. Which is smaller: b or -1?
-1
Let p be 0 - -8 - (2 - -18)/2. Is p > -2231?
True
Let h = 1421 + 72. Suppose -9496 = 27*d + h. Which is bigger: -408 or d?
d
Let v = -3657 - -3675. Do v and 53 have different values?
True
Let c be 13 - -2 - (2 + -3). Suppose -12 + 2 = -2*b. Suppose c + 4 = b*l. Which is greater: 3 or l?
l
Let c(u) = 9*u**2 - 47*u - 14. Let q be c(-7). Let j be 747/q - 3/4. Are 0 and j non-equal?
True
Let u(v) = v**3 + 6*v**2 + 7*v - 5. Let m be u(-5). Let t = m + -309. Is t greater than or equal to -325?
True
Let l = 12.8 + 8.2. Let y = -12.29 - -0.29. Let s = 11 + y. Which is smaller: s or l?
s
Let v = 3023 + -60551/20. Let k = v + 43/10. Let x(b) = b - 4. Let a be x(4). Which is smaller: a or k?
k
Let j = 12495 + -12494. Which is smaller: 102/329 or j?
102/329
Let m(q) = -6 + 1160*q**3 + 21*q - 1159*q**3 + 25*q**2 - 65. Let s be m(-24). Is s at least as big as -6/37?
True
Let i(s) = -3*s**3 - 4*s**2 + 3*s - 5. Let z(f) = -4*f**3 - 4*f**2 + 3*f - 5. Let r(j) = 6*i(j) - 5*z(j). Let n be r(-3). Is -105 < n?
True
Suppose 2*j + 21 = -3. Let s be (j/(-730))/((-6)/15). Is s < -1?
False
Suppose -1 = 4*s - 5*s. Let o = 5.5 + 241.5. Is s != o?
True
Let v = -2480 + 3593. Which is smaller: v or 1111?
1111
Let s(i) = 3*i**2 - 7*i - 8. Suppose -5*y + 3*g = 2*g - 17, 4*y - 13 = g. Let k be s(y). Suppose -k*m + m = 11. Which is bigger: m or -1.6?
m
Let d(q) = 2*q + 3. Let v be d(2). Let h = 2006 + -11993/6. Are v and h equal?
False
Let g be ((3/(-3))/(-3))/((-9)/(-54)). Suppose -2*s = -n - 11, g*s + 5*n = 10*n + 31. Is 22/9 at most as big as s?
True
Suppose -f + 12*f = 9570. Let d = f - 951. Which is bigger: d or -4?
-4
Let u(v) = v**3 + 7*v**2 + 10*v - 1. Let x = 75 - 80. Let n be u(x). Which is bigger: n or 2/253?
2/253
Let b = 2682.55 - 169.55. Is b less than 0.4?
False
Let m = 24 + -170/7. Let a be -3 + 2 - (2/(-32) + 0). Is a at least m?
False
Let c = -321.701 - 0.299. Let v = 326 + c. Which is smaller: -2/63 or v?
-2/63
Suppose 4*t - j + 90 = 0, -3*j + 28 = -t - 11. Suppose 0*l - 4*l + 28 = 0. Let c(k) = k**3 - 8*k**2 + 4*k + 1. Let h be c(l). Is h at least as big as t?
True
Let m = -1241/596 + -25/149. Which is smaller: 30 or m?
m
Let h = -35185/7 - -457440/91. Suppose 3*o - 5*c + c = -13, 5*c - 16 = 4*o. Is h >= o?
False
Suppose a - 26 = -5*c + 5*a, 5*c + 2*a = 32. Suppose c*g - 3 = 7*g. Let m be (3*g/36)/((-9)/(-16)). Is 1 > m?
True
Let v = -0.526 - -340.526. Let u = 313 - v. Which is smaller: 1/2 or u?
u
Let z = -15075440844849716/34013972343 - -6136286456/13845. Let y = 2/46565 - z. Is 0 at most as big as y?
True
Let x = 239 + -38. Let j = 178.4 - x. Which is greater: -0.1 or j?
-0.1
Suppose 63*h - 56*h = 14. Is 2/99 at least h?
False
Let c = -345.87 + 5.87. Let v = -339 - c. Which is smaller: 58 or v?
v
Let h(b) = b + 29. Let l be h(-7). Let w = -25 + 29. Suppose 46 = 2*t - 2*c, 2*t - l = w*c + 24. Which is smaller: 22 or t?
22
Let v = -1901/300 - -77/12. Let w = -193/225 + v. Let f = -23/18 - w. Which is smaller: -6/5 or f?
-6/5
Let q = 0.22 - 0.34. Let l = 27.22 + -27. Let k = q + l. Does k = 0.3?
False
Let t = 9344 + -9443. Are t and -97 unequal?
True
Let g(a) = -69*a**3 + 4*a**2 - 206*a + 610. Let h be g(3). Is -1835