-117 + 128.1. Let v = -14.1 + l. Is -2 at least as big as v?
True
Let a = -82 + 102. Suppose 10*n - 5*n - a = 0. Is 1 less than n?
True
Let f(d) = 2*d**2 - 32*d + 4. Let y be f(29). Let b = -721 + y. Suppose -2*h + 79 = 3*z - 29, -5*z + 3*h + 199 = 0. Which is greater: z or b?
z
Let x = -24 + 12. Let a be (-51)/x + (-2)/8. Let f = -5682 + 5684. Which is smaller: f or a?
f
Let z be 222/(-12)*(22 + 2). Let w = z - -1122. Let o = -3377/5 + w. Which is smaller: o or 3?
o
Let q(z) = -1028*z**2 + 21*z + 2. Let v be q(2). Which is smaller: -4067 or v?
v
Let n be (-35)/300 - (3 - 5)/12. Let f be ((-6)/40)/(3/12). Does f = n?
False
Let d be (-30)/5*((-15)/2 + -2). Suppose 64*s - d*s = 301. Is s greater than or equal to 41?
True
Let b = -49 + 49.1. Suppose g + 17 = d, d - 3*g - 16 - 1 = 0. Let a = 19 - d. Which is bigger: b or a?
a
Let h be (-2 - (-26)/16)/3. Suppose -35 = -2*l - 3*l + 3*c, -3*c = l + 11. Suppose l*y + 2*r + 0 = -4, -y = 5*r + 10. Which is smaller: h or y?
h
Let t(j) = j**2 + 28*j - 8. Let a be t(-5). Let q = -155 - a. Which is bigger: -5 or q?
-5
Let l be (1 + 2 - -2) + 1*(-1729)/286. Is 0 at least l?
True
Let k = 44.542 + -0.142. Let s = k + -40. Let r = s - 3.8. Which is smaller: -1/5 or r?
-1/5
Let x = 1485.8 + -1483.8. Which is bigger: x or 329?
329
Let l(o) = 9*o + 37. Let z be l(-2). Suppose -z + 25 = -3*b. Which is smaller: -1.62 or b?
b
Let n = 106.62 - 108.02. Is n at most as big as -15?
False
Let p = 133 + 111. Let k = 307 - p. Is 66 at least k?
True
Suppose -21*h + 17*h = -32. Let u(y) = -3*y - 19. Suppose 3*m = 3*a - 21, -2*m - a = 15 + 5. Let s be u(m). Is h less than or equal to s?
True
Suppose -4*y - 17 - 35 = 4*a, 0 = -3*a + 5*y - 47. Let o be (27/a - -2)*-10. Let m(r) = -3*r**2 - 109*r - 108. Let q be m(-1). Is q >= o?
False
Suppose 78 = -11*f + 17*f. Suppose -f*i = -10*i - 48. Suppose -8*j = 8*j + i. Is -2/177 not equal to j?
True
Let m = -354 - -265. Let j be (-2)/2*2 + (-2 - -4). Which is smaller: m or j?
m
Let d = -41 + 44. Suppose -14 + 5 = -d*s. Suppose -m = s*m. Is m less than or equal to 2/89?
True
Let d = -1836 - -1840. Is 41/10 <= d?
False
Suppose -12 = -3*c - 3*c. Suppose -a + 4 + 1 = 0, c*w + 3*a = 11. Let s be (-4*(-1)/(-5)*-5)/w. Which is smaller: s or 1/3?
s
Let g(q) = -q**2 + 5*q - 7. Let z be g(3). Let n(p) = -4*p**2 + p + 33. Let l be n(-8). Let d be 91/l - 2/(-3). Which is smaller: z or d?
z
Let l = 41 + -42. Suppose -2*t + 2*g + 2 = 0, 4*t + g + 2*g + 3 = 0. Suppose t = 2*a - 0*a - 3*f + 14, a - 4*f + 12 = 0. Which is smaller: a or l?
a
Let b = 131/2771 + 163243973/24939. Let m = -6568 + b. Which is smaller: -23 or m?
-23
Let n = 41 + -21. Suppose 23*b = 18*b - n. Let q be (-6)/16*-2 + (-117)/b. Which is smaller: q or 29?
29
Let y = 4992 + -5006. Is -392/27 not equal to y?
True
Let u(l) = -l**3 - 9*l**2 - 4*l - 2. Let h be u(-5). Suppose 128 + 1130 = 7*g + 10*g. Let q = h + g. Is q < -8?
False
Let t = -29677 + 29676.98101. Which is smaller: t or -0.1?
-0.1
Suppose -4*z = -2*y + 108, 5*y - 47 = 2*z + 7. Let u(b) = -b**3 + b**2 + 21*b + 1. Let i be u(-4). Let n be ((-1)/z*i)/(-1). Which is smaller: n or -0.4?
-0.4
Let a be 9/(-6)*((-75)/(-9) + -9). Let s be (53/212)/(a/8*2). Which is smaller: -0.005 or s?
-0.005
Let d(j) = -j - j**3 + 77 - 2*j + 7*j - 68 - 2*j**2. Let a be d(-3). Suppose -a*p - 3*p = 3*p. Which is greater: p or -2/13?
p
Let s be (0 - -1)/(15/60). Let v be (-3 + 2)*-4 - s. Let l = 14 - 295/21. Is l less than v?
True
Let k = -34329/14 + 2450. Let i be ((-109616)/24892 - -5)/(4/14). Let f = k + i. Which is smaller: f or -1?
-1
Let v = -0.6471 - 1.3529. Is 2028 greater than v?
True
Suppose 36*x = 39*x - 60. Suppose x*v - 29*v = -54. Which is smaller: v or 5?
5
Let r be (3 - 3)*((-2)/40)/((-24)/96). Which is smaller: 7/621 or r?
r
Let z = -14.395 + 13.395. Which is smaller: z or 8145?
z
Let a = -38.7087 + 408.7227. Let y = -366 + a. Let f = 0.114 - y. Which is bigger: f or -1?
-1
Let x = 1770 + -1770.7. Let d = -12/1039667 + -17963366102/28071009. Let h = 640 + d. Which is greater: h or x?
h
Let t = -75.6 + 75.6816. Let r = -1.9184 - t. Which is greater: -29 or r?
r
Let s be 1*11*(-27)/567*21. Suppose -3*o - 3*x = 24, -3*o + 3*x = 8 + 40. Which is bigger: o or s?
s
Let a = -17 + 31. Suppose 16*p - 14*p = a. Suppose -3*v = w + p + 11, 2*v = 0. Is -50/3 less than or equal to w?
False
Let j = -273 + 266.5. Let t = -6.326 - j. Is 2/3 greater than t?
True
Let k = 3232 + -3240. Are k and 315 nonequal?
True
Let p(w) = -2*w**3 - 2*w**2 + 83*w - 7. Let v be p(-7). Is v > 4/4113?
False
Let t be ((-2)/2)/(2/(-174)). Let f = 1018 - 1020. Let u(i) = -11*i**3 + 2*i**2 + 8*i + 8. Let c be u(f). Is t less than c?
True
Let t = -102 + 100.06. Let q = t - 5.13. Let m = q - -7. Is m less than or equal to -2?
False
Let l = -206 - -209. Suppose 69 = -53*p + 50*p. Which is greater: p or l?
l
Let d = -4493 + 3836. Do -656 and d have the same value?
False
Let k be ((-3)/(-3))/(1/1). Let b = 28655/186 - 18734005/121737. Let l = -4/119 + b. Which is smaller: k or l?
l
Suppose 3*c = -8 - 13. Suppose -95 = -1514*m + 1523*m - 86. Is m greater than c?
True
Suppose 0 = -9*z - 2*z + 616. Suppose -4*g + 24 = -z. Let t(x) = 2*x**2 - 8*x - 5. Let a be t(6). Which is smaller: g or a?
a
Let y = -2099 + 2099. Is y bigger than -3351?
True
Suppose 5*f - 2 = -12. Suppose -148*p + 150*p = 24. Let n be f/p*(-18)/45. Is n greater than 0?
True
Let y = -52.8464 + -0.1536. Is y not equal to -3/5?
True
Suppose -13441 = 4*p - 3*g, -5*g + 325 = 310. Is -3358 > p?
False
Let x be -13 + 5 - 1 - 1606. Which is smaller: x or -1617?
-1617
Let g(s) = s**2 + 5*s + 6. Let r be g(-3). Suppose -5*a + a + 31 = p, p - 4*a + 1 = r. Suppose z + 0*f - 3 = -f, p = -z + 5*f. Is z < 3/7?
True
Suppose 0 = -15*z + 8*z + 14. Suppose -3*u - z*g - 7 = 0, u - 2*g - 9 - 2 = 0. Suppose 0 = -5*x - 3*l - 4 - 3, -4*x = 5*l + 16. Is x bigger than u?
False
Let h(y) = -2*y + 15*y - 3*y**2 - 10 + 2*y**2 + 116 + 0*y. Let s be h(20). Which is smaller: s or -35?
-35
Let b = 270 - 263. Let y be (1040/48)/((b/(-6))/7). Which is greater: -129 or y?
-129
Let u(p) = -3*p**3 + 2*p**2 - p. Let a be u(1). Let d = 376 - 245. Suppose -77 = -16*o + d. Are o and a equal?
False
Let o = 201681/180421 + -2/10613. Let a be 2/6*(-8)/12 - 20/(-9). Which is bigger: a or o?
a
Let w = -0.00707 + -59.08893. Let v = w + 59. Which is smaller: 0.2 or v?
v
Suppose -16*x - 1340 - 24336 = -30*x. Which is smaller: 1833 or x?
1833
Let o(t) = 5*t**2 - t - 2. Let l be o(-2). Suppose c - 3*u + l = 0, -3*u + 88 = -4*c - c. Let j be 905/(-543)*21/2. Which is smaller: j or c?
j
Let q be ((-7)/28 + (-5)/(-4))*(-6 - -5). Which is bigger: -4/10751 or q?
-4/10751
Let v be 29/(3654/(-14310)) + (-8)/(-14). Which is smaller: v or -114?
-114
Let k be (-16)/120*442/(-68). Which is bigger: k or 0?
k
Let w(i) = i**2 + 7*i - 5. Let o(k) = k**3 - 6*k**2 + k + 12. Let g(a) = 2*a**2 - 2*a - 7. Let p be g(3). Let l be o(p). Let y be w(l). Is y <= 12/7?
False
Let z = -283 - -581. Let n = -297.85 + z. Is -1 bigger than n?
False
Let k(u) = u**3 + 8*u**2 + 7*u. Let x be k(-7). Suppose -4*q - 2*q = -150. Suppose x = -5*b - 0 - q, 0 = -4*t + 2*b + 6. Is t bigger than 0?
False
Let d = 5145 + -5177. Which is smaller: 0.018 or d?
d
Let b be (198/100 + -2)*1. Let n be (16/(-24))/(4/(-54)) + 0. Suppose 2*z + n - 18 = s, 5*s = z. Do b and s have different values?
True
Suppose 3*c + 15*m = 12*m - 12084, 0 = -c - 5*m - 4040. Let o = c + 8507/2. Which is bigger: 230 or o?
230
Suppose -t + 7 = 3*z + t, 0 = -5*z - 3*t + 10. Let j be (6/(-10))/1 - z. Let f = -1.3 + -30.7. Which is smaller: j or f?
f
Suppose -59 = l - 66. Let u be l/(14/12) - (-768 + -2). Is u >= 776?
True
Suppose -5*c - 4*g = -34, -c - g = -6*c + 54. Suppose 366 + 684 = -c*n. Let o be 1 - ((-54)/n)/(12/30). Which is bigger: 36 or o?
36
Let c(m) = m + 14. Let l(o) = o + 14. Let a(j) = -5*c(j) + 6*l(j). Let y be a(-9). Let p = 2 + -1. Which is greater: y or p?
y
Let d = -2/153743 + 319648/934911183. Is -1 greater than or equal to d?
False
Let d = -3526 - -3134612/889. Which is greater: -1 or d?
d
Let i = -3298 + 3298. Is -20/89 not equal to i?
True
Let z = 357.04 + -250.2. Let r = z - -1.16. Are r and -1 equal?
False
Let r(s) = -2*s - 6. Let i be r(6). Let t(y) be the first 