*o - 415 = -2*o. Let g = o + 573/7. Suppose -64*w + 4 = -60*w + 4*p, 2*p = 2. Do g and w have different values?
True
Suppose 9 = 5*k - 6. Suppose a - 697 = 5*m, 0 = -k*m - 0*a - a - 423. Let t be ((-16)/(-190))/(168/m). Is t not equal to 1?
True
Let p be (-18104)/(-12) + 396/99. Is 1512 < p?
True
Let w = -6.104 - -6.064. Let i = 0.5 - -5.5. Let y = i + -4. Which is greater: w or y?
y
Let a = -606.8 + 400. Let h = a - -208. Is h <= 2/29?
False
Suppose 35*w - 40*w + 23235 = 5*u, u - 4635 = -3*w. Is u smaller than 4652?
False
Suppose 0 = -34*s + 18*s - 1472. Let f = -91 - s. Which is bigger: 3/106 or f?
f
Suppose 20 - 570 = 97*s + 32. Let j = 6 - 1. Suppose -2*q - j + 3 = 0. Which is bigger: s or q?
q
Let m = -32 - -48. Let c be ((-13)/(-10) + (-1)/(-10))/(2/10). Which is smaller: m or c?
c
Let o = 49 - 11. Let h = -61881 - -61880. Which is smaller: h or o?
h
Let s(w) = w**3 + 9*w**2 + w - 11. Let p be s(-8). Let z = -1667/2 - -876. Let a = z - p. Which is smaller: a or -7?
-7
Suppose 4*m = 3*x - 0*m + 124, 158 = -4*x - 2*m. Let j be 51/2 + (-1)/2. Let z = -14 - j. Which is smaller: x or z?
x
Let j = 21016/79 + -266. Let x = 171 + -171. Which is smaller: j or x?
x
Let l(g) = 8*g**3 + 4*g - 5. Let p be l(2). Let x = -33 + p. Suppose -4*n = -4*a - x + 2, n + a + 2 = 0. Are 3 and n non-equal?
False
Suppose -2*a - 5348 = 3*p + 5933, -p - 5637 = a. Do -5630 and a have the same value?
True
Let r = 31 + -39. Let n = r + 8.05. Let d = n + -0.25. Is d at least as big as 0?
False
Suppose 5019 + 5985 = 84*y. Is 141 at least y?
True
Let z be 0 + -1 + 1 + 0 - (-29 + -1107). Which is greater: z or 1134?
z
Suppose -4*f = -7*f - 12, 4*w + 492 = -3*f. Let s = -121 - w. Which is greater: 1/273 or s?
1/273
Let h = -3.532 - -3.552. Is 3 at least h?
True
Suppose -v - 3*s = -586, 2*s + 1164 = 19*v - 17*v. Are v and 582 unequal?
True
Let r be (-6)/(-2 + 5) + 4. Suppose -r*l - 43 = 25. Let o = -33 - l. Which is bigger: -2/41 or o?
o
Let b = 99 + -27. Let y(w) = -w**3 + 21*w**2 - 29*w + 36. Let r be y(21). Let d = -502 - r. Is b equal to d?
False
Suppose -3*l = -14 + 2. Suppose -l*y - o = 124, 0 = 4*y + o - 4*o + 124. Suppose 4*k + z = 406 - 530, 5*k - 4*z = -155. Is k < y?
False
Let k = 589.05 + -3.05. Let x = k - 709.2. Let w = x - -123. Is 55/2 at least as big as w?
True
Let p be 18/(-24)*-2*1. Let r = 37/26 - p. Is -1 bigger than r?
False
Let j(y) = 1312*y**2 + 5*y - 23. Let k be j(2). Is k at most as big as 5235?
True
Suppose -18 = w + l, -5*l + 31 = -3*w - 7. Let s be (-14)/(-35)*(-2 + (-52)/w). Is 1 equal to s?
False
Let x(v) = 1. Let j(b) = -b - 3. Suppose -5 = -5*w, 4*w - 5*w = -5*g - 6. Let n(q) = g*j(q) + 5*x(q). Let y be n(-8). Which is smaller: y or -1?
-1
Let y = -378 + 356. Suppose 0*g + 5*g + 275 = 0. Let m = y - g. Which is smaller: 32 or m?
32
Let i be 3/(-6) - 3/6. Let j = -13 - -47. Let v be 10/j*(-28)/(-700). Which is smaller: i or v?
i
Let z = -5446.492 + 5447. Which is smaller: z or -4?
-4
Suppose 2*s = -8 + 2. Let q be (-1)/(((-477)/(-3))/s). Let f be (-14)/(-18) - 0 - 4/(-18). Which is smaller: q or f?
q
Suppose 2*u + 1326 = 6*u + 2*b, -4*b + 1647 = 5*u. Is 332 at least as big as u?
False
Let a = -45487 + 313982/7. Which is greater: a or -633?
a
Suppose 37*w - 999 = -259. Let i be 16/w - (-9279)/45. Which is greater: 208 or i?
208
Let f be 9/(-27) - (-237)/18*2. Let p be f/195 + (-2)/6. Is 0 >= p?
True
Let g = -2076 + 1641. Which is smaller: -438 or g?
-438
Suppose -3*w - 2*w = 700. Let t = 127 + w. Is t greater than 2?
False
Suppose -1369 - 1817 = 4*q - o, 5*o = 5*q + 4005. Are q and -800 equal?
False
Let t = -1538478 - -1538477.96. Let c = -2 - -1.962. Is t <= c?
True
Let x = 1923 + -1319. Which is smaller: 617 or x?
x
Let l = 3267 - 13837. Let r = l - -7240452/685. Which is bigger: -1 or r?
r
Suppose -14 = 4*m + 3*m. Let h be -11 + 8 - 1*m - -2. Let l be h*((-4)/18 - 114/(-756)). Is 0 smaller than l?
False
Let v = -65 + 14. Let y = v + 5. Does -45 = y?
False
Suppose 5*y = -2*g - 25249, -4*y - 8838 = 4*g + 41618. Is -12606 less than g?
False
Let r(o) = 1190*o**2 - 3*o + 1. Let w be r(-1). Is 1194 at most w?
True
Suppose 175*o - 4*y - 20 = 171*o, y = 3*o - 3. Suppose 0*a - 3*r = 3*a - 135, 0 = 3*a + 2*r - 135. Let t = -228/5 + a. Which is smaller: o or t?
o
Let z = 116 - 125.4. Let b = -60.4 - z. Let n = b + 50.5. Which is smaller: 6 or n?
n
Let j be (-6)/4*6716/(-9782). Which is smaller: 1 or j?
1
Suppose 35*x = 30*x + 255. Let c = x + -49. Let y(z) = 4*z - 7. Let d be y(c). Is d < 2/69?
False
Let n(x) = 661*x - 1746. Let y be n(5). Is y at least as big as 1559?
True
Let h = -5443 + 5443.05. Which is smaller: h or -10/7?
-10/7
Let v be ((-90)/(-1170))/((-1)/(-82)). Is 7 greater than v?
True
Let i(q) = -q**2 - 12*q + 8. Let g be i(-12). Suppose -16 = -g*s + 72. Let v be 4 + ((-7)/s - 1). Is v >= 2/5?
True
Let m(q) = -q**3 + 20*q**2 - 19*q + 2. Let t be m(19). Let r(v) = 15*v**3 - v**2 + v. Let k be r(1). Let h be (t/(-26))/(k/(-5) + 2). Which is bigger: -2 or h?
h
Let a be ((-5)/(30/(-12)))/((-8)/20). Which is smaller: -18 or a?
-18
Let n be ((-6)/(192/20))/(21/60). Let j = -15/14 - n. Is 2 equal to j?
False
Let g be 9*(1 + (-44)/6). Let u(q) = -q**3 - 8*q**2 - 3*q + 12. Let p be u(-5). Let l = g - p. Which is bigger: -7 or l?
-7
Let b = 29/5 + -387/65. Let p(w) = w**2 + w + 25. Let v be p(15). Let a = v - 266. Is b less than or equal to a?
False
Let m = -0.48 - -19.48. Let r = 18.55 - m. Let x = -0.25 - r. Is -1/5 > x?
False
Suppose -41*o - 8*o = -33*o - 17344. Is o bigger than 1083?
True
Let a be ((-1)/(-2))/(1/18). Suppose a = 7*l - 89. Let d = 14 + -1. Which is greater: d or l?
l
Let l be 322/20*(-12)/(-7). Let u = 122/5 - l. Suppose -9*q + 38*q = 14*q - 30. Are u and q equal?
False
Let y = -1266 - -1266. Which is bigger: 3/9761 or y?
3/9761
Let y = -4.1877 + 0.2027. Is 0 < y?
False
Let z be (1 - (-77)/(-2))*56/(-70). Which is bigger: 714/23 or z?
714/23
Let i(m) = 2*m**2 + 561*m - 2843. Let w be i(5). Let h = 15 + -4. Which is smaller: w or h?
h
Let u be 542*(54/12)/(-9). Does u = -269?
False
Suppose 4*v + 8*q - 3*q - 4617 = 0, -3*v + 3477 = -q. Let x be (42/2961)/(2401/v + -2). Let b = x + -11/85. Are 0 and b non-equal?
True
Suppose -5*g + 3892 - 3617 = 5*h, -5*h + 4*g + 365 = 0. Let y = 5 - 3. Let j be ((-2)/y)/((-2)/130). Are j and h nonequal?
False
Let f = 8926150167/104 - 85827307. Let d = f - 1060. Do 0 and d have different values?
True
Let z(p) be the second derivative of -p**5/10 + 11*p**4/12 - 3*p**3/2 + 19*p**2/2 + 5*p - 5. Let u be z(7). Is -192 greater than u?
False
Suppose 15*m + 35 = -4*i, 3*i = -12*m + 8*m - 19. Which is smaller: m or 4/6955?
m
Let k(v) = -106*v**2 - 11*v - 2. Let x be k(-2). Let p be -1 + -3 + (x/(-67) - 2). Is p at most as big as 0?
False
Suppose -3*r = u + 143, 7*u = 2*u + 2*r - 698. Let s(m) = -m**2 + 24*m - 7. Let b be s(23). Let y be (b/(-10))/((-7)/u*-2). Is y bigger than 16?
False
Let y = 0 + 9. Suppose -z = -y*z. Suppose z = -54*r + 50*r - 48. Is -10 less than or equal to r?
False
Let u be 6 + (-4902)/(-1641) - 9. Which is smaller: u or 0?
u
Let t be (12/9)/(100/9*2016/2688). Let l(p) = p**2 - 6*p - 5. Let w be l(7). Suppose 4*y = -0*y - 8, w*j + 4*y + 10 = 0. Which is smaller: t or j?
j
Let d(p) = -182*p**3 - 5*p**2 + 19*p - 21. Let g be d(3). Is g less than or equal to -4923?
True
Let g = 13469 - 13452. Is g > -77?
True
Suppose 1728 = 7*p - 2906. Suppose -15*t + 13 = -p. Let c = t + -108. Are c and -63 equal?
True
Suppose 439 = -2*a + 133. Suppose 0 = -o + 5*h - 190, 0 = -40*o + 39*o + 3*h - 176. Which is smaller: o or a?
o
Let m be (-6)/(-27) + 252096/(-1128114). Does m = 1?
False
Let f be 14 + 0 + (-3840)/390. Are 0 and f non-equal?
True
Let m = 58269.8 + -58270. Let j be (-23)/(-8) + (1 - 2). Which is smaller: j or m?
m
Let z = -0.009 + -0.04. Let s = z - -0.089. Are 25 and s non-equal?
True
Let h be ((-6)/21)/((-5)/105). Suppose 7*d + 127 = h*d. Let g be d/(-195) + 2/(-3). Is 0 not equal to g?
True
Let x(k) = 98*k + 17. Let q be x(-2). Let j = q + 175. Which is greater: j or -17?
j
Suppose 398*a - 401*a + 264 = -4*f, -378 = -4*a + f. Is 96 less than a?
False
Let l = 290 - 872/3. Which is smaller: l or 498?
l
Let t be 3415616/1740 + (-70)/14. Let s = t - 1958. Is -1 != s?
True
Let m(x) = -2