 Let o be (-12)/(-9)*(-3)/(-2). Suppose v*d + 10 = -o*d. Does d = -2?
True
Let j = 627/170 - 21269/4165. Let h = -1173 - -57473/49. Let y = h + j. Is y greater than -1?
False
Let b be (6/(-5))/(2/5). Is -3 at most b?
True
Let f = -6 - -70. Is 64 greater than f?
False
Let f = 0.6 - 1.6. Let s = -1 - f. Is s less than 0.4?
True
Let c = 34 + -36.7. Is c smaller than -1?
True
Let n = -0.82 - 7.98. Let l = 9.17 - 0.17. Let r = l + n. Which is smaller: 2 or r?
r
Suppose -6 = -5*j + 2*j. Let u = 3 - j. Let y = 2 - 1. Do u and y have the same value?
True
Let o(y) = y**2 + 8*y - 2. Let z be o(-9). Is 7 < z?
False
Suppose -5 = 4*j - u - 2*u, 5*j - 5*u = 0. Suppose -3 = 5*z - 13. Do j and z have different values?
True
Let x = 1208 + -1202.01. Let y = -0.01 - x. Is y >= -0.1?
False
Suppose -119 = 2*b + b + c, -4*c - 20 = 0. Is -38 at most b?
True
Let o(y) = y**2 - 6*y - 8. Let z be o(6). Is z at most as big as -4?
True
Let p = 8 - 7.92. Which is greater: p or 2?
2
Let a be 5 + 0 + (-3)/3. Suppose a*l = 7*i - 2*i - 38, 2*l + 28 = 4*i. Which is bigger: 1/4 or i?
i
Suppose 3*p = 12, -o - 5*p = -0*o - 26. Suppose -j = -2, 2*n - o = -2*n - j. Which is smaller: n or 0?
0
Let h be ((-4)/6)/(2/(-3)). Let o be (0/1 - h) + -1. Let d be (2 + 7/(-5))*-1. Is d less than or equal to o?
False
Let y(t) = t**2 - 1. Let x be y(-2). Suppose 4*s - m = -x*m - 38, 3*m = -4*s - 41. Let c be (-4)/2*4/s. Are 2 and c unequal?
True
Suppose 5*j = -3*i - 31, -i - 3 = -1. Let y = -7 - j. Is -3/2 > y?
True
Suppose -4*n + 764 = -4*k, -3*n - 179 = -4*n + 5*k. Let p = -122 - n. Let y = 1901/6 + p. Which is bigger: y or 1?
1
Let a(r) = -5*r**3 + 1. Let g(t) = t**3 - 10*t**2 - t + 9. Let q be g(10). Let j be a(q). Which is smaller: 1 or j?
1
Let y(j) = -2 + 2 - j**3 + 2*j**3 + 4*j - 4*j**2. Let w be y(3). Is w not equal to 4?
True
Let o = 16 - 17. Which is smaller: o or 2/25?
o
Let s be -4*((-33)/18 - -2). Is -2 equal to s?
False
Let a = -6 - -9. Suppose 0*q - q = -a*y + 2, 0 = -4*y - q - 2. Which is smaller: -6/7 or y?
-6/7
Let s(g) = g**2 + 8*g + 9. Let h be s(-7). Let f be -2*(-1)/2 + h. Let k be (9/6)/f + -1. Which is smaller: k or 0?
k
Suppose 0 = -4*t + t + 6. Suppose -7*g = -t*g + 15. Let f = -8/25 - 109/50. Is g <= f?
True
Suppose 5*i = -2 + 2. Which is bigger: i or -1/72?
i
Let j = 90 + -91. Which is smaller: j or 2/81?
j
Let k(x) = x**3 - 12*x**2 - 14*x. Let r be k(13). Is r not equal to -13?
False
Suppose 0 = -0*a + 3*a - 15. Let g be (-13)/a - (-8 - -6). Does -1 = g?
False
Let j be (3 - 5)*(-5)/(-55). Is j greater than 1?
False
Let a = 18.1 + -17. Let t = a + -0.1. Which is smaller: 0.2 or t?
0.2
Let c = -1 - 0. Let v = -1 + c. Let w = -3 - v. Is -1 at least w?
True
Let o = 350 - 3497/10. Suppose 0 = 4*i - 5*a - 12 + 3, -2*i - 5*a - 3 = 0. Which is smaller: i or o?
o
Suppose -t + 2*t - 10 = 0. Suppose l + 3 = 2*l. Suppose -4*w + 0*k - 15 = l*k, -2*k = 2*w + t. Which is smaller: w or -2?
-2
Suppose -4*j - 48 = -j. Which is smaller: -15 or j?
j
Let v be 2/(-3) + -4*520/48. Which is greater: -87/2 or v?
-87/2
Let x(g) = g**2 - 21*g - 3. Let q be x(21). Is -1 >= q?
True
Let j(f) = f + 15. Let m be j(-7). Does m = 9?
False
Let u(i) = -2*i + 4. Let k be u(-4). Suppose 0 - k = -3*j. Suppose 0 = -3*o - 2 - j. Is 0 greater than o?
True
Let o = -5/61 - -547/5185. Are o and -1 unequal?
True
Suppose 0 = -4*l - 0*l - u - 10, -2*u = 4. Is -2 less than l?
False
Let x = 25 + -24.967. Which is greater: -0.1 or x?
x
Suppose 0*g - 8 = -2*g. Suppose 5*a = g*k - 8*k - 16, -5*k - a = -1. Suppose 4 - 10 = -6*j. Do j and k have the same value?
True
Let y be (-18)/21*(-27)/6. Which is smaller: y or 4?
y
Suppose -2*q + 6*q - 4 = 0. Which is greater: 0 or q?
q
Let k = -2/481 - -907/102453. Which is greater: 1 or k?
1
Suppose 23*r - 210 = 18*r. Is r at least as big as 43?
False
Let p be 1/1 + 150/(-138). Let d(x) = x**2 + 2*x + 1. Let q be d(-2). Which is smaller: q or p?
p
Let k be 2/10 + (-6)/5 + 2. Which is greater: k or 6/11?
k
Suppose 0 = -z - 0*z + 5. Suppose 3*o + o + n = 11, 0 = 3*o + n - 7. Which is greater: o or z?
z
Let d = 0.5 - 0.44. Let w = d - 3.06. Is -1 at most w?
False
Let h = 0.03 - 0.33. Let f = h - -0.5. Which is bigger: f or 10?
10
Suppose 0 = 4*s + 5 - 9. Is 5/6 <= s?
True
Let h = 0.01 + 0.09. Let d = -0.3 + -0.2. Let s = d - -2.5. Is s less than h?
False
Suppose 10*y - 5*y = -165. Let q = -65/2 - y. Is q > 1?
False
Let g(v) = -v**3 + 19*v**2 - 36*v + 34. Let b be g(17). Is 1 <= b?
False
Let s = 25.06 - 25. Let p = s + -1.06. Is p greater than or equal to -1?
True
Suppose -s - 2 = -3*s. Suppose s = r - 0. Which is smaller: 2 or r?
r
Let h be (-20)/5 + 235/55. Let b(s) = -s + 6. Let u be b(5). Do u and h have different values?
True
Suppose 6 = -0*y + 3*y. Suppose -4*k + 55 = y*t - 9*k, -4*t + 128 = -4*k. Let v be (-33)/t + (-8)/(-8). Is 1 not equal to v?
True
Let c = -40279/364 - -445/4. Let m = -4/13 + c. Suppose -n + 2*p + 3 = 0, 4*n - n - 3*p - 3 = 0. Is n less than or equal to m?
True
Let p = -205 - -107. Is -99 greater than or equal to p?
False
Let v(a) = -a**3 - 9*a**2 + 5. Let k be v(-9). Let y be 2 + (0 - k*-2). Do 12 and y have different values?
False
Let r = 9/34 - -5/238. Let a = 37/105 - r. Suppose 5*v - 2 = 3*v. Which is smaller: a or v?
a
Let q = -6.1 - -6. Let w = 9.6 + -10. Which is bigger: w or q?
q
Let o = 0 + 6. Does 4 = o?
False
Let v be (-624)/(-108) + 4/18. Do -1 and v have different values?
True
Let s(k) = k**3 + 6*k**2 + 9*k + 6. Let f be s(-4). Let j = 2/27 - -4/27. Which is smaller: j or f?
j
Let r = 3 - 1. Suppose -r*f + 4*f - 6 = 4*l, 5*l = -f - 18. Which is bigger: l or -3/2?
-3/2
Let m be 10/(-6)*8/10. Let o be (-102)/45 + 1 + 2. Let j = m + o. Is j not equal to -1?
True
Let h be (1/(-18))/(2/4). Suppose 0 = -3*d + 15, -3*b + 0*d = 2*d - 13. Are h and b equal?
False
Let f = -5 - 0. Is -5 not equal to f?
False
Let n = 0 - 5. Let h be 3/n*30/4. Which is greater: h or -6?
h
Let g = -1.85 - -12.9. Let v = g + -6.03. Let s = 5 - v. Which is bigger: 0 or s?
0
Let x = 3654/17 - 215. Is 0 less than x?
False
Let m be (15 + 1)/4 - 1. Which is greater: 13/4 or m?
13/4
Let u = 3 + 2. Let r = 6 - u. Which is greater: r or -0.1?
r
Let r(t) = 2*t**2 - 2*t - 2. Let u be 0 + (9/3)/1. Let y = u - 1. Let s be r(y). Which is greater: -2/7 or s?
s
Let f(x) = -x**2 + 4*x + 2. Let g be f(4). Suppose 3*o - g*o - 2 = 0. Are 1 and o equal?
False
Suppose -5*x - 3 = -3*p, -3*p + 3 = 7*x - 2*x. Which is smaller: 4 or x?
x
Suppose 5*i = 2*s - 16, -4*i + 5*s = 5 + 18. Let c be (i/(-4))/(2/12). Suppose 5*d - 10 = 4*u - 2, -5*u = -c*d + 10. Is u != -2?
False
Let m(y) = 2*y**3 - y**2 - 3*y + 2. Let d be m(2). Which is smaller: 9 or d?
d
Let r = 0.63 - 0.03. Let z = r + -0.7. Are z and -3 nonequal?
True
Let q(v) = v**2 + 8*v + 2. Let t be q(-8). Suppose -2*w - 24 = t*w. Let l = 4 + w. Which is smaller: -3 or l?
-3
Let l(p) = -p**2 + 14*p + 3. Let x be l(14). Let q(h) = h + 1. Let n(w) = 6*w. Let y(m) = -n(m) + 5*q(m). Let a be y(x). Is 2 greater than a?
False
Let k be (118/4)/((-15)/2 + 6). Which is bigger: k or -20?
k
Let t = -0.08 - -4.08. Let q = t - 4. Is q greater than -2/13?
True
Let b = -11/2 + 5. Which is smaller: b or -2?
-2
Let h = 2 - 1. Let k = h - -3. Let b = 1 - k. Which is smaller: 0.1 or b?
b
Let a(t) = t**3 - 6*t**2 - 7*t + 2. Let d be a(7). Let s be 2/(-9) - 47/(-9). Suppose s*x - 8 = x. Is x at most d?
True
Let h(m) = -7*m**2 - 18*m + 4. Let q be h(-3). Are q and -14/3 unequal?
True
Let q = 31 + -52. Do -21 and q have the same value?
True
Let m be 0 + 2 + -1 + 1. Suppose -2*j = -m*p - 20, -p = 4*p + 3*j + 10. Is p at most as big as -5?
True
Suppose -3 - 5 = -2*a. Suppose 5*q = -5, a = u - 5*q - 3. Which is bigger: u or 3?
3
Let t = -0.28 - -0.28. Let x = -0.4 + 4.4. Let d = x + t. Do -1/4 and d have different values?
True
Suppose -8*u - 57 = -4*u - 5*f, u + 30 = -4*f. Which is bigger: -17 or u?
-17
Suppose -h = -4*u + 4, -3*u - h - 2 = -12. Let k = u + -3. Let m = 2/23 - 60/161. Which is greater: k or m?
m
Let w(t) = t - 8. Suppose a = 3*a - 10. Let z be w(a). Does -3 = z?
True
Let k(i) = i - 1. Let g be k(3). Suppose -2*c + c = 1. Let y(t) = -3*t - 1. Let d be y(c). Is g at least d?
True
Let w = 36 - 26. Let f be 6 + -4 + 0 + w. Does f = 12?
True
Let g = 10 - 21/2.