j. Is l greater than n?
True
Let i = 1.393 + 1.607. Do i and 1311 have the same value?
False
Suppose l + 21 = -2*l. Let b be (-2)/(-4)*(l - -7). Suppose b*c = -4*c - 4. Is c <= -1/3?
True
Let m(u) = -2*u**3 + 79*u**2 - 111*u - 114. Let a be m(38). Is 1/4696 >= a?
True
Let y = 93753 - 93699. Let t = -0.7 + -0.3. Let q = t - 0. Which is smaller: y or q?
q
Let w = -81 - -53. Let b = -27 - w. Is 2/77 <= b?
True
Suppose 3*n + 10 = -4*c - 0*c, -c = 4. Suppose -5*j + 42 = n*j. Suppose -y = -j*y, 0 = -2*k + 2*y. Do -1/15 and k have the same value?
False
Let h = 97.0417 - 97. Let p = -216.0417 + h. Is p at least as big as 0?
False
Let p = -684.1 + 756. Let v = -4725 + 4653. Let q = v + p. Which is smaller: q or -3/58?
q
Let p = -0.09242 + -0.90758. Does -1803.3 = p?
False
Suppose -2*o = -5*s - 3135, 0 = -2*o + 3*o - 3*s - 1565. Let n be ((-1575)/o - -1)/((-6)/16). Let m = n + -464/1185. Is m at least -4/15?
False
Let o(k) = 4*k + 92. Let q be o(-12). Suppose r - 22 = -q. Which is bigger: r or -25?
r
Suppose 40*i - 207*i - 60250 = 83*i. Which is bigger: -240 or i?
-240
Let p be (6/10)/(3 + 24/(-5)). Is -8310 not equal to p?
True
Let f(d) = 5*d**2 - 25*d - 18. Let a be f(4). Let w = a - -39. Which is smaller: 14/85 or w?
14/85
Let g(x) = 6*x**2 + 11*x**2 + 9*x**2 - 35*x**2 + x**3 + 10*x**2 + 18. Let y be g(-3). Which is greater: -31 or y?
y
Suppose -2*t + 486 = 4*x, t + 387 = 3*x - 2*t. Let f(p) = -3*p**3 - 15*p**2 - 7*p - 25. Let o be f(-6). Which is smaller: o or x?
x
Let d be 2/(-3 + -3) + 619/3. Let x = d + -148. Is 56 > x?
False
Suppose -77 = -b + 115. Let s be (54/b)/((-15)/4). Is 0 equal to s?
False
Let m(t) = -523 - 30*t - 10*t + 684. Let s be m(4). Which is bigger: s or 14/43?
s
Let s(t) = 2*t - 12. Let c be s(7). Let y be (c/6)/((-3)/(-90)). Let j be 1*-4*y/8. Is -4 at most as big as j?
False
Let u be (-9)/30*-4 + (-7 - -8)/(-5). Is -10/483 less than or equal to u?
True
Let m = -0.0107 - 0.0011. Let c = m + -77.9882. Which is smaller: 2/5 or c?
c
Suppose 6*d - 3 = g + d, 3*g + 3*d - 9 = 0. Suppose 12 = s - 4*j + g, 4*j = -4. Let n be (-2)/3*(0 - 9). Do n and s have the same value?
True
Let w(f) = -45*f**3 - 4*f**2 - 4*f - 3. Let r be w(-2). Let k be r/114 + 6/(-18) + -3. Let p = k - -2/19. Is p smaller than -3/4?
False
Let o be 44 - 58 - 9604/(-2). Which is smaller: o or 4787?
4787
Let u = 16/97 - 9039/55387. Let t = u + 489/46822. Is t < 1?
True
Let k = 32.83 + 29.57. Are -3/2 and k unequal?
True
Let f(y) = 35*y - 2853. Let c be f(83). Suppose 3*d + q - 166 = 0, -4*d - 5*q = -122 - 92. Does c = d?
False
Let a = -96.86 + 96. Let c = a - 0.14. Let t be ((-12)/(-16))/(63/24). Which is smaller: c or t?
c
Let u be (-482 - (0 + -3 + 1)) + (-2025)/225. Are u and -476 equal?
False
Let c(h) = -2*h**2 - 15*h - 21. Let a = 52 - 55. Let q(p) = p**2 + 15*p + 22. Let f(o) = a*q(o) - 2*c(o). Let n be f(17). Which is smaller: 0 or n?
0
Let t = 183 + -181. Suppose 194 = -t*p + 132. Is p not equal to -30?
True
Let q = 236 + -224. Let b = -577 - -576.1. Which is greater: q or b?
q
Let p = 355 - 353. Suppose 50 = -3*n - 4*d, 3*d + 27 = -p*n - 8. Let c = -3 - -2. Which is smaller: n or c?
n
Let c = 182.8 - 183. Let q = -1.8 - 4.2. Which is greater: c or q?
c
Let s = -84 + 2100. Which is greater: s or 2013?
s
Suppose -i - 1 = -5*l, 3*l + 391 = 2*i + 393. Which is bigger: 1/5492 or i?
1/5492
Let r(u) = -4*u**2 - 6*u + 7. Let j be r(1). Let s(h) = h**2 + h - 12. Let d be s(j). Is d greater than -49/9?
False
Let t = 79957798613666/61415 - 1301926217. Let f = -1/865 + t. Which is bigger: f or -1?
f
Suppose -7*f = -6*f - 2. Suppose 49 - 59 = -5*x. Suppose 4*s - n + 83 = -0*s, f = -x*n. Is s at least -22?
True
Let o(x) = -10*x**2 - 710*x + 10. Let y be o(-71). Which is bigger: -23 or y?
y
Suppose -117 = l + x + 3*x, 4*l = -x - 483. Suppose -391*a - 52674 + 5754 = 0. Is a less than or equal to l?
False
Let f be (-17)/((36/21)/(-3)). Let z = 4077 + -4047. Which is bigger: f or z?
z
Let j = -17726 + 177923/10. Is 67 > j?
True
Suppose -3*i - 3*h - 2*h - 53 = 0, -4 = 4*h. Let m(x) = -x**2 - 18*x + 44. Let a be m(i). Is a greater than or equal to 77?
False
Let f = -5006 + 455524/91. Which is smaller: f or 1?
f
Let r = -945 - -361. Do -1/2 and r have the same value?
False
Let k = 23785169/56470 - 1/11294. Are k and 420 equal?
False
Let s be 10/(-10) + 62/2. Suppose v - s = -72. Let t be 2/7 - 156/v. Is 5 smaller than t?
False
Let j = 9778 - 7733. Which is bigger: j or 2?
j
Let i = 7 - 23. Let j = 5 + i. Let u = 36 + j. Which is bigger: u or -1/4?
u
Let f = 70 + -68. Suppose 0 = 2*x - 0*x + 10, -f*w - 22 = 2*x. Let k be 80/w - (20/(-6) + 2). Is -12 at least as big as k?
True
Suppose -12 = -4*u, 0*u + 598 = 4*i + 2*u. Suppose -4*d - s = -118, 0*d + 5*d - i = -s. Let r be (-6)/10*4*5/d. Is -0.4 greater than r?
False
Let v = -5553 - -5554. Do v and 11/845 have the same value?
False
Let x be (13/(-14) - -1)*2. Suppose -76*h + 27*h + 18*h = -310. Is h equal to x?
False
Suppose -104*w + 15 = -101*w. Let s be (((-32)/6 + 5)*w)/1. Which is bigger: s or 0.064?
0.064
Let l be (1/7 - -4)*((-404)/68 + 6). Is -1 <= l?
True
Let k = -76/751 - 690978/14269. Which is smaller: -48 or k?
k
Suppose 31*t = 3633 + 12983. Which is smaller: 535 or t?
535
Let d be ((-34)/18 + 2)*(-1491)/(-10792). Do d and -0.2 have the same value?
False
Let m(g) = g**3 - 4*g**2 - 3*g + 5. Let z be m(5). Suppose s + z = 6*s. Let b = 15915 - 15909. Which is greater: s or b?
b
Let h(y) = -118*y**3 - y**2 + 2*y - 1. Let x be h(1). Suppose 3*l = 3, g - 30*l + 28*l + 121 = 0. Which is greater: x or g?
x
Suppose -18*l + 15*l = 57. Let x(o) = o**3 + 19*o**2 + 3*o + 13. Let q be x(l). Which is greater: -0.1 or q?
-0.1
Let g = 51 + -40. Suppose 15*r - g = 4. Is 0.44 equal to r?
False
Let m be 4 - (16 + -4) - 4. Let n be -1 - (m - -2 - 5). Let y be 1/(n/46) + -3. Which is smaller: -20 or y?
-20
Let y(w) = -w**2 - 1. Let t be y(0). Let q = 202 + -203.9. Let j = q - -1.907. Which is bigger: t or j?
j
Let l = 417/4 + -105. Let f be -10 - 4004/676 - -15. Is l greater than f?
True
Let h(f) = 4*f - 57. Let p(u) = 12*u - 170. Let j(z) = 10*h(z) - 3*p(z). Let r be j(32). Which is smaller: r or 71?
r
Suppose 44 = 2*g - 118. Let t = g - 81. Which is bigger: 4/7 or t?
4/7
Let o = -6443 - -9664. Is -0.1 less than o?
True
Let z(j) = -j**2 - 24*j - 41. Let v be z(-24). Let p(u) = -u**3 + 38*u**2 - 138*u + 24. Let l be p(34). Is v != l?
True
Let p(g) = 2*g**3 - g**2 + 2. Let z be p(0). Suppose 11 = 3*s + z. Suppose s*r + 134 = 44. Which is smaller: -29 or r?
r
Suppose -4*q = -3*w + 29, -4 = -2*w - 5*q - 23. Suppose 3*t + 12 = w. Let h be ((-13)/t - 4)*-123 + 4. Does h = -37?
True
Let c = 17312 - 14531. Which is smaller: 2784 or c?
c
Let x be (0 - -2)/(2/(-3)) + 6. Suppose -2*n + x*s = 2*s - 88, 5*n + 3*s - 198 = 0. Which is smaller: 41 or n?
41
Let w = 155 + -155.81. Let k = -0.83 - w. Let q = -16.98 + k. Which is bigger: 0.1 or q?
0.1
Let k = -1003 - -1015. Let q be -33*(-1 - -3 - 3). Let s be q/9 + k/(-18). Is s at least as big as 10?
False
Let z(s) = -14 - 19*s**2 - s**3 - 11*s - s**3 - 2*s**3 + 2*s**3. Let g be z(-9). Suppose 5*f - 4*u = -13, 0*f + 10 = -g*f + 3*u. Which is greater: f or 1/48?
1/48
Let p be (-3 - 0)*(-1)/20. Suppose 0 = j + 4*j - 3*y - 26, 5*j = -3*y + 44. Suppose 0 = -j*c - c. Which is greater: p or c?
p
Let t be (36/(-7))/(2/(-7)). Let q be (-4)/t - (-24493)/99. Let f = q + -247. Is -0.1 less than f?
True
Let q(g) be the first derivative of 9*g**2/2 + 64*g - 27. Let j be q(-16). Is -81 bigger than j?
False
Suppose -9210*i = -9169*i - 2255. Let a(l) = l**3 - 7*l**2 + 7*l + 3. Let z be a(7). Which is bigger: i or z?
i
Let r = 4.015 + -4. Let w = -410.715 + 413. Let u = w + r. Which is smaller: 0.1 or u?
0.1
Let c be 10/55*11*202*(-1)/(-4). Is c > -29?
True
Let m = -0.416 + 0.116. Let z(b) = b**3 - 4*b**2 + 11*b - 5. Let n be z(5). Suppose -25*s - n = -20*s. Is s not equal to m?
True
Let x be (-26 - -152)/21*1/((-30)/(-2)). Which is greater: -290 or x?
x
Let o = -1629 + 1628. Is o >= 17/57?
False
Let s = 645 + -641. Let g be s + 5 - 1564/172. Suppose 0 = -h + 6*h - 5. Which is greater: h or g?
h
Suppose -7*m = 35, -23470 = -5*v + 5*m + 44930. Is v at least 13674?
True
Let f = 9493669/143 + -66389. Is f smaller than -1?
F