. Are -12/5 and s unequal?
True
Let i be (-33)/(-22) - 2/4. Let y be -2*(i - (-42)/(-27)). Which is smaller: 2 or y?
y
Let u(t) = -t**2 + 10*t - 9. Let f be u(9). Do f and 1 have the same value?
False
Let h = 19.33 + 0.67. Which is smaller: 2 or h?
2
Let v be (-6)/27 + (-272)/(-9). Let u = 42 - v. Suppose 0 = 2*s, 0*k = -4*k + 5*s + u. Which is greater: 4 or k?
4
Suppose 2*z - 3 = 11. Suppose 0 = j + 7 - 14. Are j and z equal?
True
Let l = 0.02 + 0.18. Which is smaller: -1 or l?
-1
Suppose -4*s + s = 12. Let r = s - -3. Which is greater: 2/7 or r?
2/7
Let p = 4 + -7. Let s be (-4)/3 + p/(-9). Let a be (-6)/(-4) + s/2. Is 1 greater than a?
False
Let d = 147 + -149. Is d at most as big as 12?
True
Let u be 9/(-11) - (-4)/(-22). Let k(d) = -3*d**2 + d + 1. Let s be k(u). Which is bigger: -4 or s?
s
Let a = -11 - -8. Let t be (1 + a)/(-2) - 1. Let p = -673/24 - -219/8. Are t and p unequal?
True
Let y = 0.2 + 1.2. Let i = 0.01 + -0.41. Let u = y + i. Which is smaller: u or -3?
-3
Let r = 11.2 - -13.9. Let m = 25 - r. Which is smaller: 4 or m?
m
Let z = -2 - -3. Let p = 2 - 2. Is p not equal to z?
True
Let w(z) = -z**3 + 6*z**2 + 6*z - 1. Let t be w(7). Let m = -9 - t. Let n be (-9)/(-36) - (0 - 0). Do n and m have different values?
True
Let c = -1.9 - -2. Let o = -0.091 + -0.009. Which is smaller: o or c?
o
Let p = 1/21 - 31/210. Is p smaller than -1?
False
Let h be (12/9)/((-28)/(-6)). Is 0.15 smaller than h?
True
Let p be 12/54 - (-1138)/(-18). Let j be (6/(-9))/((-12)/p). Which is bigger: -3 or j?
-3
Let a be 4 - 3/(3/5). Let q be a*2 - (-12)/15. Does -2 = q?
False
Let j = -180 + 174. Which is greater: 0.1 or j?
0.1
Let w = 499.6 + -500. Let i = -42 + 43.9. Let y = i + -2. Which is bigger: y or w?
y
Suppose 23 = -5*a - 4*q, 7 = -3*a - 2*a + 4*q. Let s be (-1)/3 - 13/a. Which is smaller: 1 or s?
1
Let k(w) = -w**2 - 11*w + 3. Let g be k(-11). Suppose 0 = -g*p + 3*i - 3, -3*p - 3*i + 5 = -7*p. Let h = -4 - -3. Which is smaller: p or h?
p
Suppose -7*l + 5*l = 18. Let o be 15/l - 2/(-3). Is o greater than 2/27?
False
Let r = -13.18 - -0.18. Let t = -13.96 - r. Let z = 0.04 - t. Is z equal to 0.06?
False
Let c be (5/2*-4)/(-2). Let l = c - 3. Let y be l + -2 + (-2)/9. Which is smaller: 1 or y?
y
Suppose -3*t - 2*u + 41 = -0*u, -5*t - u = -80. Let h(f) = f**2 - 26*f + 41. Let s be h(25). Is s at most t?
True
Let h be -1 - 2/(-3) - 50/(-138). Is 0 greater than or equal to h?
False
Let g be ((-4)/8)/(1/2). Let z = -1 - -1. Is g at least z?
False
Suppose 2*l - 1 = -b, 0 = -3*l + l + 2*b + 4. Suppose 0 = 2*t - l - 31. Suppose 5*v - 4 = 4*g + v, 2*v + t = -4*g. Is g greater than -3?
False
Suppose v + 2*p = 12, -4*v - 3*p + 14 = -49. Let n be ((-10)/6)/(2/(-21)). Let b = n - v. Which is bigger: b or -2?
b
Suppose -14 - 274 = -9*m. Which is smaller: 33 or m?
m
Let c(h) = -h**2 + 6*h + 2. Let d be c(6). Let t = 65 - 65. Suppose d*v + t*v - 2 = 0. Does v = 0?
False
Suppose m + 2*c = 6*c + 67, 4*m - 223 = c. Let l = m - 383/7. Which is smaller: l or 1?
l
Let q be ((-123)/45 - -3)*27/18. Is 8 equal to q?
False
Let c be (-2)/5 - 33/5. Let s(d) = -d - 3. Let i be s(c). Is 0 at least i?
False
Let d = 677872/145 - 4675. Which is smaller: d or 0?
d
Let c = -0.1 + 0.2. Suppose 3*d + 3*g - 6 = -0*d, -3*d = 5*g. Let k(n) = n - 4. Let t be k(d). Is c greater than t?
False
Suppose 10*z + 845 = 105. Are -75 and z equal?
False
Let c be ((-3)/(-15))/(4/230). Which is smaller: c or 12?
c
Let t(o) = o - 3. Let i be t(-6). Let h = -1.4 + 1.5. Which is smaller: i or h?
i
Suppose 5*m + 79 = 194. Is m != 20?
True
Suppose 6 = 4*l + k, 4*l + 2 = -0*k + 3*k. Which is smaller: l or -1/19?
-1/19
Let d = -12 + 4. Let i(u) = -2*u + 11. Let z be i(9). Which is greater: z or d?
z
Suppose 5*f - f = 16. Suppose -6 = -f*r - 14. Which is greater: -1 or r?
-1
Let a = 122 - 72. Is a greater than 51?
False
Suppose 0 = -6*p + 3*p - 90. Let m be (p/25)/(3/10). Is -3 >= m?
True
Let u(i) = -9*i**2 - 2*i + 2. Let m be u(-2). Let b be ((-3)/m)/((-2)/(-12)). Do b and 0 have the same value?
False
Let x be 4/20*5 - 6. Which is smaller: -8 or x?
-8
Suppose -3*t - 60 = -5*t. Let q be (-10)/(-4)*(-24)/t. Which is greater: q or -2/3?
-2/3
Let o be ((-2 - -3) + 2)/(-1). Let k = o - -9. Let h be k/(-21) - (-2)/7. Is h < 0?
False
Let j = 115 - 152. Which is smaller: j or -1?
j
Suppose -15 = -3*o - 6. Which is greater: o or 0?
o
Suppose -2*z - 40 = 3*z + 5*i, -36 = 4*z + 5*i. Let u be (z - 0)/(6/(-9)). Are u and 4 unequal?
True
Let a(z) = z**2. Let d be a(-1). Let o(n) = -n**2 + 10*n - 9. Let y = 17 + -8. Let f be o(y). Do d and f have different values?
True
Let u = -46 + 47. Is u greater than or equal to 3/22?
True
Let c = -0.3 + 0.9. Let v = c + 3.4. Is 1/5 greater than or equal to v?
False
Let q be (-1)/2*2*-5. Suppose -2*v - 2*v + 30 = q*b, 7 = -4*b + 3*v. Let x(t) = t**2 - 7*t + 2. Let k be x(7). Is b > k?
False
Suppose u + 3*d = -13, 5*d + 15 = u - 4. Let r be (1*7*-1)/(-1). Let h = 4 - r. Is u > h?
True
Let j be ((-12)/(-15))/((-4)/40). Let s(z) = -z**2 - z - 1. Let f be s(2). Which is greater: j or f?
f
Suppose -1 = -2*b + d, -b + 0*d - 5 = 5*d. Suppose -19 = -5*f - 4, -5*i = 4*f - 417. Let l = 407/5 - i. Is b at least as big as l?
False
Let j = 6 - 5.97. Let h = 0.13 - j. Is 2 >= h?
True
Let u be 4/70*-4 - 2/10. Let d be (-2)/(-2) + (-1)/1. Are d and u unequal?
True
Let a = -34 + 40.1. Let y = a + -6. Let n = 0.1 + -0.6. Which is smaller: n or y?
n
Suppose -4*f = -4*y - 12, -f + 5*y = -0*f - 23. Let k(h) = h**2 + 3*h + 1. Let c be k(f). Let m be 0 + (c - 3/(-3)). Which is bigger: -1 or m?
m
Let p = -25 + 24. Which is smaller: -5/7 or p?
p
Let z(u) = -u - 1. Let b be z(-2). Let y(l) = l**2 - 9*l + 5. Let f(w) = w**2 - 9*w + 6. Let t(a) = 3*f(a) - 2*y(a). Let d be t(8). Which is smaller: b or d?
d
Let x be -2 - -1*6/(-2). Let a = x + 7. Suppose 2*p + 2*y = 4*p - 4, a = p - 4*y. Which is smaller: p or 0?
0
Let v = -11 + 10.85. Let m = 0.15 + v. Is m greater than 1?
False
Let c(x) = x**2 + x - 42. Let w be c(0). Let t be (-62)/(-112) + 18/w. Is 0 bigger than t?
False
Suppose m + 4*c + 1 = 0, -4*c = -6*c. Is m at most as big as -4/3?
False
Let x = 4 - 3. Let h be (-4)/112 + x/(-4). Let b = 0.2 + 0. Which is smaller: h or b?
h
Let t = 0 + 3. Let p = 2.5 + 0.3. Let v = p - t. Which is smaller: -2/11 or v?
v
Let c = 2/249 - 253/498. Is 3 <= c?
False
Let n be (5/10)/(2/(-16)). Which is smaller: n or 1?
n
Suppose 8*g - 2 = f + 3*g, 0 = -f + g + 6. Are 8 and f unequal?
False
Let m = 110.9 - 116. Let k = 5 + m. Which is bigger: k or -0.2?
k
Let h be (4 + -5)/((-1)/3). Let y be 18/(-8) + -1 + h. Is y not equal to -0.3?
True
Let j(c) = c + 10. Let p be j(-9). Suppose 5*r = -u - 17, -4*u - u = 4*r + p. Which is greater: 0 or u?
u
Let h = -28 - -55/2. Does -1 = h?
False
Let l(c) be the second derivative of -c**4/12 - c**3/2 + 11*c**2/2 - 3*c. Let j be l(-7). Is -17 less than j?
False
Suppose -2 = -0*g + g. Let k(y) = -y**3 - 2*y**2 - y + 2. Let m be k(g). Is 4 greater than or equal to m?
True
Suppose c + 16 = 5*p, 5*p - 18 = c + 2*c. Let g be (3 - 3)*c + 0. Let i = 40 - 279/7. Which is smaller: i or g?
g
Let p(d) = -d**3 - 8*d**2 + d + 6. Let k be p(-8). Let u be 5/((-10)/24) + k. Let n be 2*1 - u/(-6). Is n at least 2?
False
Let m be (-184)/18 - 14/(-63). Is m <= -10?
True
Let k = -0.98 + 1. Let m = k + 0. Let u = m - 2.02. Do 1 and u have the same value?
False
Let c be 1 + (-80)/28 + 1. Which is bigger: c or 0?
0
Let q = -199 - -998/5. Let k be 4/(-14) - (-2)/7. Suppose k*x + 4*x - 8 = 0. Is x bigger than q?
True
Suppose -f - 84 = -4*f. Is f != 28?
False
Let s be 3 + (-4)/(12/9). Let q be (-10)/(-195)*3/(-1). Is s at most as big as q?
False
Let z = -1/10 - -27/70. Suppose 0 = -5*p - 3*j - 20, 4*p - 3*j = -p + 10. Which is smaller: z or p?
p
Suppose -5*q - 16 = -2*w, 0 = 3*q - 2*w + 8. Is q less than -2/9?
True
Let y(k) = k**2 + 3*k + 9. Let p be y(-6). Let x be -2 + -3 + p/5. Which is smaller: -1 or x?
-1
Let p be (4/(-5))/(21/15). Which is greater: -1 or p?
p
Let w be 7*-1*(2 + 2). Is -29 > w?
False
Let w = 0.83 + -0.93. Is w equal to 0.18?
False
Suppose -9 - 39 = 4*h + 4*k, -4*h + 2*k = 36. Let b be (-18)/(-24) + h/12. Is b < -1?
False
Let l = 59/2 + -29. Is 1 smaller than l?
False
Let t = 6 + -2. Suppose z + t