- -10.28. Let y = r - 0.7. Let c = 2 - y. Are 1/2 and c unequal?
True
Let y be (-3)/((-6)/(-8)) + 1871. Let x = 9412/5 - y. Is 14 at most x?
True
Let u(h) = -33*h - 180. Let w be u(-5). Let a = -17 + 2. Is w < a?
False
Let a = -2 - 0. Let z be ((-3)/3 + a)*3. Let l be 2/3 + 24/z. Is l at most as big as -1?
True
Let m = -2.494 - -2.5. Let b = m - 0.806. Let g(p) = p + 5. Let d be g(-4). Which is bigger: d or b?
d
Let c be (-2)/(-4) - (-564)/(-220). Let x = c - -11/5. Which is smaller: x or 0?
0
Let j be 164/(-10)*30/(-12). Let p = -39 + j. Which is smaller: 3 or p?
p
Let z be (-1 + 0 - 3) + (-975)/(-225). Is -1/28 greater than or equal to z?
False
Let u = 0.464 + 0.536. Let q = 515 - 14937/29. Which is smaller: q or u?
q
Suppose -3*p + 4*p = 3. Suppose 2*q - 38 + 7 = p*m, -5*m = -q + 40. Are -8 and m equal?
False
Let o be -6 + (-180)/(-28) + (-2486)/(-14). Let n = -158 + o. Is n at least 19?
True
Let l be (-6)/(2*4/(-5 - -1)). Is -3/179 greater than or equal to l?
False
Let l = -18 - -12. Let o = -6 - l. Let p be ((-8)/15)/(8/(-20)). Which is greater: p or o?
p
Suppose 3*c - 8 = -2*o + 3*o, 5*o = 5*c. Let s = 62 - 59. Which is bigger: s or c?
c
Let c be (76/207347)/(2 + 8/(-7)). Which is greater: c or 1?
1
Let f(q) = 74*q**3 + q**2 + 4*q + 3. Let r be f(-1). Which is smaller: -0.2 or r?
r
Let a(r) = r**2 + 12*r - 3. Let u be a(-13). Suppose 0 = -3*t + u + 5. Suppose -2*m + 15 = 3*k + m, t*m = -3*k + 13. Is 6 at least as big as k?
True
Let o = 0.23 - -6.65. Let y = o + -7. Let c = -13 + 13.1. Which is smaller: c or y?
y
Let w be 63/38 + (-3)/2. Let n = 585 + -525.1. Let o = 60 - n. Is w bigger than o?
True
Let l = -7725/76 - -407/4. Suppose 0 = -0*m - 5*m. Is m smaller than l?
True
Let r = 2.78 + -2.7. Let m = 0.01 + r. Let i = -0.1 + 0. Which is bigger: i or m?
m
Let x = 4098 - 4090. Let w = -2 - -9. Does x = w?
False
Let i be -145 + (1 - 0) + 2. Is i smaller than -142?
False
Let z be -7 + -7 + (-11628)/(-831). Is z smaller than 1?
True
Let y be -4 + (157 - (-2 - -6)). Is y at most 148?
False
Suppose -14*q + 12*q - 2*w - 384 = 0, 5*q - 4*w = -1005. Which is smaller: q or -195?
q
Let t be (9/(-2))/((-2)/4). Let x be (13 - 5)*t/4. Is 18 at most as big as x?
True
Suppose 3*i - 2*i = 2. Let j be 3/((-270)/348) + 8/(-60). Which is smaller: i or j?
j
Let o be 9/(((-4)/8)/((-20)/(-8))). Let z = -29 - o. Which is bigger: 15 or z?
z
Let a = -2 + 2. Let i be (8/(-6))/((-30)/(-45)). Let p be 146/(-74)*i + -4. Which is bigger: p or a?
a
Let n = -271.63 + 270. Let p = 0.37 - n. Which is bigger: p or 30?
30
Let h(p) = -p**3 - 12*p**2 - 9*p + 16. Let z be h(-11). Let l be z/39 - (-37)/(-13). Suppose 5 - 17 = 3*q. Which is smaller: q or l?
q
Let l = -1 - -7. Let v be 4/(-6)*(-21 + l). Let m = -54 + 215/4. Is m at most as big as v?
True
Let h = -31/4 - -2069/268. Let u(v) = v**3 + 5*v**2 + 5*v + 5. Let l be u(-4). Are h and l non-equal?
True
Suppose 0 = -3*k + 4*i - 12, 0 = k + k + 3*i - 9. Let d = 62 + -87. Let j be 1/(-13)*d + -2. Is j bigger than k?
False
Let s be 5 - 1 - (12 - -3). Let y = s - -12. Let j be (-14)/(-30)*8/(-28). Which is greater: y or j?
y
Let o = 2792 - 1086089/389. Which is greater: -1 or o?
o
Let i = 106.5 - 52. Let o = i - 12.5. Is -1 >= o?
False
Let a = 328/29 - -1028/145. Which is greater: a or -0.03?
a
Let v be (-56)/(-26) - ((-608)/104 + 6). Are v and 11/9 nonequal?
True
Let i(y) = y**2 - 14*y + 11. Suppose 0 = 2*h + 3*n - 9, -n - 2*n - 27 = -h. Let w be i(h). Is -11 at least as big as w?
True
Let m(z) = 4*z + 80. Let b be m(0). Let p be b/35 + -3 + 2. Which is bigger: p or 1?
p
Let s(i) = -12*i - 1044. Let j be s(-87). Which is bigger: 517 or j?
517
Suppose -5*k + 36 = 3*s, -2*s - k + 20 = k. Suppose -5*f + 8 = -m - s, 0 = -5*m. Are f and 4 equal?
False
Let h be 14/24 + (-6)/48*2. Which is greater: 2.9 or h?
2.9
Suppose 2*g = 5*c - 15, 2*g - 4*g = 10. Suppose 0 = -2*v + 5*q - c, -9*v + 4*q + 6 = -4*v. Let u be 40/(-78)*(-6)/4. Is u at most v?
True
Let x = -3226 + 54879/17. Which is smaller: x or 3?
x
Suppose -6 = m - 5*p - 0*p, -m - 4 = -4*p. Suppose 5 = 4*t + a + 2, -4*a - m = 0. Does 9/11 = t?
False
Let o = -643 + 13480/21. Which is smaller: o or -1?
o
Let l(u) = -140*u - 330. Let m be l(-4). Is -0.1 at most as big as m?
True
Suppose 3*y - 3*o - o = 62, -y + 4*o + 18 = 0. Is y at most as big as 28?
True
Let z(m) = 8*m - 27. Let s be z(6). Let g be (-1626)/(-126) + 2/s. Is g <= 11?
False
Suppose -9 = -2*b + 1. Suppose -3*i - 21 = i - 3*t, 2*i + 5*t = -43. Let d = -2 - i. Is d greater than b?
True
Let g = 0 + 0.2. Let h = 61 + -63.7. Let d = h - -2.3. Which is greater: g or d?
g
Let n be (2128/(-12))/4 - 4/(-12). Let r = n - -93. Do r and 50 have different values?
True
Suppose -5*d - 3*n = 43, 3*d - 5*d - 4*n = 6. Which is bigger: -124/11 or d?
d
Let m = 78 + -44. Let b = -30 + m. Which is bigger: b or 0?
b
Let p = 89/885 + -1/15. Let v be 2 + 3/(-1) + 2. Which is smaller: p or v?
p
Let a = 34242 + -34243. Let c be 14/(-4) - 2/(-4). Let v be 6/38*1/c. Which is smaller: v or a?
a
Let q = -193 - -169. Is -23 bigger than q?
True
Suppose -47 + 285 = -7*c. Suppose -70 + 200 = -5*y. Let k = y - c. Which is smaller: 9 or k?
k
Let s = -1 + 0.5. Let j = -1.5 - s. Let y = 149 - 149. Which is smaller: y or j?
j
Let w be 9/(-2*(-4)/(-32)). Let b = -577/16 - w. Let v = 25/63 + -1/9. Which is bigger: v or b?
v
Suppose 4*a + s - 18 = 0, -5*s = 4 + 6. Let l(g) = -g**2 + 4*g - 1. Let u be l(a). Let h be 27/u*(-1)/(-12). Which is smaller: h or 0.1?
h
Let t(p) = p**3 + 7*p**2 + 12*p + 38. Let x be t(-6). Which is smaller: x or 20/19?
20/19
Suppose 5*s = 4*s + 1. Let h = -5483/2700 + -41/1350. Let g = h + 25/12. Is g != s?
True
Let m = 11 + -18. Suppose c - 2*c = 34. Let s be c/4 + 2/4. Is m less than s?
False
Let c(q) = q**2 + 5*q + 1. Let f be c(-6). Let a = 1 - f. Let u be (3/(-45)*-6)/a. Is -1 greater than u?
False
Let c be 296/(-40) - 2/(-5). Let r(b) = b**3 + 6*b**2 - 7*b + 1. Let l be r(c). Let p = -0.23 - -0.2. Which is smaller: p or l?
p
Let z = 123 - 123. Which is bigger: z or 10/11?
10/11
Let o be 366/56 - 2/7. Let q = 461.9 - 462. Is q at most o?
True
Let t = 6.67 - 6.8. Let p = t + 3.13. Which is smaller: p or 1.9?
1.9
Suppose -3*s + p - 269 = 0, 5*p = 8*p + 3. Which is greater: s or -89?
-89
Suppose 7*z - 5 = 2. Let t = 12 - z. Is t equal to 12?
False
Suppose -2*k + 2 = 4. Let p(b) = b**2 + 11*b + 24. Let x be p(-7). Let g(q) = -3*q**2 - 12*q - 2. Let y be g(x). Which is greater: y or k?
k
Let c be 68 + (4 - 2)*-1. Let b be (-382)/(-5) - (-4 + c/15). Do b and 76 have the same value?
True
Suppose -6*n - 2099 - 85 = 0. Let l be 4/14 - (-62)/n. Let h = l - 29/702. Are h and -1 unequal?
True
Let y be (6/(-8))/((-9)/(-216)). Let v = -6 + y. Is -23 less than or equal to v?
False
Let r = 283 - 283. Is r at most as big as 3/59?
True
Let d = -156 - -77. Let x = d - -78.9. Is x equal to 8?
False
Let v(m) = -10*m + 30. Let s be v(4). Let t(n) = -n - 3*n - 6 + 5 - 6 - n**2. Let o be t(-5). Which is bigger: s or o?
s
Let r be 51 - ((-12)/4 - -3)*-1. Is 49 > r?
False
Let v be (-37)/18 + (0 - -2). Let y = -39 + 42. Let l be ((-6)/108*-6)/(1/y). Does v = l?
False
Let i = -44 + 20. Let m be (-10)/8 + i/96. Which is smaller: m or -3?
-3
Let p be (-70)/(-6) - (-10)/30. Suppose -p + 4 = -u. Let m = u - 8. Which is smaller: 1/5 or m?
m
Let x(j) = -j**2 - 8*j + 1. Let p be x(-8). Suppose -2*g + p = 5. Which is bigger: -2/3 or g?
-2/3
Let y = 0.036 - 0.376. Let q = y - -26.34. Are -1/4 and q equal?
False
Let z be (186/15)/((160/75)/2). Is 12 > z?
True
Let a = 1979/36 + -121451/468. Let b = a + 205. Let m = 11/52 - b. Is 1 not equal to m?
True
Suppose -877*m = -891*m - 28. Is m less than -40/69?
True
Let i be 12*11/660 + (-1)/5. Is -1/282 >= i?
False
Let b be (22/33)/((-4)/(-6)). Does -4/75 = b?
False
Suppose -8*t = 95 + 1. Is -12 at least t?
True
Let v(j) = -j**3 + 5*j**2 - 5*j + 3. Let t be v(4). Let o(w) = w**3 - 4*w**2 + 5*w. Let f be o(2). Is f smaller than t?
False
Let t be (2 - -2)*((-18)/(-4404))/3. Does 1 = t?
False
Let k(b) = -2*b - 11. Let r be k(-12). Let l = r + 7. Does l = 19?
False
Suppose 3*s - 28 - 41 = 0. Let r be (-1)/(-4) + 855/36. Which is greater: r or s?
r
Suppose 2*l = 5*q - 187, 0 = q - 6*l + 2*l - 41. Suppose 17*g - 44 = 16*g. Let 