80) - (-3 + 4). Is v < 175?
True
Suppose 267*r - 10797 = 326*r. Is r != -183?
False
Let t = 1181121/43 - 27472. Are -5 and t nonequal?
True
Suppose 3*w = -2*y + 9, -5*w - y = -6*y - 15. Suppose -4*a = -o + 20, a - w*a = 4*o + 10. Let b be ((-93)/(32364/638))/(3/18). Are b and a non-equal?
True
Let l = -3041 - -15207/5. Which is smaller: -876 or l?
-876
Let f(l) = l**2 + 5*l - 20. Let j be f(0). Are j and 6 equal?
False
Let y(f) = -2*f**3 - 27*f**2 + 80*f - 16. Let w be y(-12). Is -1415 less than w?
True
Suppose 12*b = 9*b - 4*j + 37535, 0 = -j - 4. Is b greater than 12516?
True
Suppose -3*q = -5*t - 795 + 50, 2*q + 2*t - 470 = 0. Suppose q*h - 45 = 241*h. Which is bigger: -47 or h?
h
Suppose -34667 - 19151 = 71*j. Which is greater: -770 or j?
j
Let v = -3945 + -3142. Is v at most as big as -7087?
True
Let m be 4/(-6) + (-14)/(-12). Let p = -5061.058 + 5050. Let z = p - 0.942. Which is bigger: z or m?
m
Let z be 2/4 - (1862/28 + 8). Suppose v + 87 - 13 = 0. Is v equal to z?
True
Suppose -j - 2*b = -9, 6*j = 9*j - b - 13. Suppose -j*g + 5*x - 20 = -0*g, 2*g + 5*x = 27. Which is greater: g or 6/19?
g
Let l = -35 - -29.4. Let j = l - -5.5. Is j at most 1/5?
True
Let u = -1.0479 + 71.0479. Let b = -3.9 - 83.1. Let a = u + b. Which is smaller: 1/2 or a?
a
Let d(g) = -g**3 + 8*g**2 - 11*g - 3. Let s be d(2). Let v be (22/70)/(s - 3/(-5)). Which is smaller: -2 or v?
-2
Let o = 2717 - 19021/7. Let j = 9 + -8.792. Which is smaller: j or o?
o
Let a(v) = 2*v**3 + 10*v**2 + 1. Let y(x) = -3*x + 34. Let j be y(13). Let g be a(j). Let u be (14/(-7))/(0 + 0 - g). Do u and 1 have the same value?
False
Suppose 0 = 2*b - k - 40, 0 = 5*b - 6*k + 8*k - 109. Let s be b/(-14)*1732/(-72)*-3. Is -108 at most as big as s?
False
Let k be 5/(30/18)*(-1)/1. Suppose 3*n = 2*n + 6. Suppose 0 = -2*a - 0*a + n. Which is bigger: a or k?
a
Let n(x) = -x. Suppose 0 = -3*p + 22 - 25. Let r be n(p). Let q be (8/(-4) - r)*-5. Which is bigger: q or 8?
q
Let w = -146935/172 - -3417/4. Suppose -3*n + 4*l = 5, 3*n + 5*l + 3 = -11. Let p = 2 + n. Do w and p have the same value?
False
Suppose 5*p + 2*s - 23801 = 0, 79*s = -2*p + 81*s + 9526. Which is greater: p or 4763?
4763
Let l(y) = 8*y**2 - 32*y + 155. Let g be l(7). Is 340 > g?
True
Suppose 105*h - 106*h - s + 6626 = 0, -h - 4*s = -6617. Is 6628 less than or equal to h?
True
Let x = 1460 - 1459.8. Let o = -69 - -101. Which is smaller: o or x?
x
Let f = 325.01 - -1.99. Let g = -327.003 + f. Let l = 0.1 + -0.2. Is g greater than l?
True
Let q(k) be the second derivative of -k**3/6 + 7*k**2/2 + k. Let w be q(7). Suppose -14246 = -162*u - 14570. Which is bigger: u or w?
w
Let d(l) = -50*l + 17. Let n(i) = -i + 13. Let b be n(7). Let w be d(b). Let g be 2/(-8) - w/1164. Which is smaller: 0 or g?
g
Let t = -430.0539 + 0.0539. Let k = 429.9 + t. Let n = 0.4 - -25.6. Is k != n?
True
Let t = -328323662 - -7705428024922/23469. Let d = -1205605069/1103043 - t. Let p = d - -1093. Which is smaller: p or 1?
p
Suppose -4*m = -7*m. Suppose 5*o - 5*z - 85 = 0, 5*o - z + 4*z - 45 = 0. Let f be m - 4/(16/o) - -1. Is -7/10 equal to f?
False
Let w = 16 + -15.3. Let z = -163 + 243. Let s = 79.7 - z. Is s less than or equal to w?
True
Let v = 252198/629 + -6818/17. Let y = 4 + -7/2. Which is smaller: v or y?
v
Suppose 170 = -12*o + 27 - 13. Which is bigger: -74 or o?
o
Let i(z) be the first derivative of z**3/3 - 9*z**2 + 91*z + 97. Let w be i(8). Are 9 and w equal?
False
Suppose -2*c - 5 = -4*j - 1, 5*j = c - 10. Let t(d) = -13*d**3 - d**2 + d + 1. Let z be t(-3). Let v = -351 + z. Which is smaller: c or v?
v
Let p(v) = -11044 + 11034 + 4*v**2 + 8*v + 29*v. Let x be p(-9). Is x equal to -19?
True
Let q be (4/6)/((-4)/(-66)). Let o = -275437/6 - -45907. Is o at most as big as q?
True
Suppose -4*j + h = -340, -3*h - 19 = -7. Let s = -39632/3 - -13296. Which is smaller: j or s?
j
Suppose 0 = 3*z - 6*z + 9. Suppose z*w - 156 = 5*s + 50, 4*s + 156 = -2*w. Which is bigger: s or -41?
s
Let h = -41 - -38.5. Let a = h - -3.5. Let z = -0.64 + 0.63. Which is bigger: a or z?
a
Let f be (-547)/77 + 6/(-33). Let x(i) = 319*i - 1920. Let a be x(6). Which is smaller: a or f?
f
Let w be ((-4)/8)/(3/150). Let h be -11 - (w/5)/(-5). Let b be (40/h - -3)*3. Which is smaller: -2/13 or b?
b
Suppose -105*r + 1940872 + 678795 = 713287. Which is bigger: 18154 or r?
r
Let d(h) = -h**3 + 30*h**2 - 203*h + 33. Let g be d(10). Is g greater than 542/131?
False
Suppose -85*f - 2700 = -76*f. Which is greater: -310 or f?
f
Let r = 5983 - 5986.4. Is r < 0.24?
True
Suppose -16 = -7*r + 3*r. Let l = r + -2. Let x = 0.659 + -1.159. Which is smaller: l or x?
x
Let r(k) be the second derivative of -k**4/6 - 7*k**3/6 - 3*k**2 + 19*k. Let l be r(-1). Let d be ((-4)/l)/((-42)/9 - -6). Is 3 less than or equal to d?
True
Let v be ((-150076)/21444 - -7)*(-9)/12. Are 0 and v unequal?
True
Let v = 556.7 + -119.4. Let f = -457 + v. Let k = 1.3 - f. Is k bigger than -0.2?
True
Let t = -0.49 - -0.496. Let s = 0.131 - t. Let g = s - 53.125. Which is smaller: 1/2 or g?
g
Let d = -18238 - -18237. Which is greater: -96/403 or d?
-96/403
Let n = 160 + -95. Suppose -355*z - 148 = -2*c - 351*z, 2*z = -10. Which is smaller: c or n?
c
Let o be 4/(-6) - 8/6. Let z be -2 - 4/(-10)*1/o. Which is smaller: z or -1?
z
Let p(r) = -r**3 + 180*r**2 + 545*r + 733. Let k be p(183). Let w be (10/(-645))/(2/3). Is w > k?
False
Let w be (27/2)/(6/5*110/5368). Which is smaller: 546 or w?
546
Let i = 7 + -3. Suppose 0 = -y + 4*m + 3 - 4, -i*y = -5*m - 7. Suppose -r = y*t - 6, 3*t + 2*t - 30 = -5*r. Is 32/7 != r?
True
Suppose 36 = 524*l - 520*l. Suppose -199 = l*q - 73. Which is greater: -1.6 or q?
-1.6
Let p = 89.038 - 2.138. Let x = p + -87. Let q = -122.9 + 118. Is q smaller than x?
True
Let w be (2/6 + 0)/((-529070)/12465). Is w greater than or equal to -0.5?
True
Let k be 74*-15*((-9)/18 - 0). Which is smaller: k or 552?
552
Let t = -147 + 48. Let w = t + 1285/13. Which is bigger: w or -0.05?
-0.05
Let c = -44 + 88. Let k = c + -43.939. Is -2/7 less than k?
True
Let t = 959.8 - 1150. Let h = t + 190. Is -8 less than or equal to h?
True
Suppose 0 = -5*d - 0*d. Suppose 3*b = 6*b - 3. Let o be (b/(-87))/(19/57). Is o equal to d?
False
Let j be ((-10)/(-40))/((-44)/88 - (-10)/8). Is -5/39 > j?
False
Let m(z) = z**3 - 27*z**2 + 76*z - 364. Let o be m(23). Which is bigger: -734 or o?
o
Suppose 0 = -2*y - 2*c + 5 - 15, y - 4*c - 20 = 0. Let r = -3.04 - 0.36. Let x = r + 69.4. Is y bigger than x?
False
Let u(a) be the first derivative of -2*a**3/3 + a**2 - 17*a + 19. Let y be u(0). Which is smaller: y or -19?
-19
Let s(x) = 8*x**2 - 11*x + 9. Let z be s(10). Suppose 185*f - 811 = 191*f - 5005. Is f > z?
False
Suppose 98114 - 11514 - 9749 = 9*i. Which is smaller: i or 8538?
8538
Let q = -737 - -693.9. Let k = q - 0.9. Let c = k - -43.95. Which is bigger: c or 0.3?
0.3
Suppose -16*m - 258238 + 71962 = -54*m. Is m < 19609/4?
True
Let f be 8/3*(14 - (-2853)/(-198)). Which is greater: f or -4/9?
-4/9
Let t be 1543/30 - ((-2232)/432 + 3*2). Is t greater than 52?
False
Let a = -45.8 - -6.4. Let j = a + 43. Let r = j + -0.6. Is r != 2/3?
True
Let n = 1 - -1. Let g be ((10/3)/(-1))/((-3)/18). Let k be g/(-9) + 4*(-3)/(-6). Which is smaller: n or k?
k
Suppose -3*n + 53 = -10*t, -3*n = -5*t + 10*t + 22. Is n equal to -67?
False
Suppose -11 + 21 = -5*h. Let u be (1*6/h)/((-27)/45). Suppose u*z = 4*z. Is 2/65 greater than z?
True
Let d(z) = 54*z**3 - z. Let i be -3 + 3 - (3 - 2). Let l be d(i). Let y = -53 - l. Is 4/19 less than y?
False
Let j = 1453/3 - 485. Is j <= -2/711?
True
Let p = -15 + 187. Let c = p + -137. Which is smaller: c or 30?
30
Let y be (-6)/(-4)*(-2)/(-3). Let l = -42679/5 - -8536. Which is smaller: y or l?
l
Suppose 1 + 0 = -z. Let t be (-4310)/3888 - 17523/(-15576). Which is bigger: t or z?
t
Let c be (36/(-20))/(3759/(-121720)). Which is greater: 57 or c?
c
Suppose 4*l + 6 = -5*x + 72, 5*l - x = 68. Let r be (-4)/l + (-2211)/(-3696). Does 0 = r?
False
Let j(n) = 8 + 14*n - 13*n - 21. Let a be j(10). Let v be 0 - (3 + -5 - -6). Which is bigger: a or v?
a
Let p(k) = -1566*k - 104. Let g be p(3). Is -4802 not equal to g?
False
Let j(p) = -2*p**2 - 10*p - 9. Suppose 0*c - 4*c - 121 = -q, 5*q - 655 = -5*c. Let u = 128 - q.