r 0?
g
Let q be ((-1)/(-18))/(12/4 + -2). Is 0 equal to q?
False
Suppose -6*u + 2*u = -4. Suppose -m + 3*f = -7 - 3, 2*m + f + u = 0. Is -1 at least m?
False
Let t(k) = k**3 - 4*k**2 + 3*k + 3. Let y be t(4). Suppose y = -0*x - 3*x + 3*l, 0 = 4*x - l + 8. Is -2/9 smaller than x?
False
Let a be (-75)/30*(-16)/(-70). Is a less than or equal to 0?
True
Suppose -5*k = 5*i + 10, -3*k + 5*i + 2 = -0*k. Let x = 0.01 - 0.11. Which is greater: x or k?
x
Let m = -0.16 - 0.04. Which is smaller: m or -0.1?
m
Let t be 4/(-20) + (-2)/(-10). Let r = 5 + t. Let a be 7/r - (0 - -2). Which is greater: -1 or a?
a
Let b(l) = -4 + 8 - l + 2*l. Let n(c) = c**2 - 10*c - 3. Let f be n(10). Let k be b(f). Which is smaller: 0 or k?
0
Let h = -0.26 - 11.74. Let k = 0.11 + -8.11. Let u = k - h. Which is bigger: 2/3 or u?
u
Suppose 2*g - 4 + 12 = 0. Which is greater: 0 or g?
0
Let f = -52 - -52. Is f <= 1?
True
Let r = -8 + 7.94. Let a = r + 0.16. Which is bigger: a or -0.2?
a
Let y = 14 - 23. Let s be (9/(-12))/(y/8). Let l = 35 + -33. Which is smaller: l or s?
s
Let z = -8.1 + 1.1. Let l = 6.93 + z. Is 1 greater than l?
True
Suppose 0 = 2*u - a - 2*a + 5, -u - 6 = -5*a. Is -1/66 < u?
False
Let p = 0.123 + -14.123. Which is smaller: p or -2/5?
p
Suppose -2 - 7 = -3*b. Suppose -b*w = -12, 2*l + 16 = 4*w + w. Suppose l*a = -a. Is 3 greater than or equal to a?
True
Let n = -1 - -1. Suppose -2*p = -3*u - 8, -5*u + 9*p - 20 = 4*p. Suppose 4*w - 9 = 3*o, u = -w + o + 2 + 1. Is w at least n?
True
Let k(c) = 2*c**2 - 13*c + 16. Let r be k(-12). Let p be (-75)/r - (-2)/8. Which is greater: -0.1 or p?
p
Let p = -24 + 16. Let b = -9 + 2. Which is smaller: p or b?
p
Let h = 76 - 382/5. Let x = 4 - 3. Let r be x*6*1/4. Which is greater: h or r?
r
Suppose 4*s = o - 2, -2*o - 2*s = -7*s - 4. Suppose 21 = 3*r - 4*i, -8*r + 3*r + 30 = -5*i. Let m be 2 + 0 - (r + -5). Which is bigger: m or o?
m
Suppose -4 = 2*b + z, 3*z = -4*b - 9 - 3. Let k be 18/39 + b + -1. Let y = 9/65 + k. Which is greater: -1 or y?
y
Suppose -d - 9 = -2. Let o = d + 11. Suppose 3*i - 4 - 5 = 0. Is i greater than or equal to o?
False
Let v = -18 - -20. Is -3/2 at most as big as v?
True
Suppose 5*t + 14 = -16. Suppose 12 = -f - f. Is t less than f?
False
Let k = 38 - 115/3. Is -1 bigger than k?
False
Suppose -x - 14 = 3*q - 2*q, 0 = -2*x - 4. Which is greater: -23/2 or q?
-23/2
Let m be (-2)/3 + 132/189. Which is smaller: 0.3 or m?
m
Let g be (-54)/(-12)*1/6. Suppose -2*y = 4*h, 4*h + 1 = -2*y - h. Is g > y?
False
Suppose -4*i = 3*j + 280, 280 = -4*i - 3*j + 2*j. Let r be 14/i + 43/65. Is r greater than or equal to 0?
True
Let l be 604/(-16) + 1/(-4). Let x = -12836/3 + 4241. Let v = l - x. Is -3 at most as big as v?
True
Let l = -5.1 + 6.1. Is l bigger than 1?
False
Suppose -169 = -5*o - 1224. Let p = -2319/11 - o. Which is bigger: p or 1?
1
Let r(v) = -9*v**2 - v. Let f be r(1). Suppose -30 = i + 2*i. Is f not equal to i?
False
Let m(z) = 5*z + 21. Let s(v) = -3*v - 11. Let k(a) = 4*m(a) + 7*s(a). Let d be k(5). Is d bigger than 0?
True
Let a = -46 - -40. Is a < -0.1?
True
Let f = 86 + -434/5. Let q = -129123/40 + 3229. Let k = q + f. Is -1 smaller than k?
True
Suppose 298 = -d - 458. Let p = d - -517. Let z = p + 1670/7. Which is greater: z or 0?
0
Let o be ((-1)/(-18))/((-3)/(-6)). Let a = -33 - -34. Is o != a?
True
Suppose -2*d - 12 = d. Is d bigger than -11/4?
False
Suppose -3*o - k + 18 = -0*k, -5*o = -k - 38. Let l = 6 - o. Is 4/9 less than l?
False
Let w = -1 + 1. Suppose -l + 2*d = -d - 2, -2*d + 2 = w. Do l and 3 have different values?
True
Let d = 95 + -93. Let a = -0.02 + -3.98. Which is smaller: a or d?
a
Suppose y - 3*y = -10. Let i(h) = 2*h + 17. Let k be i(-7). Is y greater than k?
True
Let s = -16 + 12. Which is smaller: 2 or s?
s
Let l(y) = y**2 + 6*y - 3. Let f be l(-8). Let d(v) = v**2 - 13*v - 2. Let j be d(f). Which is bigger: j or -3?
j
Suppose -9 = -3*t - 6. Let c = 503/6 - 84. Is c not equal to t?
True
Let j = 24.2 + -24. Let h(a) = a - 2. Let m be h(3). Which is smaller: j or m?
j
Let a = -12 + 11. Which is smaller: 0.09 or a?
a
Suppose -5*l = 5*f - 15, -2*f + 21 = 7*l - 2*l. Let y be 489/20 + (-1)/l. Let h = y - 26. Which is smaller: -3 or h?
-3
Let u(f) = f - 8. Let l be u(6). Let a be 15/(-5)*(l + 1). Let t be (-1)/(2 - a/3). Which is smaller: 0 or t?
t
Suppose 2*s - 5*y = 42, -105 = s - 6*s + y. Suppose -4*a - 4*w = -24, 3*a + 5*w - s = 7. Which is greater: a or 3/5?
a
Let u(y) = y**2 + 2*y. Let o be u(-4). Suppose 0 = -4*d + o*d - 8. Let l be 0/(d - 1 - 2). Which is greater: l or -3?
l
Suppose 2*t - 7 = -l, -31 = 2*l + 2*t - 7*t. Let i = l - 2. Let z = -0.3 - -0.3. Which is smaller: z or i?
i
Suppose -3 = -i - 0*i. Suppose 0*b = -4*b + i*y + 4, 3*y = -b + 16. Suppose -m + b = 2. Are m and 1/4 non-equal?
True
Suppose -3*j = -u + 1 + 2, -5*j = 5. Do u and 4 have different values?
True
Let x be 4 + -3*2/12. Do x and 4 have the same value?
False
Let d = 201 + -188.9. Let h = d - 12. Let a(u) = u**3 + 5*u**2 + 2*u - 2. Let v be a(-2). Is v >= h?
True
Let o be (-2 - 10)/((-6)/16). Let h be 3 - 3*o/60. Is h smaller than 1?
False
Let t(d) = 3*d - 8. Let b be t(10). Let f be (-6)/9 + b/6. Do 3 and f have the same value?
True
Let p be 2/11 - 2344/(-55). Let g = p - 43. Is g less than -1?
False
Suppose 2*m + m = 3. Are m and -5.5 unequal?
True
Let g be ((-56)/(-12))/7*3. Let n(m) = 2*m**2 - 2*m**2 + 6*m + 2 - m**2. Let t be n(6). Is g != t?
False
Suppose 0 = -0*d + 5*d + 30. Let y = d - -11. Suppose y = 4*p + p. Is p smaller than 2/5?
False
Let n(v) = v**3 + 3*v**2 - 2*v - 2. Let c be (18/3)/(-3) - 1. Let z be n(c). Let a be -3 - -4 - (0 + z). Is a smaller than -4?
False
Let y = 1.13 - 1.83. Which is smaller: -1 or y?
-1
Let q be (384/140)/(-8) - 2/(-7). Which is greater: q or 1?
1
Suppose 0 = 3*l - 2*c - 6, -3*l + 2 = c + 5. Suppose 4*w - 4 - 4 = 0. Suppose -w*i + i = -5*k + 18, -k = -5*i + 6. Which is greater: l or i?
i
Let o = -4.1 + 6. Let z = o - 2.1. Let j = 0.7 + -0.2. Do j and z have the same value?
False
Let d(f) = -f**3 + 3*f**2 + 4*f + 5. Let g(a) = 2*a**3 - 5*a**2 - 9*a - 10. Let h(v) = 9*d(v) + 4*g(v). Let j be h(7). Is 6 at least as big as j?
True
Let b(i) = i**3 + 4*i**2 + 4*i - 2. Let l(t) = -t**3 - 4*t**2 - 3*t + 2. Let w(m) = -4*b(m) - 5*l(m). Let q be w(-4). Is 2 smaller than q?
False
Let z(r) = 13*r**2 + 37*r + 7. Let m(d) = -3*d**2 - 9*d - 2. Let c(a) = -9*m(a) - 2*z(a). Let y be c(-7). Is y <= 3?
False
Suppose 0*q = -5*q - 2*y - 6, -q - 3 = y. Suppose 2*d = 3*d - 5*n + 19, 4*d - 5*n + 31 = q. Which is bigger: d or -0.3?
-0.3
Let d = 0.5 + -0.7. Let i = d + -7.8. Let s = i + 8.3. Is -1/3 at least as big as s?
False
Let b = 5 - 3. Suppose -b*c = -3*r + 1, r = c - 0*c. Let w = c + -9/7. Is 1/6 less than or equal to w?
False
Let l = -6 + 7. Let d be (-13)/(-5) + (-10)/(-25). Suppose -2*f = u - 3*u - 10, 0 = -2*u - d*f. Which is smaller: u or l?
u
Let k be (0*(-1)/5)/(-4). Which is smaller: -2/67 or k?
-2/67
Suppose -2*n + 2*d - 62 = n, 3*n + 4*d + 38 = 0. Is -17 equal to n?
False
Suppose 0 = 2*u + 3*j + 1 - 11, -2*j + 6 = u. Suppose 1 = w + u. Is -2/35 greater than or equal to w?
True
Let q = 147 + -153. Is 5 != q?
True
Suppose -11*i = -9*i. Let u(j) = j**3 - 10*j**2 + 8*j + 8. Let s be (-7 - -4) + (11 - -1). Let m be u(s). Which is smaller: m or i?
m
Let f be 0 + 0 - 1/(-1). Which is greater: f or 0?
f
Let g = 39 - 46. Are 1/3 and g non-equal?
True
Let t(h) = -2*h**2 + h. Let s be t(-2). Which is smaller: -11 or s?
-11
Let q(h) = -h**3 + 6*h**2 - h + 6. Let l be q(5). Let i be (-17)/l - (-3)/6. Is -1 at least i?
False
Let i = 15 + -14. Let u be (11/9)/(2/(-8)). Let c = u + 5. Does c = i?
False
Suppose -7*d = -2*d - 20. Is d less than 2?
False
Let r(u) = u**3 - 3*u**2 - u + 5. Let k be r(4). Let s be (1*-2 - 0) + k. Let p be s/44 + (-5)/20. Is p not equal to 0?
True
Suppose -2*p - 7 = 2*n + 3*n, -16 = -p + 4*n. Suppose 0 = p*x - 3*q + 13, 0*x - 11 = 3*x - q. Which is greater: -1 or x?
-1
Let g be (-4 - 20/(-8))*-2. Is 3 at most g?
True
Let y = 2457 + -127759/52. Which is smaller: 1 or y?
y
Let a = -5 - -7. Does 0.05 = a?
False
Suppose 2*b - 8 = -2*h, 5*h + 7 - 21 = b. Let o be 0 + 0/2 + -1. Let x = o + 2. Is x bigger than b?
False
Suppose -4*b - 1 = -17. Let f be 2/b - 9/(-6