j = 350 + -350.228. Let n = j - -0.688. Is n < 2/7?
False
Let n(h) = -63*h + 63. Let x be n(2). Let l be 3*(-11)/((-297)/x). Which is smaller: l or -61/10?
l
Suppose 2*m + 154 = -2*a - 76, 0 = -4*a + 4. Let f = m + 115. Let s be (-1)/1 + 561/555. Which is smaller: f or s?
f
Let y be ((-120)/(-320) - (-34)/(-48))/((-2)/(-20858)). Which is bigger: y or -3475?
-3475
Suppose 0 = -12*f - 1447 - 4721. Let d = f - -601. Let q = -172 - -258. Do q and d have the same value?
False
Let y(t) = -6*t**2 - 85*t - 699. Let x be y(-51). Which is bigger: x or 0.1?
0.1
Let j = -7185.609 - -7176. Which is bigger: j or -0.1?
-0.1
Let l = -37996 + 37945. Which is smaller: l or -238?
-238
Let k be 15/2*(-2)/(-3). Let n(x) = 1 - 3 + 7*x**2 + 924*x**3 - 16 - 4*x - 2*x - 925*x**3. Let d be n(k). Which is greater: d or 5?
5
Let f(g) = -2 + g - 1 - g**3 + 3 + 12*g**2 + 10. Let t be f(12). Suppose 0 = -4*s + 2*p + 84, -102 = -5*s + 6*p - 2*p. Is t at most s?
True
Let f = -35.93 + 11.22. Is f < 2/5?
True
Let l = 89.2 - 5. Let z = l - 89. Let r = 31.2 - z. Is r at least -1/2?
True
Suppose 446*t - 486*t = -184920. Is t less than or equal to 0?
False
Let y be 417*(-8)/(-1512) + 230/(-161). Let s = -0.42 - -0.4. Which is bigger: s or y?
y
Let r be (-1 - 0)/1 + 2316/(-36). Let c be (-3)/(-3) - 65 - (24 + -22). Is c > r?
False
Let n be ((-12)/(-3390))/(2/(-20)). Let d(w) = 2*w**3 - 3*w**2 - 6*w - 2. Let t be d(-1). Are t and n nonequal?
True
Let u be -5 + 0 - (-6 + 1 - 7068/17404). Which is bigger: u or 0?
u
Suppose 4*f = 4*h + 16, -84 = -3*f + 5*h - 62. Are f and -1/146 nonequal?
True
Suppose 18 = -j + 5*s - 27, 4*s = j + 40. Let p be -2 - j/16 - (-5)/4. Let i = 4 - 92. Which is bigger: i or p?
p
Let m be (4/42)/(40/20 - 414/4). Which is smaller: m or 1?
m
Let f be 13/(78/(-36)) - -1. Let m(x) be the first derivative of 9*x**2/2 + 26*x - 2. Let h be m(f). Which is smaller: h or -18?
h
Let w(l) = -l**3 + 30*l**2 - 36*l + 211. Let v be w(29). Is -79 bigger than v?
False
Let x = -6348 + 6197. Which is greater: x or -0.2?
-0.2
Let y = 34211 + -33145. Are 1070 and y non-equal?
True
Suppose 4356 = 3*m + 12*p - 9*p, 4360 = 3*m + p. Is 1454 less than or equal to m?
True
Let d = -8861 - -8859.3. Which is smaller: 0.04 or d?
d
Let b = 4 - 4. Suppose -171*z + 168*z + 33 = b. Which is greater: z or 10?
z
Suppose -5*a = 15, -a - 9 + 8 = -2*o. Which is smaller: o or 47/98?
o
Let w = 1070 - 519. Let k = w + -547. Which is smaller: 2/127 or k?
2/127
Let s = 810043/110 + -7364. Which is smaller: -2/25 or s?
-2/25
Let t = -17288/5 - -3417. Let w = t + 41. Let s = -23 + 12. Which is greater: w or s?
w
Let z(x) = -19*x + 190. Suppose 53 = -8*t + 133. Let b be z(t). Which is greater: 11/7 or b?
11/7
Suppose 8 = 3*i - i + l, -2*l = 2*i - 6. Suppose -i*m + 3*b - 182 = 0, 4*b - 190 = 3*m - 72. Let c = -47 - m. Which is smaller: c or -35/3?
c
Let c = -46/79 - 5109/316. Let d(j) = -j**2 + 3*j + 1. Let m(b) = b + 11. Let a be m(-5). Let r be d(a). Which is greater: r or c?
c
Let g = -4.4952 + 0.4952. Which is smaller: g or 482?
g
Let c = 11/147 - 685/13083. Let w be (-9)/(90/(-25))*(-6)/(-3). Suppose -2*l - m + 2 = 0, w*m - 3 = -3*l - 0. Is l >= c?
True
Let o(q) = 2*q**3 + 23*q**2 - 9*q - 111. Let w(v) = -v**3 - 11*v**2 + 5*v + 56. Let j(a) = 3*o(a) + 7*w(a). Let t be j(-9). Is t not equal to 68?
False
Suppose 336 = -16*i - 32*i. Let a(g) = g + 8. Let b be a(i). Let u(j) = -j**3 + j**2 + 2*j + 1. Let p be u(2). Is b >= p?
True
Let j = -24 - -47/2. Let n = -161.055 + 184.055. Which is bigger: j or n?
n
Let g(t) = 10 - 2*t**2 - 9*t - 1693*t**3 + t**2 + 1696*t**3. Let q be g(2). Let k(z) = z**3 + 6*z**2 + 5*z. Let i be k(-4). Are i and q equal?
True
Let k be 2*2/(-4)*19. Let m = 17 + k. Let q be (-13)/((0 + -1 - -2) + m). Is q < 1?
False
Let g = -1288 + -4492. Which is bigger: -0.1 or g?
-0.1
Let n be -1 - 8/(-14) - (-9)/21. Suppose -5*m = -3*h - 1, -3*h + 9 = -n. Suppose 0*s + m*s - 170 = 4*k, 3*s - k - 255 = 0. Which is smaller: 86 or s?
s
Let q be 8642/20*2 + 17*44/(-3740). Do q and 862 have the same value?
False
Let c = 7 + -6.7. Let k(j) = -2*j - 40. Let a be ((-392)/84)/(2/9). Let h be k(a). Which is bigger: h or c?
h
Let o be (-11)/(-3)*(1 - (-1 - 1)). Suppose a + 3*q = o, -2*a - 6 = -4*a + 2*q. Suppose -3*t = -a - 10. Which is smaller: t or 1?
1
Suppose 3*d - 1355 = -2*u, -96*u = -99*u - 5*d + 2031. Which is greater: u or 665?
u
Let z = 9663 - 9659. Suppose -4*m + 72 = -2*b, 8*m - 124 = 4*b + 4*m. Which is smaller: b or z?
b
Let k = -280 + 5317/19. Let l = 13.5 - 11.3. Let j = -2.2 + l. Which is smaller: j or k?
k
Let x be -15 - 42*(-8)/24. Which is smaller: -17/40 or x?
x
Let y be (-6)/(-16) + 2730/(-112). Let v be -25 + y/(-6)*-1. Let p(q) = -2*q - 59. Let c be p(v). Is c at least -4/11?
False
Suppose -o - 1 + 3 = 0. Suppose -o*a + 0*a + 67 = 3*t, -2*t = 2*a - 72. Suppose -a = -w - 5*k, 4*k = 4*w - 15 - 77. Is w > 27?
False
Suppose -3*y + g - 1415 = -g, -2*g + 1890 = -4*y. Let d = y + 6653/14. Let z be (-36)/(-4) + -5 + (-18)/5. Which is bigger: z or d?
z
Let d = -2808 + 2408. Which is smaller: d or -405?
-405
Let n(u) = 231*u + 2558. Let m be n(-11). Which is bigger: 645/41 or m?
m
Suppose 52*d - 47*d = 155. Let r be (-35)/156 - (527/(-102))/d. Let x(l) = l**2 - l - 2. Let t be x(2). Which is smaller: t or r?
r
Let v(i) = 4*i**2 + 8*i**2 + 41 + 6*i**2 - 17*i**2 - 13*i. Let j be v(6). Which is smaller: j or -4/35?
j
Let o = -4554 + 18215/4. Are -35.12 and o equal?
False
Let c = 163.9 - -27.1. Let f = 186 - c. Which is greater: f or 3?
3
Let x be (-2)/(-8) - (123/615)/((-2)/31795). Which is bigger: 3181 or x?
3181
Let x be -10 + (-2)/14 + (-71)/(-7). Is x greater than 57.87?
False
Let p be (-15168)/132912 + (-30)/(-65). Which is bigger: p or 1?
1
Let i = -887 - -888. Does 1/30223 = i?
False
Let c = -0.25624 + 0.05624. Which is bigger: c or -7639?
c
Let p = -64930 - -129863/2. Let n = 4.1 + 0.9. Is p > n?
False
Let f = 54.03 - 54.13. Which is smaller: f or 26515?
f
Let t(h) = 106*h + 390. Let y be t(-4). Do y and -37 have the same value?
False
Suppose 120 = 230*n - 224*n. Let j(r) = r**3 - 21*r**2 + 31*r - 9. Let q be j(n). Is 212 at most as big as q?
False
Let a(q) = -11*q**2 + 29*q + 311. Let w be a(-8). Is -623 greater than or equal to w?
True
Let q be 141/(-799) - (-6003)/(-663) - (-24)/104. Let u(n) = -2*n + 2. Let j be u(4). Does q = j?
False
Let y = -765 + 765. Let b be 3949/(-121) - -8 - (y - 1). Is -23 bigger than b?
True
Let p = -162 - -11. Let x = 224 + p. Let u = x - 72.98. Which is smaller: u or 0?
0
Let l be 10/8*(37 + -3). Do l and 43 have the same value?
False
Let x be (-7 - -5)/(5/(-3) + 1). Suppose 3*a = -4*g, 0 = -x*a + 2*g - 7*g. Suppose 5 = -l - a. Do -6 and l have the same value?
False
Let q(i) = -202*i**3 + 6*i**2 + 22*i + 40. Let z be q(-2). Do -1/5 and z have the same value?
False
Let y be (-200)/(-5) + 2*1. Let s = 206/5 - y. Let m = 131685 + -131685. Is s smaller than m?
True
Let h be (-4)/16 - 453/12. Let s = h - -38. Are s and -4/95 equal?
False
Let p(h) = -h**3 - 3*h**2 + h - 9. Let g be p(-4). Suppose -k - 2*i = 2*k - 61, 0 = 3*k + g*i - 66. Let b be 17 - (-3)/(-3 + 6). Are b and k unequal?
True
Let n = -0.24 + -1. Let w = n - -5.64. Which is bigger: 0.1 or w?
w
Let u = -3.16 + 199.16. Let s = u + -195. Let f = 0.5 - 0. Is f at least s?
False
Let m be (-10)/18 - (-207592)/126. Is m != 1647?
False
Suppose 6010 = -74*b + 6084. Which is smaller: b or -1/12839?
-1/12839
Let h = 20029685/319 + -62789. Let b be ((2 - 2)/1)/(-2). Which is greater: h or b?
b
Let n be (2 - (1 + 0))/(260/(-52)). Suppose s - 2*s = 0, a = -2*s + 4. Which is bigger: n or a?
a
Suppose -9 = -3*j + 12. Let h be (14/(-35))/(-1) + (-27)/5. Let w(c) = 2*c**3 + 11*c**2 + c - 14. Let r be w(h). Which is bigger: j or r?
j
Let d(i) = -6*i - 26. Let t be d(-14). Let j be (-30)/(-120) - (-231)/4. Is t >= j?
True
Let o(h) = h**3 - 157*h**2 - 37*h + 17. Let g be o(158). Is 19136 greater than g?
True
Let s = -180/11 - 7219/22. Let p = 4769/14 + s. Let l(v) = v**2 - 10*v + 11. Let u be l(8). Which is smaller: u or p?
u
Let r = -934 - -937. Let y be (7 - 6)*(-4 + 2 + r). Is -1/710 bigger than y?
False
Let p be 4/6*27/6 - -264. Let i be 2/6*3 + (18 - -249). Is i less than p?
False
Let z be 131127/(-11919) + 10/