or s?
o
Suppose -u - 110 = 4*u + 2*k, -2*u + 2*k = 58. Do u and -24 have different values?
False
Suppose 14 = -2*c - 2*c - 3*u, c + u = -4. Is c equal to -2?
True
Let a = 94.87 - 95. Which is smaller: -1 or a?
-1
Let s = -0.3 + 0.4. Let g be 3/4*6*(-7)/(-63). Are g and s nonequal?
True
Suppose j = -1, 2*j - j + 23 = -2*d. Let p(s) = s**2 + 12*s + 9. Let n be p(d). Which is smaller: -1 or n?
n
Let n(s) = s + 11. Let k be n(-19). Is -4 at least as big as k?
True
Let a = 12 + -6. Which is greater: 10 or a?
10
Suppose 0*h + 4*h - 2*r = 42, -r - 3 = 0. Are 10 and h nonequal?
True
Let c = -2.1 + -5.9. Let v = c - -6. Which is greater: -2/11 or v?
-2/11
Let h = 1 - 0.9. Let p = h - 0.1. Do -1/2 and p have the same value?
False
Suppose -2 = 5*l + 3*w + 3, 0 = -3*w. Let r = 1 - 3. Which is bigger: l or r?
l
Let q = 118 - 79. Do q and 189/5 have different values?
True
Let c = -2 + 5. Suppose -2*h = -5*v + 1, c*h + 4*v = -8 - 5. Is h bigger than -3?
False
Let b = 5596/29 - 193. Is b smaller than 0?
True
Let z(c) = c - 2. Let v be z(5). Suppose 18*f = f - 17. Which is smaller: f or v?
f
Suppose 3*z - 16 = 26. Let o be z/8 - 1/(-4). Suppose 4 - 2 = s. Is o >= s?
True
Suppose -19 - 16 = 5*s. Is s smaller than -8?
False
Let i = 5 - 8. Let c be i/7*(-2)/(-3). Which is smaller: 0 or c?
c
Suppose 2*t = -3 + 1. Suppose 2*u - 2 = 3*u. Let a be 3 - u/((-66)/105). Is t greater than or equal to a?
False
Let h be 11*(10/8 + 1/(-4)). Are h and 12 equal?
False
Let l = -50 + 50. Are l and 3/38 equal?
False
Let f = 92 - 1014/11. Which is smaller: 0.1 or f?
f
Let b = -116/3 - -39. Do -0.2 and b have the same value?
False
Suppose 31 + 1 = -4*u. Let f(o) = -7*o**2 - o + 1. Let n be f(1). Is n less than u?
False
Let g(t) = t**3 + 7*t**2 + 2*t - 10. Let v be g(-6). Which is smaller: v or 18?
v
Let x = -0.13 - -0.13. Let o = -0.2 + x. Let k = 16 + -49/3. Is k < o?
True
Suppose -55 + 151 = 3*o. Let x = -19 + o. Which is greater: -1 or x?
x
Let g(x) = -x**3 + 3*x**2 - 3*x + 2. Let o be g(2). Let q = 7 + -4. Suppose -2*k = 2*y + 4, -q*k + y = -2*y. Which is bigger: o or k?
o
Let r = 0 + 0. Let k = 14/5 + -3. Which is bigger: r or k?
r
Let b = 13 + -65. Is -53 less than b?
True
Let s be (-2 - 4/(-16)) + 3. Let c = 1 - 3. Let r be 1/(1 - (c + 2)). Which is bigger: r or s?
s
Let o = -9/28 - -4/7. Let l = -18 + 11. Let g = l + 5. Does g = o?
False
Let n = -160 + 125. Is n < -35?
False
Suppose 0 = s + 2*s. Let l = -21 - -13. Let y = l - -7. Is s at most as big as y?
False
Let v = -22 - -13. Which is bigger: v or -0.2?
-0.2
Suppose 2*b - 2*v - v = 6, 0 = -5*b + 4*v + 8. Is 5/6 at least as big as b?
True
Let f be ((-8)/41)/((-2)/(-1)). Let a = 38/451 - f. Is a greater than or equal to -1?
True
Let b = 54 + -39. Which is bigger: 13 or b?
b
Suppose 4 = -10*p + 14. Let v(z) = -z**2 + 5*z + 5. Let u be v(5). Suppose 6*k = -3*i + 4*k + 6, u*i - k = -3. Which is smaller: i or p?
i
Suppose 0 = -2*k + m + 3, -7 = -k - 0*k - 5*m. Which is bigger: 0 or k?
k
Let c be -2*9/6 + 5. Let b(p) = p**2 - 4*p + 2. Let o be b(c). Let z be -1 - (-1)/(5/2). Which is greater: z or o?
z
Let i be (0/1)/((-4)/2). Let g = -3082/11 - -280. Which is smaller: g or i?
g
Suppose 0 = -f - 3, 9*o - 4*o - 4*f - 17 = 0. Suppose 0 = 5*i + 2*k + 15, 5*i - 4*k - 17 = 2*i. Let s be i/((-14)/(-10)) + o. Which is bigger: s or -0.1?
s
Let i be 6/4*8/3. Let p be ((-1)/((-2)/i))/(-1). Suppose 2*o + r - 6 = 5*o, -2*o + 2*r - 8 = 0. Which is bigger: o or p?
o
Let f = -395/84 - -14/3. Which is smaller: f or 1?
f
Let l = 2.59 - 2.7. Let p = 0.41 + l. Which is bigger: p or -1/4?
p
Suppose 0 = -v - 3 - 1. Let t(p) = -p**3 - 10*p**2 + 9. Let l be t(-10). Suppose -3*y - l = -0. Which is smaller: y or v?
v
Suppose 0 = 3*x + 3*x. Which is smaller: -1/47 or x?
-1/47
Let v = 12.32 + 3.98. Let g = v + -17. Let o = g + 1.7. Which is smaller: -3 or o?
-3
Suppose -11*q - 746 = -42. Is q greater than or equal to -64?
True
Let a = 19 + -56/3. Is a greater than or equal to 0?
True
Let v(y) = -y**3 - 2*y**2 + 4*y + 3. Let a be v(-3). Let p(o) = o. Let d be p(5). Let n be d/(30/(-8)) - -1. Which is smaller: a or n?
n
Suppose -2*c = -6*c + 32. Let i be ((-6)/(-4))/(4/c). Suppose -i*x = 2*x + 10, -9 = -3*k + 3*x. Do 1 and k have the same value?
True
Let h = 18 - 20. Suppose -2*y - 3 = -5*y. Suppose r + q + 2*q = y, r = 3*q - 5. Is h not equal to r?
False
Suppose -3*i + k = -6*i + 13, 5*i + 5*k = 25. Let h be 8*(0 + (-1)/(-1)). Let c(n) = -n**3 + 7*n**2 + 9*n - 7. Let v be c(h). Which is bigger: i or v?
i
Let d be ((-6)/8)/((-12)/(-8))*-10. Which is bigger: 9/2 or d?
d
Let i(u) = -13*u + 1. Let o = -3 + 2. Let h be i(o). Let m be 15/20*(-8)/h. Is 1 at least as big as m?
True
Let f(w) = -w - 1. Let y(u) = 3*u + 16. Let h(c) = -4*f(c) - y(c). Let z be h(10). Is -2 less than z?
False
Let j be 7/6 + (-5)/(-15). Let o be ((-3)/(-4))/(1/(-4)). Let f = -2 - o. Is f <= j?
True
Let r = 45.8 + -46. Which is smaller: r or -1/4?
-1/4
Let v(g) = 12*g**2 + 2*g + 1. Let m be v(-1). Is m at least as big as -1?
True
Let f(g) = 27*g. Let k be f(-2). Let y be ((-3)/k)/((-2)/(-4)). Which is greater: y or 1?
1
Let g = -3 + 6. Suppose -2*x + 3*x = g. Which is smaller: 5/2 or x?
5/2
Let x = 12 - 7. Suppose -j = -u - x*j, 2*j = 0. Let a be (2 + -3)*(-1)/2. Which is greater: a or u?
a
Let p be ((-10)/(-6))/((-21)/252). Is -20 < p?
False
Let o = 11 + -3. Is o < 9?
True
Let h be 25/(-10) + (-1)/(-2). Which is smaller: h or 2?
h
Let i = -32 + 34.6. Let v = i + -4.6. Which is smaller: 1 or v?
v
Let o be (-3 - (-7 - -6)) + 124/63. Which is smaller: -1 or o?
-1
Suppose -5*o + 36 + 24 = 0. Suppose -4*t - o = -8*t. Let q = -2 + t. Which is bigger: -1 or q?
q
Let n be -4 + 5 - (-1270)/(-14). Let v = n + 90. Is -1/3 at most as big as v?
True
Let s = -3.2 + 3. Let b be (-13)/(-39)*(-12)/2. Are s and b nonequal?
True
Let r(d) = -d**3 - 2*d**2 + 2*d + 1. Let h be r(-3). Suppose h*b + 2 = -2. Are b and 1/3 unequal?
True
Let d = -13 - -17. Which is bigger: d or 3?
d
Let z be 36/(-14) - (-9)/(-21). Let a(w) = 2*w + 6. Let x be a(-4). Which is smaller: x or z?
z
Let u = 2813 + -357249/127. Let h = u + 240/889. Which is smaller: h or 0.4?
h
Let i be 8/10*(-5 - 5). Which is greater: i or -5?
-5
Suppose -2*a + 4 = -a - 2*d, 5*d = 5. Let j = -6 + a. Let x = -16/13 + 118/117. Which is greater: x or j?
j
Let c be ((-2)/3)/(6/9). Is 12 != c?
True
Suppose c = -c. Suppose b + 2*b = c. Which is smaller: 1 or b?
b
Let p be (4/(-3))/(2/6). Let u be p/(-12) - 14/18. Is -1 <= u?
True
Suppose 109*b + 3 = 112*b. Is -3/11 at least as big as b?
False
Let m(i) = -i**3 + 7*i**2 + 3*i - 14. Let j be m(7). Suppose j*q - 2*q = 0. Let g = -2/65 + -124/195. Is q <= g?
False
Suppose 8*w + 273 = -13*w. Is -18 greater than w?
False
Let n = -2 + 1. Is -1 at least as big as n?
True
Let r = -11 + 8. Let z = 0.14 - 0.14. Which is smaller: z or r?
r
Let i = -4/7 - -5/21. Which is smaller: 8 or i?
i
Suppose -5*t - 2 = -k + 8, 2*t + 4 = -2*k. Suppose -2*g + 2*q + 30 = 6*q, g = 3*q. Let a(c) = -c + 9. Let j be a(g). Do k and j have different values?
False
Let k = -4 - -2. Let c(u) = u**3 + 7*u**2 + 4. Let n be c(-7). Suppose -1 = -n*r - 9. Is r greater than or equal to k?
True
Let w(n) = -n**3 + 27*n**2 - 51*n + 21. Let q be w(25). Suppose 2*c + 0*k + 6 = -5*k, -5*c = -k - 12. Let s be 2 + ((-6)/c - 1). Which is bigger: s or q?
s
Let s = 0.2 + -0.3. Let i be (-2)/(-10) + 4/5. Let n = i + -2. Which is greater: s or n?
s
Let a(d) = d - 4. Let w be a(5). Which is bigger: w or 1/36?
w
Suppose 5*j - 15 = 0, 0 = -4*c + 2*c - 4*j + 12. Suppose 0 = -c*s + 3*s. Let y be ((-6)/(-3) + -2)/2. Is s greater than y?
False
Let b = -6 - -7. Is b smaller than 1/81?
False
Let c be (-5 - -3)/((-10)/245). Which is smaller: 50 or c?
c
Suppose 0 = 3*t - 15 - 0. Is t not equal to 5?
False
Let u(t) = -t**3 - 5*t**2 - 2*t - 5. Let p be u(-4). Which is smaller: -15 or p?
-15
Let r = -8 - -12. Suppose -r - 28 = -4*a. Is 8 at least as big as a?
True
Let x(d) be the first derivative of -1/4*d**4 - d**2 - 4/3*d**3 + 2 + 4*d. Let z be x(-3). Which is bigger: z or -1?
z
Let r(m) = 2*m - 2. Let a be r(2). Suppose 0 = -2*i + 14 - 12. Let f be a*(-3)/(-30)*i. Which is smaller: f or 1?
f
Let o = 11759/18 + -653. Let f = o + -79/414. Is -1 equal to f?
False
Let x 