 240. Let v be (3/(-1))/1 - c. Let j be 12/(-7)*(1 - -6). Which is greater: v or j?
j
Let x(s) = -2*s**2 - 13*s - 39. Let b be x(-13). Is b not equal to -208?
False
Let j be 394/(-94)*(-11)/(-66). Let o = 3/94 + j. Are o and -7 non-equal?
True
Let y(r) = 3*r + 10. Let n(x) = x + 3. Let j(h) = 7*n(h) - 2*y(h). Let m be j(-2). Is m smaller than -2/19?
True
Let o be -4*(-10)/(-40) - (-25 + 2). Is 20 at most as big as o?
True
Let l = -308 + 2157/7. Which is smaller: -1/2 or l?
-1/2
Suppose -16*i + 20*i - 2*t - 506 = 0, 5*t = 25. Which is smaller: i or 134?
i
Let l(q) = -q**3 - 16*q**2 + 2*q + 31. Let p be l(-16). Is -2 less than p?
True
Let a be (5/((-5)/(-5)))/(2 + -1). Suppose -a*o - 50 = -0*o. Do -9 and o have different values?
True
Suppose -2*g - 5*c = -5, -1 + 3 = 5*g + 2*c. Let z be 49 + (g - (5 + -2)). Is z less than or equal to 46?
True
Suppose -5*j = 3*m - 20, 2*j - 4*m + 15 = -3. Let d(l) = l**2 + 9*l + 1. Let y be d(-9). Let u be 1*(-2 + y)*j. Is 1/12 <= u?
False
Let f = 0.147 + -0.247. Let a(b) = -3*b - 5 - b**3 - b**3 + 3*b**3 - 8*b**2. Let z be a(8). Is f < z?
False
Let d = 1.23 + -1.4. Let p = -0.03 + d. Let b = p - -1.2. Which is bigger: b or 0.1?
b
Let v = 0.968 - 1.068. Is 1/47 less than or equal to v?
False
Let n = 68 + -41. Let a = -23 + n. Is 6 not equal to a?
True
Let m = 38 - 32.6. Let z = -5.2 + m. Is z smaller than -2/23?
False
Let t be ((-10)/(-30) - (-508)/6)*-2. Does -170 = t?
True
Let b(y) = y**3 + 12*y**2 + 5. Suppose -4*w - 3*h = 48, -3*h - 2*h = 0. Let a be b(w). Suppose -o + 1 + 4 = -2*s, 0 = 3*o + 2*s - 23. Is a less than o?
True
Let t be 0 - (-7)/((-5047)/210). Is 1 equal to t?
False
Let w be ((-4)/3)/(4/(-18)). Suppose 0 = -f + a + 8, 3*f - w*f + 2*a = -20. Let b be (24/(-18) - -2)/((-4)/(-15)). Which is greater: f or b?
f
Let d be 2016/(-133) + 0 + (-4)/(-2). Which is greater: d or -12?
-12
Let h = 0.033 - -32.967. Let r = -1350 + 1350. Is r less than h?
True
Suppose -17 = -5*c + 8. Suppose -2*b + o + 10 = 0, c = b + 5*o - 11. Which is smaller: b or 7?
b
Let h = 86 - 74. Suppose r - h*r = 11. Is r less than 0.33?
True
Let x be 1 - 27/21 - (-18)/14. Let y be 4 + -5 - 0/(x + -2). Which is greater: y or -1/10?
-1/10
Let k = -549 + 835. Which is smaller: k or -1?
-1
Let m = 803 - 775. Which is smaller: m or 30?
m
Let m(n) = 12*n + 3. Let y be m(6). Let x = y - 54. Suppose 4*d + 4*p - 7 = x, 0 = -d + 3*p - 13. Which is greater: 1 or d?
d
Suppose 28 = 5*t - 3*t. Let s = 4 - t. Let q(l) = -2*l - 15. Let r be q(s). Which is bigger: r or 26/7?
r
Suppose -5*b = 2*g + 348, 2*g - 3*g + 3*b - 196 = 0. Let x be (-1)/((-2)/g*4). Which is smaller: -24 or x?
-24
Let r = -39 + 41. Is r smaller than 1?
False
Let z = 17.22 + -0.22. Let t = -22 + z. Which is smaller: t or -2/9?
t
Let s be (-4)/2 - (-18)/9. Suppose 4*t + 5*l + 5 = 1, s = -t - 2*l - 1. Which is smaller: t or 3/31?
t
Suppose -10 = 5*x, -7 = 2*s + 4*x + 5. Let b(v) = -v - 3. Let d be b(-2). Let a be d/4 + 23/(-4). Is s at least a?
True
Let g be 88/(-14) - 20/(-70). Let c be (-10)/9*(102/15 - 2). Which is smaller: c or g?
g
Suppose 0 = -5*c + 3*b + 8, -3*c - b + 5 = 3. Suppose d - y + 7 = y, 0 = d - 4*y + 11. Is c greater than or equal to d?
True
Let n = 2.08 - 0.28. Let i = n + 19.2. Let h = i - 22. Which is smaller: h or 0.14?
h
Let c = -162 - -26. Let x be c/(-2 + 4) + -3. Let y = -495/7 - x. Is -1 != y?
True
Let g be ((-681)/(6/2))/(2 + 0). Let s = -6577/58 - g. Which is bigger: 0 or s?
s
Suppose -2*o = -4*x - 4*o, 0 = 4*o + 16. Suppose 10 = -2*u + 5*u + 2*b, 4*b = -5*u + 16. Suppose u*v + 0 - 4 = 0. Which is smaller: v or x?
v
Let m = 211 - 130. Which is smaller: m or 82?
m
Suppose 5*o + 3755 = 5*t, 0*o = 3*o - 2*t + 2252. Is o less than -750?
False
Let f = -2.9892 + -0.0108. Is f less than or equal to 7?
True
Let d be (-72 - -4)*(-6)/(-4). Let q = 411/4 + d. Which is bigger: -2 or q?
q
Suppose -17 + 53 = 6*a. Let c(x) be the second derivative of x**4/12 - 5*x**3/6 - 7*x**2/2 - 2*x. Let k be c(a). Which is greater: k or -2?
k
Let z be ((-91)/(-156))/(2/16). Is 6 > z?
True
Suppose 39*r - 49*r - 10 = 0. Is r less than 2/1033?
True
Let m = -319 + 302. Does m = -5?
False
Suppose 20 = -l + 5*l. Suppose -5*g = -20, -l*p + g = 5*g - 31. Suppose 3*a + 4*f = 9, -p*a - 4*f = -f - 6. Is a greater than or equal to -2?
True
Suppose -1560 = 9*p - 39. Is p less than or equal to -170?
False
Let p = 215 - 216. Which is greater: 1/397 or p?
1/397
Suppose 59*c - 57*c = 0. Which is smaller: c or -4/473?
-4/473
Let g = 63 - -5. Let n = -206/3 + g. Let j(s) = s + 2. Let a be j(-4). Which is smaller: a or n?
a
Suppose 3*x + 10 + 74 = 0. Is -27 greater than x?
True
Let k(h) = -9*h + 73. Let y be k(9). Let f = 8 + -5. Suppose -f*g + g - 6 = 0. Is y less than or equal to g?
True
Let d be 3/27 + ((-310)/(-225))/2. Is d >= -8?
True
Suppose 3*b - 4*n = 56, -4*b - n + 43 = -0*b. Let k(f) = -15*f - 231. Let j be k(-16). Which is smaller: j or b?
j
Let z = 14 - 23. Let i(m) = m + 14. Let a be i(z). Do a and 18/5 have the same value?
False
Let j be -1 - (-2)/(-4)*0. Let y be (5/2*2/(-10))/(1995/(-630)). Is j at least y?
False
Let v = -5 + 5. Let x be (-1*4)/((-12)/6). Suppose 4*c = -c + 4*m - 7, -4*c + 2*m = x. Is v less than c?
True
Let u(j) be the second derivative of j**4/12 + 2*j**3 + 23*j**2/2 - 2*j. Let h be u(-10). Let a = -39/8 - -157/24. Is h > a?
True
Let b be (-2)/12 - (-2)/4. Is b equal to -4/37?
False
Let b be (-56)/(-14) - (-6296)/7. Let r = -908 + b. Which is smaller: -6 or r?
-6
Suppose -140 = 77*q - 73*q. Is q at most as big as -28?
True
Suppose 3*u + 4*u - 462 = 0. Let w be 9/u*(8 + -7). Which is greater: -1 or w?
w
Let n be 753/18 - 3/(-18). Suppose -5*a = 5*f - 65, -2*a - a = 4*f - n. Suppose h + 3*m = 6, -m + a = -4*h - 5. Which is smaller: -13/5 or h?
h
Let j be (3/(72/92) - 4)*-418. Are j and 69 equal?
False
Let m(v) = 6*v + 97. Let w be m(-16). Which is greater: 1/221 or w?
w
Let w be ((-2)/(-3))/((-2)/(-36)). Suppose -4 - w = -2*d. Let h be (-9)/(-60) + 2/d. Is h less than or equal to -1?
False
Suppose -12 = -32*t + 52. Is 19 <= t?
False
Let q be ((-12)/13)/3 + 0. Let b = -24 - -11. Let k = 13 + b. Which is smaller: k or q?
q
Let h(f) = f**3 - 14*f**2 - 35*f - 3. Let t be h(16). Which is greater: -52 or t?
t
Let v = 24 + -21. Suppose 2*l + 5*m - 65 = 0, 0 = l - 2*l + v*m + 5. Let j = l + -283/14. Is 0 smaller than j?
False
Let j = -1.48 - -2. Let m = 0.42 - j. Let z = -0.8 + -0.2. Is z at most m?
True
Let p be (-13236)/252 + (-4)/(-6). Let d be (-55 - (-1)/1) + 2. Let b = d - p. Which is bigger: b or -1?
b
Let a = -220/9 - -208/9. Is a < -6?
False
Let h = 7138/15 + -476. Is 7 at most as big as h?
False
Let j = -0.2 - -0.3. Let z = 171 - 150. Is j not equal to z?
True
Suppose 0*l + l + 275 = 0. Let j be (11/(l/15))/((-102)/4). Which is smaller: 0 or j?
0
Suppose -3 = -u + 2, -7 = 2*w - 3*u. Let k be w/(-52)*-245 - 2/(-13). Is 19 >= k?
True
Let t = 1/76224 - -45848731/381120. Let o = t + -120. Is o at least 1?
False
Let p(t) = 29*t - 514. Let n be p(19). Is 41 != n?
True
Let a be 1/52*(-4)/(-270)*-6. Is 0 less than a?
False
Let l = -315 - -311. Let v = 0.4 - 0.3. Let o = v - 0.2. Is l greater than o?
False
Let c(k) = -k + 6. Let q be c(8). Let o be q/(7/(-3) - -3). Let p be (1/(-14))/(o/2). Is p at most as big as 0?
False
Let b(x) = -2*x**2 + 8*x - 84. Let s be b(0). Is s less than or equal to 1?
True
Let w = -219.54 + 222. Let j = -0.54 - w. Is j greater than or equal to 2?
False
Let n = -1417 - -1693. Is -2/5 at most n?
True
Let l(d) = -10*d + d**3 - 7*d**2 - 7*d**2 + 4*d**2 - 8. Let x be l(11). Which is greater: -4 or x?
x
Let s = -69.3 - -69.2. Which is smaller: s or 4?
s
Let o be -5 + 5 - (-4)/1. Suppose 3*k = -5*v - 42 - o, -5*k - 2*v - 64 = 0. Which is greater: k or -10?
-10
Suppose -5*x + 100 = -5*l, 0*x = -2*l - x - 43. Suppose -60 = 3*f - d, -3*f - 48*d + 53*d - 48 = 0. Is f > l?
False
Let s = 2/149 + -157/596. Are s and -41 unequal?
True
Let c be 3/(-2)*9/(108/(-40)). Suppose c*t + 3 + 22 = 0. Which is smaller: 5 or t?
t
Let d = 381 + -381. Is -3/8 != d?
True
Suppose 4551*l + 35 = 4544*l. Which is bigger: -19/5 or l?
-19/5
Let j = 36 + -37. Let s(m) = m**2 - 9*m + 15. Let q be s(7). Which is smaller: q or j?
j
Let i = -24.6 - -0.6. Let x = -4 - i. Is 0.1 less