
Let o = -0.36 - 5.64. Does -2 = o?
False
Let k be (-331)/2680 + (-19)/(-152). Is k > 0?
True
Let h be 18/15*20/(-3). Let n = 10 + -18. Is h not equal to n?
False
Let n(p) = p**2 - 17*p - 14. Let k be n(18). Let w(t) = -2*t**2 + 8*t + 2. Let j be w(k). Suppose -r - 1 = 1. Are r and j nonequal?
True
Suppose n = -3*n + 8. Let g(k) = -2*k**2 - 26*k - 24. Let d be g(-12). Are n and d unequal?
True
Let w be 304/190 - (-4)/10. Which is bigger: w or -3.4?
w
Let b be 1300/(-6) - 42/(-63). Which is smaller: -217 or b?
-217
Suppose -2*o - 2*b + 2 = 0, 0*b = -b. Let q be 9*(1 - (-12)/(-15)). Is o smaller than q?
True
Let x(u) = -7*u**2 - 21*u + 76. Let w be x(7). Is w greater than or equal to -415?
True
Suppose -4*c + 10*v - 5*v = -16, 3*c - 17 = 5*v. Is -15/19 > c?
True
Suppose 2*g - 208 = 2*q + 54, 3*g + 127 = -q. Which is greater: -129 or q?
-129
Let g = 10 + -17. Let l = g + -6. Let b = l + 17. Which is smaller: b or 0.2?
0.2
Let q(k) = -12*k**2 + 184*k - 29. Let g be q(15). Which is greater: 24 or g?
g
Let v(t) = t**2 + 7*t + 14. Let m be v(-4). Suppose 0 = -m*i + 4*i - 0*i. Which is bigger: i or -4?
i
Suppose -5 = 10*x + 5. Let p be ((-11)/(-3))/((4 + x)/9). Are p and 11 nonequal?
False
Let i(x) = 1 + x + 1 + 3. Let o be i(-4). Let k = -69 - -66. Which is smaller: o or k?
k
Let d = 8 + -32. Let a = d - -23. Which is smaller: 1 or a?
a
Suppose a - 24*a = 6141. Which is bigger: -269 or a?
a
Let d = 5 + -2. Let f be 0/(12/((-12)/d)). Suppose 0*i + 4*i + 8 = f. Which is bigger: i or 0?
0
Suppose -w - 29 = -5*l - 4*w, -w = -4*l + 13. Let x = -146 + 152. Which is greater: x or l?
x
Let b = 35 - 40.3. Is b at least -2/7?
False
Let v = 3.96 - -0.04. Let n = v - 3.7. Let g be -3 + (-664)/(-220) - (-8)/44. Which is greater: g or n?
n
Let t = -315443/109 + 2894. Let n = 12/95243 + 7511117/103814870. Let s = t + n. Is -1 < s?
True
Let z be (-318)/(-4)*13/(-117). Is -9 smaller than z?
True
Let w = -11 - -3. Let l be (4/w)/(3/6). Are l and 3/37 non-equal?
True
Suppose -2*b = b - 9, -4 = 2*z + 2*b. Which is bigger: z or -4?
-4
Suppose -2*f - 45 = 3*f. Let n(k) = -k**3 - 11*k**2 - 16*k + 10. Let m be n(f). Are m and -7 non-equal?
True
Let w = 82 - 29. Let g = 52.9 - w. Which is smaller: g or -0.7?
-0.7
Suppose 0*j + 12 = 2*j - f, -5*f - 10 = 0. Suppose -4*i = -2*i - j*i. Is i < 0?
False
Let m = 2/17035 - 395214/17035. Is -22 at most as big as m?
False
Let w(i) = 3*i - 20. Let u be w(7). Let t = 1.2 - 0.7. Let h = t - 1. Which is bigger: h or u?
u
Let i(c) = 2*c**2 - c. Let t be i(-2). Which is greater: 51/5 or t?
51/5
Let n(q) = 4*q - 2. Let j be n(1). Suppose -2*x + x = 0. Suppose -1 = -x*h - h. Is j at least as big as h?
True
Let k = 3079/5665 + 1/515. Let t(i) = i - 3. Suppose -3*q = -q + 2*l - 18, -4*q + 1 = -3*l. Let c be t(q). Is k >= c?
False
Let k(f) = -2*f**2 + f. Let n be k(4). Let c be n/(-42) - (-8)/(-3). Which is bigger: -16/9 or c?
-16/9
Let f = -37 + 63. Let s = f - 32. Is -0.5 less than or equal to s?
False
Let t = 6.534 + 0.066. Let h = -13.6 + t. Let w = -0.1 - -0.1. Which is greater: w or h?
w
Suppose -3*f - 2 - 4 = 0. Let c be (-6)/(-18) + f/6. Suppose -3*l - 4 + 1 = c. Is l > 2?
False
Let c be 1 + -2 + (-15 - -693) - 2. Which is smaller: c or 676?
c
Let y = -0.4 - -1. Let j = -2.61 + 1.91. Let g = y + j. Which is smaller: g or -3/7?
-3/7
Let n = -2428 + 4965/2. Is n equal to 0?
False
Let h = -878.7 + 879. Let j = 0.43 - 0.4. Is h >= j?
True
Let m = 184049/56 - 3287. Is -1 less than or equal to m?
True
Let i(k) = 6*k - 7. Let w(a) = 3*a - 4. Let t(r) = -4*i(r) + 7*w(r). Let y be t(-1). Let q = -3 - -7. Which is greater: y or q?
q
Let o(b) = -9 + 4 - b**2 + 14 - 28*b + 18. Let g be o(-28). Are g and 27 equal?
True
Let n be 10/30*((-256)/(-14) + 4). Do 6 and n have the same value?
False
Let i(l) = 40*l + 353. Let q be i(-9). Suppose -3*j = -8*j + 25. Suppose 0*n + j*n + 35 = 0. Are n and q nonequal?
False
Let o be 16/(-80) + (-27)/(-10) + -2. Which is bigger: o or 4/105?
o
Let m(g) = -3*g**2 + 2*g + 1. Let w be m(3). Let l be ((-3)/2)/((-15)/w). Let k be (-8)/32 + l/(-10). Which is smaller: -1 or k?
-1
Let v(m) be the second derivative of m**4/12 - 5*m**3/2 + 5*m**2/2 + 47*m. Let q be v(11). Is q greater than -37?
False
Let x be (-4)/((72/(-81))/(6/9)). Is -95 at least x?
False
Suppose o - 17 = 4*m, -2*o + 0*m = -m + 1. Suppose 4*c = q - 1, c = 3*q - 4*c - 10. Suppose -2*n = -3*r + 30 - q, 4*r = -4*n. Which is bigger: o or n?
o
Let n = 79 + -6. Suppose n = -4*u - 71. Is -37 at most u?
True
Let t be (129/6 + 5 + -10)*-2. Which is smaller: 3/8 or t?
t
Let n be 2/(-5) - 160/(-275). Suppose 2*m - 1 = -5*b - 14, 0 = -3*b - 3*m - 15. Which is smaller: b or n?
b
Let f = 5202 - 2392917/460. Which is smaller: 1 or f?
f
Let k = -249.983 + 250. Which is bigger: -1/4 or k?
k
Let r(y) be the second derivative of -y**4/12 + y**3/3 + 12*y. Let v be r(0). Let n = 3 + -2.6. Is n >= v?
True
Let g = 1/11 - 16/55. Suppose -5 = -5*k - 0. Which is smaller: g or k?
g
Suppose 0 = -5*b + 7*b - 446. Is 223 less than b?
False
Let y be 8/16*(-1 + 1). Let k(h) = h**2 + h + 3. Let a be k(-4). Suppose y*o - 5*o + a = 0. Are o and 2 non-equal?
True
Suppose -304*o = -305*o + 1. Which is greater: 3/206 or o?
o
Let a be 3 + -1 - (2 - 0). Suppose -4*p - u - 5 = a, -3*u = -0 + 3. Let x be (1 - -6) + (85/(-9) - -2). Which is bigger: p or x?
x
Let x = -1 - -18. Let k(h) = -h**3 + 13*h**2 - 11*h - 6. Let g be k(12). Let s be 13/(-52) + g/(-40). Which is bigger: s or x?
x
Let i = 58 - 57.91. Let d = i - -0.41. Which is greater: d or 6?
6
Let q = 962.7 + -963. Are -33.9 and q unequal?
True
Let x be (1 + 0)/(2 + -3). Let o = -1 + x. Let l be -1*2*(-13)/o. Is -12 less than or equal to l?
False
Let b = -0.06 + 3.06. Let l = -1.521 + -60.779. Let m = l + 62. Is m less than or equal to b?
True
Let n = -4.8 + 4.41. Let w = n - -0.59. Is 18 >= w?
True
Let j be -145*(-12)/(-150)*125/4. Is j <= -362?
True
Let h = -6 + 9. Suppose -h*q + 1 = -4*q, g - 2*q - 5 = 0. Suppose l = g*l. Which is greater: 3/8 or l?
3/8
Let z(o) = -6*o - 30. Let b be z(-5). Which is greater: 2/45 or b?
2/45
Let f be ((-6)/12)/(-1 + 65/(-6)). Suppose -2*y + 8 = -0*y - 2*g, 15 = 3*y - 4*g. Which is smaller: f or y?
f
Let f(o) = o - 9. Let w = 20 + -16. Suppose w*t - 46 + 6 = 0. Let m be f(t). Is m > 0.8?
True
Let l = 2 + -2.8. Let w = -2.2 - l. Suppose 5*y = 3*u, 3*y + 4*u - 2*u = 0. Is w greater than y?
False
Let g(c) = 544*c + 2721. Let b be g(-5). Suppose x + 105 = -0*x. Let w = -1049/10 - x. Which is bigger: b or w?
b
Let i = 237 - 238. Is i at least 8/27?
False
Suppose -9 = c - 6*u + u, u - 3 = -c. Let v be 2/(-24)*1/(-5)*6. Which is smaller: v or c?
v
Suppose 3*k - 21 = 3. Suppose k*i - 4*i = 0. Let j = -4 + i. Are j and 2 unequal?
True
Let y be -6 - -13 - 988/68. Which is bigger: -8 or y?
y
Let h = -77 + 82. Suppose -9*m - h = -14*m. Is 30/13 < m?
False
Suppose 2557 = -4*g - 407. Is -741 > g?
False
Let p = 4.11 - 4.43. Which is smaller: -0.3 or p?
p
Let x = 46 + -133/3. Let a = 51 - 155/3. Which is greater: x or a?
x
Let s be 2/6*3 + 14. Let n = s - 1. Suppose 4*j + 5*p = -0*j + n, 0 = -5*j + 3*p + 36. Is j less than 6?
False
Let q be (3/(-6))/(5512/(-2742) - -2). Let x = -362/7 + q. Let t = 5 - 8. Is x < t?
False
Let a = 3282 - 13211/4. Which is smaller: a or -21?
-21
Suppose -79 = p - 23. Let a be (-186)/p + -1 - 3. Let l = -3/7 - a. Is 1 != l?
True
Let z be -14*(2 - 1)*12/(-8). Let f be 6/4*56/z + -1. Is f equal to 2?
False
Suppose -23 = -y + 23. Let k be (y/(-6))/(2/6). Are -20 and k nonequal?
True
Let j(o) = -2*o**3 + 137*o**2 - 66*o - 146. Let t be j(68). Suppose 0 = -m + 2*p - 14, 5*m + 62 = 4*p - 2*p. Do t and m have different values?
True
Suppose 2*v + 2*p = 256, 4*v + 0*p = p + 537. Let n = 82509 - 909064/11. Let h = n + v. Is 0 <= h?
False
Suppose -23*n = -22*n - 4. Suppose 4*s - n = -g + 4*g, 5*g = 20. Is 1 < s?
True
Let x be ((-48)/99)/((-44)/66). Do 1 and x have different values?
True
Let a(g) = g**3 - 2*g**2 + 1. Let l be a(1). Suppose 4*d = -4*c + 3*c + 10, 4*d - 8 = l. Let u be c/6 - 7/24. Which is smaller: 0 or u?
0
Let s be 3/5 + 52/(-20). Suppose -2*v + 14*v - 36 = 0. Suppose -2*j = -v*y + j - 18, -3*y - 5*j = -14. Is s at most y?
True
Let n = -339 + 337. Let l be -2 + (-6)/9*-6. Is n bigger t