 to o?
True
Let c = 65.95 + -66. Let n = c - 13.95. Let t = -19 - n. Are t and -3 non-equal?
True
Let f(c) = -473*c + 293. Let j be f(-5). Which is smaller: 2659 or j?
j
Let v = 82 + -96. Let i = -73 + 78. Let h(g) = 3*g - 17. Let t be h(i). Are t and v equal?
False
Let a = 76544833923863/692237846958 - 34093/12631386. Let q = 14/7829 - a. Let c = 4889/42 + q. Which is bigger: 5 or c?
c
Let g = 231 - 247. Let b be 5*(-4 - (-72)/15). Suppose -n - b*n = 5. Do g and n have different values?
True
Suppose -13 = -7*t + 8. Suppose 2*l + 4*n = 4*l - 38, -4*l - t*n = -98. Suppose 2*w = -2*a + 25 + 17, 0 = -4*a + 4*w + 100. Is l less than a?
False
Let i be 40/80*(0 + 44/1). Suppose 3*d - w + 28 = 0, -i*w + 19*w + 4 = -d. Does 1.2 = d?
False
Let b(g) = -g**2 - 6*g - 3. Let i be b(-4). Suppose -4*s = 18*n - 17*n - 1, -3*s = -n + 8. Suppose -n*y = i*d, -y - 5*d = 2*y. Which is greater: -1/3 or y?
y
Let v = -1/6 - -35/66. Let d = -73 + 79. Let c be (-4)/d + ((-1771)/84)/(-23). Is c less than v?
True
Suppose 57*b = 54*b - 3*u - 552, 5*b - u = -932. Is b at most 1/4?
True
Let s(p) = p**3 - 2*p**2 + 78*p - 156. Let v be s(2). Let j = 10 + -25. Let t be (-5)/165*j/1. Which is smaller: t or v?
v
Suppose -137 - 127 = -6*s. Suppose -38 = -3*z + 2*v, 4*z = 2*v - 6*v + s. Suppose 3*o + z = 4*k + 2, -3*k = 2*o + 1. Is k less than or equal to 8/9?
False
Let f(m) = -2*m - 1. Let p be f(1). Let h be -10*(-2)/(-12)*p. Suppose -4*q + 109 - 5 = -h*l, 2*q - 52 = 5*l. Is q > 25?
True
Let n be 24/(-2)*(63/12)/3. Let x be ((-15)/n)/1 - (-6)/21. Which is greater: -1/63 or x?
x
Let h be 1*17*7/476. Which is greater: h or 2.47?
2.47
Let d be (-196)/343 - 31/7. Let b = -6 + 6.1. Let k = 0 - b. Is d <= k?
True
Suppose 10 = 5*i - 2*s - 24, -2*i = -4*s - 20. Let j(y) = y**3 - 5*y**2 - 11*y + 1. Let r be j(i). Let b = -27 - r. Is 4/9 greater than or equal to b?
False
Suppose 4*w + d = 40, 3*w = w - d + 20. Suppose 5*y + 180 = -4*t, -5*y = -3*y + 8. Let g = t + 49. Which is greater: w or g?
w
Suppose -2*c = 5*n + 68, 2*c = -6*n + 2*n - 62. Let r = -5 + 5. Let h(k) = k**3 - k**2 + k - 18. Let s be h(r). Which is greater: c or s?
s
Let g be 24/(-11) + 1660/(-22825)*(-10)/4. Suppose 0 = -5*x - 5*l - 30, 0 = x + 3*x + 2*l + 22. Let w be x*(-1 - -2) - -1. Is g not equal to w?
True
Let l be (3 - (1 + -3210)) + (-9)/((-36)/(-28)). Is l > 3207?
False
Let g = -1553/15230 + 3/1523. Which is smaller: g or 5/14?
g
Let m = 76 - 74. Suppose -5*o = 5*k - 500, -2*o - 44 - 156 = -m*k. Is k less than 100?
False
Let f be 11 - (16 - (-23207)/(-299)). Which is smaller: 72 or f?
72
Let j(a) = a**3 + 21*a**2 + 154*a + 128. Let m be j(-23). Do m and -4471 have the same value?
False
Let f(l) = -l**2 - 2*l + 2. Let q be f(-4). Let o be (q/(-5))/((-60)/400). Suppose -b + 4*n = 4*b + 48, -3*b = 5*n + 14. Is o not equal to b?
False
Let y(a) = -a**2 + 9*a - 9. Let w be y(2). Suppose 0*c - 5 = -5*d - c, 0 = -5*d - 3*c - w. Let h = -0.12 - -6.12. Is h smaller than d?
False
Let i be (27/6)/((-3)/(-8)) + -1. Let m = -159 - -164. Is m greater than or equal to i?
False
Let x = -4246 + 4245.647. Which is greater: 2/3 or x?
2/3
Let b be (5/70)/(44/(-198) + 64/126). Are b and -6699 unequal?
True
Let f(t) be the first derivative of -t**4/4 - t**3/3 + 4*t**2 + 6*t + 1. Let o be f(-3). Is o less than 1/37?
True
Let m = -0.067 - 27.933. Let u = m - -35.9. Let p = u + -7. Is p greater than or equal to 0.1?
True
Let y(f) = f - 1. Let w be y(1). Let u be (2 + w)*(18 + -3). Suppose -13*t = -142 - 235. Is t < u?
True
Suppose d - 4*i - 48 = i, 4*d = 5*i + 132. Let w = -21 + d. Suppose -4*a + 24 = -w*a. Is a not equal to -5?
True
Let j = -36 - 25. Let q be (-1 + 1 - j)*1*-1. Is q at most as big as 0.1?
True
Let c(a) = -21*a + 16*a**2 + 21*a - 2*a**2 - 1. Let x be c(-1). Is x <= 13?
True
Let i be 8/(-14)*(-21)/(-90) + 14/30. Which is greater: -2428 or i?
i
Let d(y) = -8*y**2 + 5*y - y**3 + 11*y**2 - 3*y + 6 + y. Let c be d(4). Suppose -16 = 2*s - 4. Is s >= c?
False
Let u be -5 + (-6039)/121 + 10. Does -46 = u?
False
Let w be 0 + 1 + 1/((-4150)/1801). Let q = 14/25 - w. Which is smaller: q or -1?
-1
Suppose 0*c = -3*g - c + 6, -2*g - 2*c + 4 = 0. Suppose -3*f + 48 = -o, g*f = -3*o - 0*o - 155. Which is smaller: o or -50?
o
Let y(l) = -l**2 - l + 3. Let p be y(0). Let s be 2 + 114/(-24) + p. Which is bigger: s or 7/6?
7/6
Let r be (1*42)/(8 - 9). Let l be 3/(-21) - 90/r. Suppose 4*x - l - 1 = 3*s, -2*s - 3*x = 2. Which is bigger: 9/10 or s?
9/10
Let h be (-1 - (-4)/6)/(55/(-495)). Let l be 27/18*(h - (-530)/(-174)). Which is smaller: 2 or l?
l
Suppose -180*u - 15260 = -110*u. Is -203 less than or equal to u?
False
Suppose -90 = 2*c + 132. Let x = c + 183. Let g = x + -111. Is g smaller than -40?
False
Let s be (-130)/(-8)*(-8)/(-40). Suppose 13*n - 285 = 16*n. Let p = n - -98. Is p at least as big as s?
False
Let g = 8004 + -8003.963. Is 7/2 greater than g?
True
Let b = 137 + -115. Let r = b + -23.3. Let c = -4 + 6. Which is smaller: r or c?
r
Suppose 77 = 4*f - 71. Suppose 256 - 34 = 6*h. Is h less than f?
False
Let u = 60 - 59. Suppose 5*i = -0*i + 5*f + 90, -2*f = 5*i - 111. Let j be -6*i/33 + 4. Which is greater: j or u?
u
Suppose 4*u - 5*s + 3170 = 0, -9*s + 3955 = -5*u - 4*s. Which is smaller: -782 or u?
u
Let o = -187.0456 - -187. Let f = o - 13.9544. Do f and -5 have the same value?
False
Suppose -36137*w + 459 = -36154*w. Let j(v) = -v - v + 11 + 3*v. Let k be j(-8). Do k and w have the same value?
False
Let v = -0.012 - 0.278. Let q = 12.71 + -12. Let c = q - v. Which is smaller: -0.4 or c?
-0.4
Let z = -92 + 54. Let b = z - -187/5. Let m = 1022 - 1022.03. Which is bigger: m or b?
m
Let d(v) = v**2 - v - 4. Let x be d(3). Suppose -15*l - 293 + 218 = 0. Which is smaller: l or x?
l
Let n = 31 - 16. Suppose w + 18 = 4*k - 2*k, -3*k + 36 = 3*w. Let i(t) = 8*t - 63. Let g be i(k). Which is smaller: n or g?
n
Suppose -94*v + 19*v - 29*v - 8216 = 0. Which is bigger: -124 or v?
v
Let k = 191.52 - 198.52. Which is smaller: k or -1217?
-1217
Let p(h) = 9*h + 35. Let i = -70 - -66. Let u be p(i). Let j = 2/3 + -13/18. Is j at least u?
True
Let t = -21519/13 - -1657. Suppose -3*a - 27 + 51 = 3*o, 4*o = -2*a + 18. Is t < o?
False
Let u = -72 - -96. Let n be (u/30)/((-2)/10). Let l be n + (-125)/(-30) - (-25)/12. Do 2 and l have different values?
True
Let q be (6 + -3 - 1)*52 + -1. Suppose -12*v = 89 + q. Which is bigger: v or -17?
v
Let v = 318 + -2547/8. Let g = 227/15 + -84/5. Which is smaller: g or v?
g
Let m(c) = 6*c**2 - 2*c + 37. Let f be m(11). Let h = f - 2278/3. Is h < 0.1?
True
Let w = -182 - -182.0409. Let k = w + 2.9591. Which is bigger: k or -0.5?
k
Let m = 9533 - 9534. Is m greater than 0.8226?
False
Let q = -642 - -900. Let t = q - 224.7. Let k = 34 - t. Which is smaller: k or -2/7?
-2/7
Let o = 3.0318 + -6.1358. Is o <= 2?
True
Let t = -6076/475 - -240/19. Let u be 1*(-3)/(4/(32/(-12))). Let n be (u/4)/(4/(-8)). Which is smaller: t or n?
n
Suppose -90382 = 94*b - 61717 + 99551. Is -1363 < b?
False
Let j = -28577079/451385 + -9/15565. Which is smaller: j or -64?
-64
Suppose -3*n + 883 = -1415. Suppose 2*i + 4*k + n = 0, -2*k = 3*k - 5. Is i < -383?
True
Suppose 7*y = 2*y - 530. Suppose n + 29 = d - 70, 89 = d + 4*n. Let o = -9 - d. Is o at least as big as y?
True
Suppose 2*i = -0*p + p - 115, -119 = 2*i + 3*p. Let t = -57 - i. Let b be -1 + 3/54*14. Which is smaller: t or b?
b
Let c be -6 + (3656/460 - 2). Let p = -127/230 - c. Which is bigger: 0.3 or p?
0.3
Let t(b) = -2*b**3 - 6 - 102*b + b**3 - 8*b**2 + 92*b - 2*b**2. Let m be t(-9). Let x(n) = -26*n + 3. Let p be x(m). Is p not equal to -74?
True
Suppose -5*m = -24 - 76. Suppose 1671*d - 2467 + 5026 + 6223 = -1244. Does m = d?
False
Let r(g) be the first derivative of g**2 - 11*g - 5. Let z be r(5). Let d = 1399 - 18182/13. Which is greater: d or z?
d
Suppose 2*q = -4*o - 0*q - 22, -3*q = 5*o + 31. Which is greater: -22/13 or o?
-22/13
Let r(f) = -2*f - 11. Let i be r(-8). Suppose -7 = i*j - 0*v + v, -3*v = 5*j + 11. Let n be 32/(-48) - ((-2)/2 + 0). Which is bigger: j or n?
n
Let l(m) = 43*m**3 - 31*m**2 + 84*m - 32. Let z be l(5). Which is smaller: 4989 or z?
z
Suppose -o = 2*k + 47, o + 2 = 3*o. Suppose -27*d = 5*d + 736. Which is greater: k or d?
d
Let n(c) = 24