+ 6 - 1 = 0, -41 = y*b + 4*x. Are -3 and b non-equal?
True
Let d = -14348 - -14347.96. Is d equal to 234?
False
Let o be (-3)/((-441)/42) + (-34)/126. Suppose 0 = 2*s + 4*v - 22, -20 = -v - 3*v. Is o less than s?
True
Suppose -y + 3*j - 5 = 0, -88*j = -4*y - 84*j + 4. Suppose 40 = 4*f - y*m, -5 = -5*m + 10. Which is smaller: f or 17?
f
Suppose h = -5, 2*i + 13*h = 15*h - 1082. Suppose 0 = 2*r + 1078 + 14. Is i not equal to r?
False
Let v = -52 + 87. Let y = 39 - v. Let i be ((-6)/60)/(y/10). Which is smaller: 7 or i?
i
Suppose -16 = -4*r - 2*n, 0*n = r - 4*n - 4. Suppose 0 = -9*o + r*o - 390. Is o less than or equal to -78?
True
Suppose -5*x + 0*q + 2*q = 30, -2*x - 4*q + 12 = 0. Let y be ((-114)/(-28) + x)/(5/(-20)). Is 25/2 equal to y?
False
Suppose -2*m + 2*g + 251 = -3*g, 0 = -5*m + 5*g + 590. Let r = -227/2 + m. Suppose 0*n + 2*l = 2*n - 6, -5*l = 5*n + 15. Which is smaller: r or n?
r
Let z(h) = h**2 - 23*h - 24. Let f be z(-12). Let l be 13974/f + 24/44. Which is smaller: 36 or l?
l
Let l be (48/(-40) - 84/(-120)) + (-17)/(-2). Which is smaller: l or 119/15?
119/15
Suppose -211*o = 159*o + 1110. Let c be 48/(-27) + (-4)/18. Let f be (-42)/(-10)*c/3. Which is smaller: f or o?
o
Suppose 10*s + 2628 = 6808. Suppose -4*u - c = -s, 0 + 4 = 2*c. Which is smaller: 106 or u?
u
Let n = 0.169 + 0.331. Is n less than 99?
True
Let m = -3/17507 + -55899839/70028. Is m equal to -797?
False
Let g be 55704/(-176)*(-16)/12. Is 414 smaller than g?
True
Suppose 5*k = -5*z + 485, 0 = -4*z - k + 3*k + 364. Let t = 33 - z. Let r be t - (1 - (-3)/1). Are r and -64 unequal?
False
Let i = -0.137 + -60.863. Let k = 646 + -586. Let t = k + i. Is 2/21 less than or equal to t?
False
Let j = -67 + 127. Let i be ((-1)/51)/(j/(-36)). Let x be (0 - -1)/((-5)/5). Is x greater than i?
False
Let q(m) = m**3 - 27*m**2 + 49*m + 40. Let x be q(25). Let f = 96.7 - 96.8. Which is greater: f or x?
x
Suppose -6*y + 2*y = 8, 5*g - 3*y = 16. Let w = 46 + g. Let s = w - 50. Is -9/4 < s?
True
Let p = 23280 + -23291. Is p less than -316?
False
Let q(w) = -w**3 + 18*w**2 - 97*w + 106. Let c be q(17). Is c less than or equal to -1250?
True
Let v(w) = -w**3 - 5*w**2 + 6*w + 22. Let p be v(-2). Let n be 217/465*(p + -4). Is -1 equal to n?
False
Suppose -g + 5*l - 13 = 0, -7*g - 9 = -2*g + 3*l. Let t(i) = -18*i + 43. Let z be t(g). Is 97 greater than or equal to z?
True
Suppose -20 = -4*b, 2*b - 13 = -a + 15. Let c(z) = z**3 - 18*z**2 + 17*z - 35. Let x be c(17). Let k be x/14*a/5. Is k < -10?
False
Let n be (4/9)/((-42)/(-189)). Suppose 2*j + 277 = b, -n*j - 102 - 177 = -3*b. Is j equal to -137?
False
Let g = -2.01 + 0.21. Let r = -792 + 1057. Let o be r/(-180) + 1 + (-13)/(-52). Is g greater than or equal to o?
False
Let s be ((-6)/(-3316))/(210/20 - (7 + 2)). Are 1 and s nonequal?
True
Let o = -54995 - -604401/11. Suppose 240*r - 9585 - 2665 = -5*r. Let h = o + r. Which is smaller: h or 1?
h
Let d = -69 - -65. Let f(x) = -2*x**2 - 6*x + 9. Let s be f(d). Which is greater: 19 or s?
19
Let w be ((-689)/(-26) - 7)/(1002/(-8)). Which is smaller: w or 1?
w
Let o = -0.012 - -48.012. Let t = 47.49 - o. Let y = -3.49 + t. Which is greater: y or 7?
7
Let v(d) = -d**3 - 4*d**2 - 2*d + 6. Let s be v(-3). Suppose -g - 24 = -s*i, 0 = -3*g - 4*i - 20 - 39. Which is greater: -20 or g?
-20
Suppose -5*l = -2*f - 17, 4*f - 1 = -2*l + 1. Let r = -274/13 - -61076/2899. Which is smaller: r or f?
f
Let l(i) = -i + 28. Let w(p) = p - 29. Let b(a) = -3*l(a) - 4*w(a). Let u be b(9). Suppose -4*s - r = 3, -2*s - 5*r - u + 8 = 0. Which is greater: 0.2 or s?
0.2
Let o = -78 + 362. Let z = o - 193. Which is smaller: 88 or z?
88
Let u = -3987 + 4414. Which is smaller: 429 or u?
u
Let g be ((-34)/1581)/(1 + -4). Which is smaller: g or 16?
g
Let i = -65.955 - 0.045. Let q = i + 63. Is q smaller than 22?
True
Let q = 1.46 - 75.46. Let n = q - -97.9. Let m = 24 - n. Which is smaller: -0.34 or m?
-0.34
Let u(c) = -c**3 - 8*c**2 + 5. Let w be u(-8). Let t = -387 - -390. Which is greater: w or t?
w
Let x = 0.348 - 1.348. Is x >= 1.18?
False
Suppose -2*w + 4 = 5*f, -2*f - 4 = 2*w - 2. Suppose f*g + 3*i = -g - 12, -g - 3*i + 6 = 0. Let q be (2/g)/(2 + (-61)/30). Which is smaller: q or 7?
q
Let a = 31.46 - 31.2. Let o = a + -0.06. Is 1 smaller than o?
False
Let z = -73 + 91. Suppose 20*j = z*j. Suppose -7*y + 6*y + p + 9 = j, y = 4*p + 9. Which is bigger: y or 6?
y
Let x = -466.6 - -416. Let l = x - -51.5. Which is smaller: l or 0.2?
0.2
Let j(o) = o - 69. Let y(w) = -w + 3. Let x(l) = j(l) - 4*y(l). Let d be x(16). Let v = -6 - -1. Is v equal to d?
False
Let n = -410296/23 - -17839. Let r(t) = t**2 - 6*t + 2. Let j be r(6). Suppose 0 = -l - j + 3. Which is smaller: l or n?
n
Let y(q) = 7 + 4*q - 55 - 17. Let i be y(16). Let k be (-2)/(-3) - (-34)/(-6). Which is bigger: k or i?
i
Let a be ((-28)/(-3))/((-824)/(-10506)). Is 13 at least a?
False
Let d be 21/(-894)*(-2736)/27531. Is d equal to -1?
False
Let j be 6/(-14)*(1 - 15). Suppose 0 = -5*b - 2*v - 8 + 89, -b = -3*v - j. Is 22 <= b?
False
Let c = -30.6 - -30. Let w = -0.8 - c. Let j = -69/7 - -9. Which is bigger: w or j?
w
Let b = -16523 - -16909. Is b >= 383?
True
Suppose 1585*i + 212 = 1797*i. Let h be (197/100 - 2) + 0. Which is smaller: i or h?
h
Let n = -5785 + 5875. Is n < 90?
False
Suppose 0 = -a - 124*p + 119*p + 148, 3*p + 707 = 4*a. Let d = -17 - -191. Is a < d?
True
Let u be 10/1 - (4 + 2). Let l = -184/7 + 31. Which is greater: l or u?
l
Suppose 33*f = 22*f + 66. Suppose -k = -25 + 7. Let r = 19 - k. Which is greater: r or f?
f
Let n = -840 - -2987. Is 2147 at least n?
True
Let i = -1165 - -590. Let m = i - -556. Is -0.8 not equal to m?
True
Let h be -1 + (-1838240)/160 + (-11)/1. Which is greater: -11499 or h?
-11499
Let t be (3696/385 - 4/(-10))*(-432)/(-15). Is t bigger than 280?
True
Suppose -3*s = -5*o + 357, s - 408 + 47 = -5*o. Let f(b) = -59*b - 166. Let g be f(-4). Which is greater: g or o?
o
Let m be 9/(-42) - (-4)/(-14). Is m equal to 113/4?
False
Let y be (5 - 8)*((-148)/6 + -1). Suppose 0 = -q + y - 60. Suppose 2*i + i = g - 27, 0 = 5*g - i - 93. Does q = g?
False
Let t = -4935 - -4936. Which is bigger: -1/662 or t?
t
Let x(a) = -a**2 + 88*a - 1548. Let g be x(64). Is 23/3 equal to g?
False
Let j(d) be the first derivative of d**4/4 + 5*d**3/3 - d**2 - 11*d + 826. Suppose -18 = 4*r + 3*m + 5, 5*m = -5. Let l be j(r). Is l < -13/12?
False
Suppose -136 = -10*s + 6*s + l, 2*l - 25 = -s. Suppose 3*f + i = -i + 57, -s = -f + 4*i. Is 19 at least f?
False
Let i be -1*63301983/(-135)*1533/679. Let b = i - 1058659. Let p = -2/291 - b. Is 1/5 greater than p?
False
Let a be (-3)/(-10) + (-42617)/(-1710) + 5. Is a <= 31?
True
Suppose -10*s - 60 = 30. Suppose -60 = 25*r - 20*r. Is s smaller than r?
False
Suppose -5*l = -2*y + y - 43, -5*y + 9 = 3*l. Suppose -12 = -5*q + 2*n + n, -3*q + 3*n = -6. Suppose c + q*c = 28. Which is bigger: c or l?
l
Suppose -17*b - 920 + 209 = 2349. Which is bigger: b or -177?
-177
Let c = -88323/7 - -12653. Is c equal to 34?
False
Let a = -965/234 - -16/9. Which is smaller: -3 or a?
-3
Let f(l) = l**3 + l - 7. Let u be f(5). Let i = 85792 - 85669. Are u and i nonequal?
False
Let y = 9609.903 + -9632. Let j = -3921 + 3921.097. Let u = y + j. Which is smaller: -2 or u?
u
Let f = -1742 + 1717. Which is smaller: f or 31?
f
Let k = -28738 - -28784. Let y = -1283/12 - -455/3. Which is smaller: y or k?
y
Suppose 4 - 16 = 3*m, 5*m - 715 = -5*c. Let f = -66 + c. Do f and 81 have the same value?
True
Let n(v) = 124 + 59 - 11*v + 16*v. Let b be n(-42). Are b and -29 nonequal?
True
Let f be (-120)/(-84) - 21628/28. Which is smaller: -773 or f?
-773
Let h = -175385 - -175387. Let g be (-22)/(-15) - 0/1. Which is greater: g or h?
h
Let x = -1030159905/6509 - -158267. Is x at least 1?
False
Let j be ((796/(-16))/1)/(39/(-468)). Which is smaller: j or 599?
j
Suppose -5*w - 245 - 60 = 3*q, -5*q - 3*w = 503. Let h be 0 - 4*2/q. Is h at least -1?
True
Let b = -17.29 - -0.29. Let v = -16.856 + -0.244. Let z = v - b. Is -6/11 less than or equal to z?
True
Let p(j) = -j**2 - 127*j - 3219. Let m be p(-92). Is -2/5189 at most as big as m?
True
Let x = -66625 + 4330743/65. Which is smaller: 1 or x?
1
Suppose -7*g - 2 = -9. Suppose -g - 4 = -5*d. Let f 