 a(l) = -4*l - 1. Let m be a(-1). Suppose -7 = -m*w - 1. Suppose 2*g + 2*g - 5*o = 36, -3*g = -w*o - 20. Is 4 != g?
False
Let i = 81.1 - 81. Is -3/13 less than i?
True
Let q be 0 + 12/(7 + -3). Suppose -4 = -n - 3. Which is bigger: n or q?
q
Let j(k) = 4*k**2 + k - 1. Let v be j(1). Suppose -3*i + 14 = 5*s, i - 6*i - 26 = -v*s. Suppose -4*o + 5 = 4*n - 3, -s*o + 8 = n. Which is bigger: o or 3?
3
Let n = 7 + -1. Is 7 at least n?
True
Let a = -2.05 - -0.05. Let h be 2/1 - 27/12. Do h and a have different values?
True
Let o = -2 - -4. Suppose 4 - 6 = -2*k. Let g be (k/o)/((-1)/2). Which is smaller: g or -2/5?
g
Let m = 5 - 3. Suppose 3*f - t = 6 + 3, 4*f - 12 = -m*t. Suppose -5*x + 0*b = -3*b - 22, 3*b + 12 = 0. Which is bigger: x or f?
f
Let p = -22 - -11. Let s = 10 + p. Which is smaller: 3 or s?
s
Let f = 26 - -9. Is 35 bigger than f?
False
Let v = -0.4 - 0.6. Let z = v - 5.3. Let a = -6 - z. Is 1 less than or equal to a?
False
Let t = -33 + 33. Let g = -2583/6682 + 1/514. Let s = g - -23/26. Is s at most t?
False
Let a(i) = -i**2 - 7*i. Let f be a(-7). Let t be (2 + (-1 - f))/1. Which is smaller: 2 or t?
t
Suppose t - 1 = 4. Suppose -t*z = -2*z. Which is smaller: z or -1?
-1
Let w be ((-6)/(-7))/((-2)/14). Which is greater: -5 or w?
-5
Let n be 3/(-3)*-9 + -3. Are 0 and n non-equal?
True
Suppose a - 45 = 5*f - 2*a, f + 2*a = 4. Let u = f - -6. Is 3/5 bigger than u?
True
Let i(y) = y**2 + 5*y + 6. Let u be i(-4). Is 1 < u?
True
Let t = -123 + 123. Which is smaller: t or -4?
-4
Let j be 1*-4*15/(-12). Let i(y) = -4*y + 4. Let k be i(j). Let f be ((-12)/(-16))/((-30)/k). Is 0 > f?
False
Let q be ((-164)/(-369))/(-3*(-4)/18). Is 13 equal to q?
False
Let y = 30 + -29.77. Let i = y + -0.03. Which is bigger: i or -2/7?
i
Let p = 201 + -352. Which is greater: p or -150?
-150
Suppose 0 = -a - 2*a + 3. Which is greater: -1 or a?
a
Suppose -3*w + 1 = -11. Suppose w = -0*p - p. Which is smaller: p or 0?
p
Let w = -17 - -16. Let x be 28/21*w/2. Which is bigger: x or 0?
0
Let m(j) = j**3 + 3*j**2 - 4*j - 4. Let q(n) = -2*n + 10. Let h be q(7). Let y be m(h). Let u be -2 + 1 - 5/y. Is u at most as big as 1?
True
Let x = 0 + 28. Suppose x = 4*h + 3*y, -14 + 2 = -4*h + y. Suppose -h*a - 4 = -0*z - 2*z, -5*a - 2*z = 5. Is a less than -1?
False
Suppose 8 = -5*f + 3*f. Let n be (-8)/(-6)*(-6)/f. Let c = 2 - -1. Which is bigger: n or c?
c
Let v = -354223/139872 - -1/4512. Let p = v + 1/31. Let f = -9 - -6. Which is bigger: f or p?
p
Let b be (-3 + -1)*(-2)/8. Is 0 smaller than b?
True
Let p be -4*(-5)/(-30)*21. Are -9 and p nonequal?
True
Let u = -299 + 302.02. Let f = -0.02 + u. Is 1 less than or equal to f?
True
Suppose -5 + 1 = -k. Let z be (-10)/k + 2/4. Let a(f) = f**2 - 1. Let r be a(0). Does r = z?
False
Suppose 4*x - 2*b = 120, -3*x - 2*x = -3*b - 148. Suppose -5*y - 2 - 14 = u, -4*y = 4*u + x. Which is smaller: u or -2?
u
Let r(x) = 2*x + 23. Let n be r(-6). Is n less than or equal to 4?
False
Let v be (-2)/8 - 11/4. Suppose -13*s + 11*s - 6 = 0. Is s > v?
False
Let i = 253 + -77. Let d = i + -1234/7. Suppose 0*o - 2*c - 13 = 5*o, c + 4 = 0. Which is smaller: d or o?
o
Let d be -9 - 22/(-2) - (-44)/(-26). Let t be (-1)/3*-1*3. Which is smaller: d or t?
d
Let g = -29 + 29.1. Let l(c) = -c + 1. Let f be l(-3). Suppose -m - 2*m = 4*h + 4, -3*h = f*m + 3. Which is smaller: h or g?
h
Let l = 0.5 - 0.6. Let b = 188/77 + -30/11. Do b and l have the same value?
False
Let m = 107 - 185. Let g be ((-2)/1)/(m/(-6)). Let o = -1 + 2. Which is smaller: o or g?
g
Let d = -0.14 + 0.1. Let g = d + -0.96. Let b = -1.02 + 0.02. Is b at most g?
True
Let j be (-4 + 1)/((-3)/(-11)). Is j not equal to -10?
True
Let d be (28/3 - 6)/((-1)/3). Which is greater: -14 or d?
d
Suppose 3*t + 3*x - 186 = 0, -5*t - x + 311 = 3*x. Is 62 smaller than t?
True
Let j = 7 - 5. Let d = 1.6 + -2. Let v = d + 0.3. Which is smaller: v or j?
v
Let g be (-132)/40 - (0 + -3). Let b = g - -7/15. Which is greater: -2 or b?
b
Let n = -23 + 23. Suppose -69 = 4*u + 3. Let j be n - (21/u + 1). Which is greater: j or 0?
j
Let u = 8 - 12. Let q = u + 1. Let v = q - -3. Which is smaller: v or 0.2?
v
Let f(k) = k - 7. Let q be f(5). Let l be 4/(0 - (-1 - q)). Let r(a) = 2*a + 1. Let t be r(-2). Which is bigger: t or l?
t
Let y = 1 + 1. Suppose 0*b - 3*b - 6 = -5*i, 21 = 5*i + y*b. Let q = -2/131 + 276/917. Is q at most i?
True
Let a be 2/6 - 33/45. Let o = 0.34 + 0.06. Which is smaller: o or a?
a
Let s(z) = -z**3 - 13*z**2 - 11*z + 8. Let m(f) = -12*f**2 + f + 1. Let t be m(-1). Let d be s(t). Is d less than or equal to -4?
True
Let t = 1 + 1. Let b be (8/(-5))/(t/(-5)). Suppose 2 = 3*i + x, 5*i - b = -0*x - 2*x. Are 1 and i unequal?
True
Let y = -6 - 4. Let o = -4 - y. Is -1/2 > o?
False
Suppose -3*x = j + 48, x = 5*j - 36 + 4. Are x and -18 equal?
False
Let l be 2/(1 + 0) + 1. Suppose 0 = -2*j - 7 - l, 0 = 4*w - 2*j - 26. Let s = 2 - w. Which is smaller: -2/7 or s?
s
Let o(s) = 3*s**3 - 3*s + 3. Let t be o(2). Let b be -2*(t/(-6))/7. Let x be (-14)/(-4) - 1/(-2). Which is greater: x or b?
x
Let c = -12 + 18. Let t be c/3 - 2/2. Which is smaller: t or 2/13?
2/13
Let l(b) = 2*b**2 - 2*b + 1. Let s be l(2). Let a be -10*s/(-4)*-14. Let i be (-2)/(-5) + 120/a. Is i at least as big as 0?
False
Let p(c) = -2 + 3*c - 5 - 2*c**2 + 5*c**2 - 2*c**2. Let v be p(-5). Is v at least as big as 2?
True
Let x = -7 + 12. Suppose -5*c + 2*c - 5*q = 19, 25 = x*c - 3*q. Suppose -1 = -c*p + 3. Is p at most as big as 2?
True
Let t be (6/(-15))/(8/(-40)). Which is bigger: -3 or t?
t
Suppose 2*x + 0 - 4 = 0. Suppose 0 = -2*w - 6 + x. Let d be 2/w*(-4)/(-18). Which is smaller: d or 0?
d
Let c = -13 + 12.93. Let l = -0.01 - c. Let p = -2.06 + l. Which is greater: 0.1 or p?
0.1
Let z = -1.5 + 2. Let v = z + -0.6. Which is bigger: v or 3?
3
Suppose 50 = 4*t + 2*b, 0*t + 4*b = -2*t + 10. Suppose -2*k + 5*r + 9 = 0, 2*k - t = -4*r + 3*r. Do k and 7 have the same value?
True
Let c be (-14)/(-24) - (-4)/16. Which is bigger: 1 or c?
1
Let x be 3/(-4) + (-19)/(-38). Which is greater: -0.5 or x?
x
Let o = -0.05 - -0.2. Which is greater: o or 0.1?
o
Let o = -5950 - -29846/5. Are 18 and o equal?
False
Let w be 3/(-2)*(6 + 0). Let u be (w/(-21))/(3/(-2)). Which is bigger: u or 0.3?
0.3
Let u be 177/846 - (-2)/(-12). Is u greater than 0?
True
Let g = -4 + 13. Do g and 9 have the same value?
True
Let n = -71 + 46. Let v = 20 + n. Which is greater: v or -6?
v
Suppose 0 = -h - 5*j - 30, j - 7 = 2*h + 9. Let g be -3 + 1 - 8/h. Which is greater: g or 2/5?
2/5
Suppose 36 = 2*i - 2*q, 4*q = -3*i + 31 + 9. Let m be (-3)/(44/i - 2). Which is smaller: -3 or m?
m
Suppose 0 = 4*k - 5*u + 32, 2*k - u = -0*u - 10. Let d = 70 - 71. Which is greater: k or d?
d
Let g = -7 + 7.8. Let b = 1 + -2. Let k = g + b. Which is greater: k or -1?
k
Let l = -22 - -21.9. Is 10 bigger than l?
True
Let s(w) = -w**3 + 2*w**2 + 1. Let h be s(2). Suppose -j - 3*o = 3, 4*j + 3*o + 2 = -h. Which is bigger: -1 or j?
j
Let h be 26/(-14) + ((-24)/4)/42. Is h != 8?
True
Suppose -5*i - 4*b = 21, -4*b = -4*i - 3*b. Is i > -5/6?
False
Let q = 8 + -12. Let x = -4 - q. Let g be (2 - 0)/(-3 - x). Is g bigger than -1?
True
Let o = 22 + -24. Is 0.7 at least as big as o?
True
Let c = -3 + 3.2. Let y = -13.27 - -13.3. Which is smaller: c or y?
y
Let v be -3*(-1)/(-3) + -1. Which is smaller: -6 or v?
-6
Let x(z) = 3*z**2 + 2*z - 6. Let n be x(2). Do n and 10 have the same value?
True
Let a be (-4)/(-6) - (-63)/(-135). Let w = 2 - 3. Which is greater: w or a?
a
Let h(k) = -k**3 + k**2 + 3*k - 2. Let l be h(2). Is l bigger than 3/5?
False
Let l = -16 - -49/3. Which is smaller: l or -9?
-9
Let x = -0.32 + 1.32. Which is bigger: x or -6?
x
Let w be ((-4)/(-48))/((-6)/9). Are 0.2 and w non-equal?
True
Let c be 3/1 - 1468/484. Let l = c - -310/2057. Is l smaller than 1?
True
Let s be (4/10)/(8/20). Let f be (-2)/(-8) + s/(-4). Which is bigger: -2/23 or f?
f
Let n = -73 - -73. Is n at most 2/55?
True
Let z(v) = v**3 - 7*v**2 - 8*v - 1. Let l be z(8). Are -1/19 and l nonequal?
True
Let s be (-2)/(-5) + 35/(-25). Which is bigger: s or -1/34?
-1/34
Suppose -5*v = 2*o + 65, -10*o - 3*v - 115 = -5*o. Is -19 at least o?
True
Let n(q) = 7*q - 14. Let i(m) = -10*m + 21. Let s(w) = 5*i(w) + 7*n(w). Let r be 