 -3*c, c = 4. Suppose -3*v + 0*v = -a. Do -2/61 and v have different values?
True
Let i = 6.35 + -2.69. Let o = -0.24 - i. Which is smaller: o or 2?
o
Let j = -644 - -643. Do -4.22 and j have the same value?
False
Let v be (-4101)/(-8)*(-18)/27. Let m = 340 + v. Is 0.1 >= m?
True
Let m = 193 - 129. Does m = -3?
False
Let s = -718/2415 + 4/345. Which is greater: s or 0.007?
0.007
Let k(b) = 71*b + 184. Let n be k(-4). Is n at most as big as -96?
True
Suppose -v = 5 - 4. Let a(b) = -12*b**2 + 4*b + 3. Let p be a(v). Which is bigger: -1 or p?
-1
Let h = 3.8 - 46.8. Let z = h + 42. Is 8 at most z?
False
Suppose 3*r - 19 = -1. Suppose 9 = r*z - 27. Let a be (-20)/z*(-8)/40. Is a at least 3?
False
Let w = -933 + -291. Is w smaller than -1223?
True
Let l = -2/359 - 2846/4667. Let j = 3/26 + l. Is -7/5 at least as big as j?
False
Let c = -42 + 38.8. Let q = -3 - -6. Let r = q + c. Which is bigger: -2/5 or r?
r
Let j(s) be the third derivative of s**4/24 + 19*s**3/3 - s**2 - s. Let m be j(-17). Suppose -7*k + 105 = -2*k. Is k greater than or equal to m?
True
Let p be 2/(-8) + 15/(-4). Let w = -0.2 - -2.4. Let u = -1.2 + w. Does p = u?
False
Let b be 25*(-3)/(-30)*24/50. Is b smaller than 1?
False
Let j be ((-48)/(-20) + 0)*5. Suppose 2 = -5*q + j. Suppose 4*g - 8 = 3*f, f - 3*g + 2*g + q = 0. Which is smaller: f or 2/37?
f
Let n = -44 - -305/7. Let q = -21 + 23. Suppose q*o + 3 = 6*z - 3*z, z + 2*o = 1. Which is smaller: n or z?
n
Let a = 400 - 398. Which is bigger: a or 0.71?
a
Let h = -175/17 - -4421/408. Are h and 2 equal?
False
Let s = -18/143 + 4/13. Let z = 62.8 - 63. Which is smaller: z or s?
z
Let v(a) = -a - 12. Let w be v(-14). Let d(f) = -28*f + 15. Let z be d(w). Is -41 >= z?
True
Let j = 19.6 + -19.63. Do j and -3.6 have the same value?
False
Let j = -306 - -447. Suppose -3 = 3*c + j. Is -48 <= c?
True
Suppose -3*m + 8 = v, 0 - 2 = 2*v - 3*m. Let n = 110 - 76. Let f be v + (-1)/(n/64). Which is smaller: 1 or f?
f
Let d = -162 - -180. Are d and 9 equal?
False
Let y be (-833)/28 - 2/8. Let j be 10/y + 10/21. Which is bigger: j or -1?
j
Let f = -96.41 - 1.59. Let i = f + 95. Are 0 and i nonequal?
True
Let v be (-6 + 12)/(-2 + (-2)/(-4)). Which is greater: v or -5?
v
Let u be 3*1 - (-2)/(-2). Suppose -u*k = 3*k. Suppose -v + 2*g + 2 + 9 = 0, -3*v = -4*g - 23. Are v and k unequal?
True
Let q = 6157/567 + -58/81. Which is bigger: q or 9?
q
Suppose -60*c + 61*c = 116. Which is smaller: c or 118?
c
Suppose -12*g + 9*g + 63 = -3*s, 2*g + 4*s - 60 = 0. Which is greater: g or 26?
26
Suppose -4*n + 14 - 2 = 0. Suppose -16 = -7*m + 3*m + n*v, 0 = m - 2*v - 4. Are m and 4 equal?
True
Let h = -68 - -69. Let j = -1.177 - 23.033. Let c = 24 + j. Which is smaller: c or h?
c
Let s = -122136/13 - -9438. Is s less than 44?
True
Let a = 0.054 + -19.054. Are a and -8 non-equal?
True
Let m(j) = 10*j - 123. Let a be m(13). Which is smaller: a or 58/9?
58/9
Let m be (-264)/(-10) - (-21)/35. Which is bigger: 0.4 or m?
m
Suppose 3*i + 5*d = -5, -4*i + 3*i = 3*d + 3. Suppose i = -2*m + 3 + 11. Suppose -2*l = -4*y - 7 - m, 12 = -3*y. Which is smaller: -3 or l?
-3
Let p be (-1296)/(-11424) + 2/(-14). Which is smaller: p or -1?
-1
Let a(g) = 18*g**3 - 2*g**2 - 2*g - 1. Let y be a(2). Which is greater: -2/3 or y?
y
Let v be 5*-4*4/40. Let j = 317 + -307. Which is bigger: j or v?
j
Suppose -3 = -s - 4. Let c(o) = -o**2 - 8*o + 8. Let i be c(-8). Suppose 6*z - 6 = i*z. Which is smaller: z or s?
z
Suppose 2*x + 4*w - 7 = -1, 8 = -2*x + 3*w. Let t = 737/6 + -123. Does x = t?
False
Suppose 5*f + 4*g - 225 = 0, f = -4*g - 15 + 60. Suppose f = -15*m + 6*m. Let a = 1 - -1. Is m at most a?
True
Let y be 3 + 0 + -1 - 1453. Let s = y + 76901/53. Let i be (1 - -1) + (-9)/6. Which is bigger: i or s?
i
Suppose -3*i - i + 72 = 0. Let k be (-87)/i + 9/(-54). Which is bigger: k or -4?
-4
Suppose 4*s + 0 = 4*q + 4, 0 = -5*q - 3*s + 11. Let w be q/(((-9)/(-291))/(-1)). Let m = -670/21 - w. Which is smaller: m or 0?
0
Suppose 3*o - 234 = 5*j, -4*o - 150 = 3*j - o. Are j and -48 unequal?
False
Let n = -20 - -14. Let c = 6 + n. Is c equal to -3/11?
False
Suppose 2*c - 71*u = -68*u + 583, 5*c - 1429 = -2*u. Do c and 286 have different values?
True
Suppose -5*b - 37 = -2*l - 2*l, -2*b + 38 = 5*l. Suppose -4*m + 28 = -l. Let d = m - 9. Which is smaller: 2/11 or d?
d
Let c be 24/54 - 21960/(-891). Are c and 0.1 non-equal?
True
Let z = -9 - -7.2. Let j = z - -1.4. Which is bigger: -5/6 or j?
j
Suppose -5*i - 248 = 4*c, 5*c + 2*i - 66 = -376. Is -61 greater than c?
True
Suppose -13*u = 2*u - 2145. Which is smaller: 141 or u?
141
Let t(m) = -2*m**2 - 17*m - 8. Let x be t(-8). Which is bigger: 9/43 or x?
9/43
Let c = -30 + 30. Which is greater: c or -1/59?
c
Let q = -123 - -73. Let p(a) = a**2 - a - 241. Let s be p(-15). Is s less than or equal to q?
False
Let i = -1444 - -1439.6. Which is smaller: -4/19 or i?
i
Let n be (-1)/(-8)*2*(15 - 14). Let v be (-2)/(-18)*(4 + -3). Which is bigger: n or v?
n
Let u be 1/3*-3*1. Let c(y) = -4*y**2 - 16*y - 11. Let g be c(-3). Is g bigger than u?
True
Suppose 0 = 13*l - 8*l - 265. Let c be (8/10)/(1/65). Is c equal to l?
False
Let p = 2.25 + -2.2. Let d = p - -0.95. Suppose 4 + 1 = -5*i + 5*y, 0 = -i - 4*y + 24. Is i smaller than d?
False
Suppose 18*f - 120 = 14*f - 3*h, -58 = -2*f - 2*h. Is 34 less than f?
False
Suppose -11*d - 72 = -14*d. Let v = d + -33. Is -12 greater than or equal to v?
False
Let m be 16296/(-36)*(-3)/(-2). Is -679 < m?
False
Suppose -40 = 5*q + 10. Suppose -5*v = -3*v. Suppose 6*w + 70 - 4 = v. Is w < q?
True
Let r be ((-15)/(-2))/(2/(-4)). Let u = 18 + r. Let l = u + -5. Is l > -2?
False
Let m be (-2 - (-7)/3) + (-286)/(-6). Let t be (-76)/m + (-4)/(-3). Which is smaller: t or 28?
t
Suppose -13 = -2*w - j + 4*j, w - 5*j - 24 = 0. Is -2/305 bigger than w?
True
Let y = 0.379 - -44.521. Let h = 45 - y. Let l be 2/3 - (-111)/(-153). Which is smaller: l or h?
l
Let c = 897 - 866.6. Which is smaller: c or 1/3?
1/3
Let l = -73 - -35. Suppose -2*c = -h + 77, 6*c - 7*c - 3*h - 35 = 0. Is c smaller than l?
False
Suppose 2*y = -28 + 4. Let g be y/5 + (-6)/(-3). Let b = 23 + -21. Which is bigger: b or g?
b
Suppose 2*c + 2*z = 5*c + 37, 5*c - z + 50 = 0. Let g(p) = 12 + 0 - p + 11*p + p**2. Let w be g(c). Which is smaller: 4 or w?
w
Let r(o) = -14*o + 99. Let t be r(7). Let u = -8557/31 + 276. Is t less than u?
False
Let p(r) = -r**2 + 17*r - 12. Let n be p(16). Let v = n - 4. Let t = 0.1 - 0.13. Is t at most as big as v?
True
Let a(r) = -r + 1. Let y be a(-4). Let l = 9 + -11. Let i be 28 + -24 + (-1 - l). Is y != i?
False
Let c = -664 - -583. Are c and -2/7 equal?
False
Let f = 159 - 164. Which is smaller: f or -33/7?
f
Let j(t) be the second derivative of t**5/20 - t**4/12 - t**3/3 + 11*t. Let k be j(-1). Let c be ((-2)/(-24))/(1/14). Which is smaller: c or k?
k
Let n(y) = 56 - 61 + 3*y + 0*y. Let f be n(2). Let v be 100/(-25) - (f - -1). Are v and -5 equal?
False
Suppose -q = o - 23, -2*q - o + 3*o = -34. Is 15 at least q?
False
Suppose 48 = 3*g - 105. Suppose -3*p - g = -18. Is -9 at most p?
False
Suppose -2*u + 4*m + 17 = 27, -4*u - 17 = -5*m. Let w be 1 + ((-8)/(-3))/(-1). Is w greater than u?
True
Let q be (-2)/8 + -1 + (-950)/8. Let o be q/190*(-11)/4 + -2. Which is bigger: -1 or o?
o
Let w be (12 + -11 - -3)*30/8. Is 17 at most w?
False
Let o be 13/65*(-5)/(-1). Let v be o - 24/6 - -20. Do 15 and v have the same value?
False
Suppose -5*v - 2*c + 31 = -0*v, v + 1 = -4*c. Let u(o) = 0 - v*o**2 - 7 + 7*o - o**3 + 2*o**3. Let p be u(6). Which is greater: p or -5?
p
Let l = 0.152 + 85.848. Let w = l - 84. Is w at most -10?
False
Let m = -2729/4 - -687. Let j(s) = -35*s**3 + 2*s + 1. Let v be j(-1). Let b = v - 30. Is m > b?
True
Let i = 16.015 + -0.015. Let c = -15.9 + i. Let u = 7/17 + -83/119. Which is smaller: u or c?
u
Suppose 5*v - 3*u = -6, 10 = 2*v + 3*u + 4. Let x(a) = 17*a**2 + 2*a + 1. Let d be x(-1). Suppose d + v = 4*s. Which is smaller: s or 6?
s
Let m(o) = -9*o - 1. Let g be m(-2). Let w = -817 + 835. Is w greater than g?
True
Suppose 4*g + 1 = 5*v + g, 2*g = 4*v. Is v smaller than -3/4?
True
Let u = -237 - -235. Let k be (-2)/3 + 62/(-42). Is u at least as big as k?
True
Let v be ((-4)/(-3))/((-8)/96). Let h be 29 - ((-5)/1 + (