a
Suppose -5*i + 104 = -i. Suppose -41 = -3*g + 4*j + j, -22 = -2*g - 2*j. Let d be 3/(0 - g/(-104)). Is i less than d?
False
Suppose 15*p = 735 + 135. Let t = p + 33. Is t at least -1/4?
True
Let s be ((-1068)/16)/(-6*45/80). Let w = 217/9 - s. Which is smaller: 5 or w?
w
Let k be (-4)/30*-3 + (-144948)/(-357). Let m = k + -2032/5. Is 0 >= m?
False
Suppose -11*d = 13*d + 18*d - 13*d. Are d and 1/1149 nonequal?
True
Let u = -2951 - -138709/47. Let l = -384.1 - -384. Is u != l?
True
Suppose -22 = -3*r + 2*r + 5*n, -2*n = 2*r + 4. Let b be r*(2/8 - (-12)/(-16)). Suppose -10*d - 15 + 5 = 0. Does b = d?
True
Suppose -a = 2, 3*p + 12 = -4*a - 8. Let h be (-1)/((-1)/2) - 948/(-8). Let v = -125 + h. Is v less than or equal to p?
True
Let c(u) = 2*u - 1. Let g be c(2). Suppose g*n = 14 - 2. Suppose f - 9 = l, n*l = f - 0*f - 21. Is f bigger than 5?
False
Let k = 6660 - 6665. Which is greater: k or 933?
933
Let o be 32/(-2)*1179/144*-4. Let s = o + -519. Which is smaller: s or 1?
1
Let a be 1*(-35 - (0 + 3)). Let j = a + 151/4. Is 6 >= j?
True
Let n = -1174.987 + 1174. Let y = n + -0.013. Is 115 bigger than y?
True
Suppose -96*f + 28 = -95*f. Let j be -111 - ((-2)/(-6) - f/12). Which is smaller: -110 or j?
-110
Suppose 2 = 4*i + 14. Let j be (-24)/(-18)*i/(-26). Which is greater: j or 7?
7
Suppose -4 = 3*b + j + 4, -2*b + 2 = -3*j. Suppose -t = 3*d - 983, t = -2*d + 207 + 771. Let v = 963 - t. Is v less than b?
True
Let q = -29693 - -19351. Is q > -10343?
True
Suppose 7*i - 1643 + 1636 = 0. Is 2/1483 equal to i?
False
Let s be (1 - 4)/(-5 + 66/12 - 2). Is 76/83 greater than s?
False
Let d = 24446 - 24833. Are -404 and d unequal?
True
Let z be -5 - ((-267030)/189 - (12 - 3)). Which is greater: 1417 or z?
1417
Suppose -2*t - 9 = -3*t. Suppose -t = -3*a, 0*b - 3*b = 4*a + 6. Let i be (-142)/234 + (b/(-27) - 0). Which is smaller: -1 or i?
-1
Suppose -4*x - 4 = 2*t, 4 + 4 = 5*t + x. Suppose -4*j + 4*s - 6 = t, j - 14 = -3*s. Is j greater than or equal to 1?
True
Let w = -4.1 + 8.48. Let t = w + -4.88. Which is bigger: t or -2/17?
-2/17
Let z = -2617 + 2617.006. Which is bigger: 2/55 or z?
2/55
Let l = 17 - 8. Suppose -4*d + s = 16, d = 2*s - 2 - l. Let p be d/2 + (-440)/16. Is -29 equal to p?
True
Let d(t) = 7*t + 137. Suppose -5*l + 228 = -17*l. Let s be d(l). Which is bigger: s or 26/7?
s
Suppose -20 = 4*r + 3*o + 3, -5*r - 28 = 4*o. Let h(q) = -6*q - 10. Let z be h(r). Let a be -1*50*(-3 + z/10). Do -40 and a have the same value?
True
Let n = 1 - 7. Let u = 6.09 + n. Let l = 169032 + -169028. Which is smaller: u or l?
u
Let k(w) = w**2 + 19*w - 23. Suppose 1 - 19 = -9*d. Suppose -3*j + 7*o = 9*o + 44, -d*o + 46 = -2*j. Let m be k(j). Is m <= -42?
False
Suppose -21*q + 244 = -1921 - 7810. Is 472 greater than or equal to q?
False
Let m be 22/110 - -2*413086/415. Let x = -1991 + m. Suppose -2*j + 0*j = 4. Is j != x?
True
Let n be (-132)/(-10)*(-4 - 1). Let x(j) = -j**3 - 4*j**2 + 4*j + 12. Let i be x(-5). Suppose i*f - 1650 = 42*f. Is n less than f?
False
Suppose 59*c - 288205 = 79660. Is 6235 <= c?
True
Suppose -m - t = -2, -6*m + 9*m = 22*t - 69. Which is greater: m or 6/2057?
6/2057
Let j = 538 + -528. Do j and 0.187 have different values?
True
Let z = 918 - 89048/97. Let l be (180/(-42))/5*(-312)/873. Let t = l + z. Is t < 0?
False
Let g = 662338 + -47446582628/71635. Which is bigger: g or 0?
g
Let o(y) = y**3 - 19*y**2 - 20*y + 2. Let g be o(20). Let c be 3/(-1 - g)*(6 - 6). Which is bigger: 1 or c?
1
Let k = 6.012 - 6. Let u = 121 - 119.988. Let x = u - k. Is -4 > x?
False
Let g(l) = l**2 + 8*l + 10. Let t be g(-12). Suppose -4*h + 2*j = -t, -2*j + 4 = -5*h + 74. Let a be ((-1)/18)/((-6)/h). Which is smaller: 1 or a?
a
Let l = 220688 + -134619553/610. Let f = 1/122 - l. Suppose -3*x + 4 = x. Which is smaller: x or f?
f
Suppose 0 = 8*i + 47 - 87. Is 35 greater than or equal to i?
True
Suppose -4*v + 5*t - 609 = 0, v + t = -2*v - 471. Let n be 2 - 3 - (-15)/(-12)*124. Are n and v unequal?
False
Suppose -17*f - 6581 = -1940. Which is greater: -272 or f?
-272
Let r = -1181 + 2149. Which is smaller: r or 972?
r
Let r = -19 - -18. Let i = 60 - 181/3. Let w = i - -2/3. Is r <= w?
True
Suppose -425 - 675 = -29*u + 147. Does 26 = u?
False
Suppose 22*z - 5*z = 0. Suppose 3*o - 5*x + 53 = z, 4 = x - 0*x. Which is smaller: o or -10?
o
Suppose 0 = -3*f - x - 54 + 64, 4 = -2*f + 2*x. Suppose -2*t - 2*s - 6 = 0, 4*t - 5*s = t + 15. Suppose 2*r + r = t. Are r and f nonequal?
True
Let r = 20388 + -19931. Which is smaller: 467 or r?
r
Let m = -7790 + 1036115/133. Let k = -1/19 + m. Which is smaller: k or -0.81?
-0.81
Let v = 115 + -244. Let m = v + 143. Is 6 > m?
False
Let i be (-1*(-21)/(-93))/(3/(-1914)). Let j = 144 - i. Suppose 3*p - 9 + 3 = 3*t, 5*t + 17 = -2*p. Is j smaller than p?
False
Let x(y) = 2*y + 63. Let n be x(-41). Let v(f) = f**3 + 17*f**2 - 40*f - 32. Let a be v(n). Which is bigger: 77 or a?
77
Let l = 3078 - 3078.2. Which is bigger: l or 0.0982?
0.0982
Suppose -18 = -4*a + 2. Suppose -5*d + 13*d = -a*d. Which is smaller: 2/55 or d?
d
Suppose -2*a - 7 = -h, a - 2*a = -3*h + 31. Suppose 2*x = -0*o + 5*o + 27, -x = -5*o - h. Is x equal to 16?
True
Let w = -562 - -562. Let g = 21 + -15. Let j(i) = i**3 - 5*i**2 - 6*i + 3. Let s be j(g). Are w and s unequal?
True
Let n = -40 + 65. Suppose -3*v - 35 = n. Suppose -3*a = 2*z - 4*z - 27, 0 = -2*z - 4*a - 48. Which is greater: v or z?
z
Let j = -8148.0632 + 8148. Which is smaller: 1/3 or j?
j
Let a = 6422 - 3475. Are a and 2946 unequal?
True
Let p be (-282)/(-10) - (-40)/50. Let x = 28 - p. Let y be 1/2*-8*11/(-44). Which is greater: x or y?
y
Let v = 0 + 1. Let q = 2/2033 + -6127/28462. Which is smaller: v or q?
q
Let o be (-6 - -1) + 18 + (-20)/2. Suppose -3*q - q - 22 = -2*w, 0 = -3*w + o. Is -29/5 less than q?
True
Let r(c) = 279*c - 1136. Let z be r(9). Are z and 1374 equal?
False
Let t = 24.43 + -24.33. Let k = -58 - -57.836. Is k equal to t?
False
Let a = -5545/133 + 283/7. Let k = 98763 + -98763. Is a <= k?
True
Suppose m + 9*m + 300 = 0. Let l be (-10)/m*3/(-4)*1838. Let v = 484 + l. Is v at least 25?
False
Let j be ((-8)/166)/(6 + -4). Suppose 3 = l - 5*o, -2 = -l + 2*o + 1. Suppose -l*q + 7 = -5*b, b - 13 = 3*q - 6*q. Is b equal to j?
False
Let r = 2.3092 - 3.1562. Is r <= 4/19?
True
Let s = 16563 - 36012. Are -19450 and s unequal?
True
Let j be (3/1 + -664)/((-120)/(-5) + -23). Are j and -11 non-equal?
True
Let b = 1206 + -1207. Do b and -5/2737 have different values?
True
Let h(q) = -q**3 + 3*q**2 + 6*q - 3. Suppose 8 + 7 = 5*k, 0 = m - 5*k + 11. Let r be h(m). Suppose -y + 19 = r*l, 0 = -l - y + 4*y + 7. Which is bigger: l or 6?
6
Let h = 78 + -70. Let i(d) = -11*d**2 + 1 - h*d**2 - d + 18*d**2. Let t be i(-1). Is t > 1/19?
True
Let y be 101647/11662 + (1 - -6). Let i = -3/1666 + y. Which is smaller: i or 16?
i
Let x = -13127 - -12718. Which is greater: x or -20?
-20
Let h = 9.652 - -2.348. Which is bigger: h or -48?
h
Let s = 1490.821 + -1491.821. Let g be 0 + (-153)/(-5) + 2. Let c = g + -2169/65. Which is bigger: c or s?
c
Let z = -11313 + 11313. Is z > 60/283?
False
Let u(s) = 3*s + 9. Let k = 69 - 43. Suppose 4*n = -6 - k. Let d be u(n). Which is smaller: d or -16?
-16
Let j = 1.7353 + -19.4583. Is j smaller than 1?
True
Let s = 378/23 + -4204/253. Which is bigger: s or -0.255?
s
Let a = -45 + -18. Let c be (-48)/18*a/6. Suppose 0 = -4*o + 3*d + 89, 2*o + 0*o - 32 = 4*d. Which is smaller: c or o?
o
Suppose -g + 60 = 4*t + 14, 3*g = 5*t + 53. Suppose 0*r + 137 = 3*r + f, -2*r + f + 93 = 0. Suppose 5*k = -2*v + r, -2*k - 3*v + g = -6*v. Is k less than 11?
True
Let m = 86.86 - 86. Let v = -0.8 + m. Let f = -23.2 - -23. Is f less than v?
True
Let m = 4.659 - 4.659. Is 10/481 smaller than m?
False
Suppose 0 = -i + 2*d + 5, -2*d = -3*i + 15. Suppose -2*w = 2*r + 5 - 33, 3*w + i*r - 42 = 0. Let p = 12 - 12. Is w smaller than p?
False
Let j = 70 + -65. Suppose j*p + 240 = -515. Is p greater than -150?
False
Let v be (144/(-112))/((-78)/28). Suppose -5*h = a - 15, 5*h = -5*a - 0*h + 35. Let n(k) = k - 4. Let z be n(a). Is v smaller than z?
True
Let z = -0.4 + 0.8. Let y = 181 + 124. Let x = 312 - y. Is x != z?
True
Let j(z) be the first derivative of 2*z**3/3 + 9*z**2 + 18*z + 10. Let n be j(-7)