- -2. Let k = 11914/64759 + 20/2089. Is k at least x?
True
Suppose 54*z + 56*z = -220. Is z <= -13/17?
True
Let s(h) be the first derivative of h**4/2 + h**3 - 6*h**2 - 11*h + 155. Let g be s(-3). Let t = 0.1 - -2.4. Which is bigger: t or g?
t
Suppose 16 = 25*j - 21*j. Suppose -j = 4*m + 3*v - 6*v, 2*v = 4*m + 4. Does 6/67 = m?
False
Let c be 3 - (-3 + 3) - 54. Let w be (c/(-9))/((-6)/(-126)). Suppose 0 = r + 6*r - w. Which is smaller: 16 or r?
16
Let l be (-1808)/(-6)*2/8. Let j = l + -30064/399. Is 0 != j?
True
Suppose 3*y + 4*m + 2 = 0, 0 = 5*y - y - m - 10. Let j be -8*(3/y + 0). Let i = 3477 + -3488. Which is smaller: j or i?
j
Let a = 125.66 - 125.37. Is -18.5 equal to a?
False
Suppose -2*r + 3*r + h + 997 = 0, -2*r = -h + 1973. Is -990 greater than or equal to r?
True
Suppose -2*z - 16588 = 4*i, 1276*i - 1280*i - 16546 = -5*z. Is i at least -4141?
False
Let w = 1028710/97 + -17651867521/1664520. Let g = w + 55/312. Let i = g - 3/55. Is 0.5 at least i?
False
Let t = 139 - 97. Let p = 0.201 + -42.401. Let v = t + p. Is -1/7 less than v?
False
Let f(h) = 273*h + 274. Let b be f(-7). Is 0.3 > b?
True
Suppose -92316 = -5*l - 3*n, 68*l - 5*n = 73*l - 92310. Which is smaller: l or 18466?
l
Let g = -16455/2 + 8426. Let x = g - 779/4. Which is greater: x or -0.1?
x
Suppose 0 = -q - 9 + 20. Suppose 636 = -q*p + 174. Does p = -42?
True
Let q = -0.0603 + 40.9603. Let c = q - 41. Which is bigger: 7/6 or c?
7/6
Let v = -26620 - -35096. Which is greater: v or 8474?
v
Suppose 0 = 131*v - 122*v. Which is greater: v or 1/5947?
1/5947
Suppose 610 = 46*o - 44*o. Which is smaller: o or 301?
301
Let s(v) = 37*v**3 + v**2 - v - 1. Let w be 3*2*(-1)/6. Let u be s(w). Let p be ((-550)/(-154))/(-25) + -11*4/(-112). Which is smaller: p or u?
u
Let i(m) = -m**2 - 11*m + 6. Suppose 14 = 10*y - 16. Let g be ((-5)/y)/((-5)/(-30)). Let l be i(g). Is l at most as big as 14?
False
Let l be (7 - 1 - 7/(-21))*(-3)/105. Which is smaller: 1 or l?
l
Let v = -8 + 6. Let g be 38/5 - v/5. Let a be (4/g)/((-14)/(-3)). Does a = 1?
False
Let f(p) = -p**3 + 13*p**2 - 15*p + 11. Let t be f(12). Let a be 25 + t - 4/(-1*1). Suppose 3 = 3*k + a*b - 2*b, -k + 2*b = -9. Is k less than or equal to 11?
True
Suppose -2*m - 2 = -3*m. Let q be (-5)/(-2)*-2*4/(-10). Let z be (12/(-390))/(q/(-60)). Is z > m?
False
Suppose -c = 3*c - 396. Suppose -13*v = -5*b - 9*v + 507, -4*v = 5*b - 483. Is c not equal to b?
False
Let y be ((-3)/9)/(((-6)/6)/(-39)). Let d(p) be the first derivative of p**4/4 + 2*p**3/3 + p**2 + 2*p + 17. Let m be d(-3). Is m greater than y?
False
Let k = -387.12 + 387. Which is bigger: 668 or k?
668
Let r(p) = 4*p**2 - 2*p + 1. Let j be r(1). Suppose -4*g = 5*t + 920, -420 = j*t + 4*g + 140. Is t < -180?
False
Let f be (-147)/294 + 9717/6. Are 0 and f equal?
False
Suppose -252 - 430 = 11*s. Let o be 2*(2 + (-185)/10). Let j = -96 - o. Which is greater: s or j?
s
Let p(j) = 2*j**2 + 3*j - 3. Suppose 2*n - 6 = 4*q, 5*n - 1 - 2 = 4*q. Let c be p(q). Is -2/71 < c?
False
Let j(c) be the first derivative of 3*c**2 - 6*c - 6. Let q be j(-4). Suppose 59 = 5*u - 3*g + 198, 5*u = -3*g - 151. Which is smaller: q or u?
q
Let o = 20 - -37. Let t = 66 - o. Let g be (15/t)/((-3)/(-9)). Which is bigger: 6 or g?
6
Suppose 0 = -5*j - 5. Let o(b) = -13*b - 1. Let w be o(j). Let g be 11/(-9) + w/54. Is -12/13 greater than g?
True
Suppose -5*b = 5*d + 355, -4*b - 69 - 291 = 5*d. Suppose -820*a + 310 = -825*a - 75. Is a > d?
False
Suppose -2*m - 22 = -51*p + 53*p, 5*p = 5*m - 65. Are 35 and p nonequal?
True
Let h = -769.76 + 757. Let a = h + 2.76. Which is smaller: a or -17?
-17
Let d(x) = -2*x**3 + 30*x**2 + 4*x - 14. Let i be d(15). Let h = i - 5. Let j = h + -121/3. Are 0.3 and j non-equal?
True
Let c(t) = -t**2 + 65*t - 1049. Let w be c(37). Which is greater: -1.69 or w?
-1.69
Let h = -959/1958 - 10/979. Is -3985 bigger than h?
False
Let j = -7590 - -7972. Is -4 at least j?
False
Suppose -2*l + 0*y - 14 = 2*y, 2*y = l + 19. Suppose 3*t - 2*t - 31 = -3*a, 4*t - 28 = -4*a. Suppose -2*r + a*v = 10*v + 22, 0 = -2*r - v - 10. Is r equal to l?
False
Let c = 15 + -2. Let p = -29 - c. Let g be p/(-2282)*2/3. Which is bigger: g or 0?
g
Suppose 4*h + 3485 = 2*u - 549, -2*u + h = -4046. Which is bigger: u or 2024?
u
Let k = -65 + 133/2. Let l be (11/(-65) + (-300)/1300)/(-2). Is l at most as big as k?
True
Let r be 33/48 - (-22)/(-176)*3. Let m = 3.5 + -4. Let s = -0.4 - m. Is r bigger than s?
True
Suppose -x - 2*d = 91, -4*d - d + 470 = -5*x. Let b = 390597 - 390692. Which is smaller: x or b?
b
Let g be -1*(0 + -5 - -34). Let c be (-7)/g*30/(-175). Which is smaller: -1 or c?
-1
Let k = 1414 - 1408. Let v be (-2)/12*(-236)/6. Which is smaller: v or k?
k
Let l = -0.296 + 0.123. Let u = l - 0.827. Which is smaller: u or -28?
-28
Let l = 1491 - 753. Suppose 5*h = -l + 248. Is h smaller than -97?
True
Let z = -12.3776 + 0.3776. Are z and 14/5 non-equal?
True
Let g be -505 + 17/((-85)/20). Let i = 509 + g. Is -2/9 less than i?
True
Let g = -591.7 - -454.5. Is g greater than 2?
False
Let y = 28/169 + 828/11323. Let f = y - 457/1072. Which is smaller: 1 or f?
f
Let i(d) = -18*d**3 + 2715*d**2 + 452*d + 317. Let o be i(151). Suppose -2*p = 3*w - 499, -669 = -4*w - 0*p + p. Which is smaller: o or w?
o
Let a be 4*(6/2 - 5499/36). Which is greater: -595 or a?
-595
Let i = 34.1 + -1.1. Let o = -36.03 + 2.83. Let n = i + o. Do n and 7 have different values?
True
Suppose 0 = t - 3*g - 72 + 17, 5*g - 254 = -4*t. Let i(b) = -13*b + 93. Let p be i(7). Suppose 0 = -3*f - 2*q + 188, -p*q = -6 - 2. Is t >= f?
True
Let t = -491 + 1132. Let l = t + -388. Which is smaller: l or 0.1?
0.1
Suppose 15 = 3*i + m, -i + 5 = -2*m - 0*m. Suppose -4*h + 20 = 0, i*b + 4*h + 1 = 6. Let a be (-1)/b*-2*(-3)/(-8). Do -0.04 and a have the same value?
False
Suppose -15*y + 14*y = 5*o - 110, 5*o + 3*y = 100. Is 37 greater than or equal to o?
True
Let a = 1099.6 - 1094.6. Is a less than 298?
True
Let v be (8*(-6)/36)/(6/9). Let n be -15*v/6 - 1. Is -7 at least n?
False
Suppose -65 = 38*x - 33*x. Let l(i) = -2*i**2 - 24*i + 26. Let r be l(x). Let j be (-1 + r)/(2 + -4 - -3). Is j less than -11/7?
False
Let m be (2 + 1)/(21/112). Let h be 10/8 + (-4)/m. Let o be -1 + 1964/2360 + 2/20. Is o less than h?
True
Let g be 6/16 - 58765/184. Let x = g + 322. Which is smaller: 2/223 or x?
2/223
Let m = -1.24 + -54.76. Let s = -58 - m. Which is greater: s or 21?
21
Suppose 2*g + 3*p = 208, 5*g - 3*p + 7*p = 520. Let i = 96 - g. Is i less than -5?
True
Let a = 508 - -1688. Are a and -0.1 unequal?
True
Suppose 2*g + 5*q = -14, -5*g + 1 = -2*g + 2*q. Suppose -g*s + 39 = 3*n - 9, 0 = 4*s - 5*n - 19. Let m = s - 16. Which is smaller: m or -3?
m
Let u be 2/5 - (-4 + (-260)/(-25)). Let r be ((-2)/(-6))/(9/u). Which is bigger: 2/371 or r?
2/371
Let w = 251.37 - 1.37. Let r = w - 249.85. Which is smaller: r or 1/7?
1/7
Let p = 643323925/5217 + -123313. Which is smaller: p or 0?
0
Let r = -50122 + 1553994/31. Do 7 and r have the same value?
False
Let c(p) = -p + 25. Let q be c(8). Suppose 0 = 5*m + 2 - q. Let f be 3*2/m + 26/(-12). Which is greater: -13 or f?
f
Suppose 45*c - 26*c + 195 = -299. Let o(n) = -2*n**2 + 5*n - 5. Let g be o(5). Which is smaller: g or c?
g
Let f = -16756 - -8670. Is f at most as big as -8086?
True
Let j be (-5 - 26/(-4))*(-244)/(-6). Suppose 0 = 4*d - 57 + j. Let x = 214 - 1928/9. Which is bigger: x or d?
x
Let c(l) = 5*l**3 - 13*l + 4. Let p = -67 + 70. Let s be c(p). Let j = s - 101. Which is smaller: j or -3/17?
j
Let m be (-379)/58 + ((-2)/(-1))/((-52)/(-39)). Is m greater than or equal to 0.2?
False
Let y = -54/5551 + 38241649/83265. Let k = y - 459. Let o be (1 - 1)/(3 + -1). Which is smaller: k or o?
o
Suppose 4*r - 5*w + 42 + 23 = 0, -4*r = -w + 77. Let g = r - -203/10. Suppose -2*m - 7 - 4 = -3*q, -3*m - 5*q = -12. Is m <= g?
True
Suppose -8*m + 2633 = -43*d + 38*d, -2*m = 3*d + 1539. Does d = -512?
False
Let a = 616 - 650. Let s be (231/11)/((-3)/a). Is 237 equal to s?
False
Suppose -4773 = 2*c - 3*j, -3*j - 9822 + 2655 = 3*c. Is -2382 at least as big as c?
True
Let s = 24068 - 24189. Is -117 less than s?
False
Suppose 5*z + i = 6*z - 66, -5*z + 332 = -3*i. Let t be (335/20)/((-2)/(-8)). Is z > t?
False
Let s = 4.6 + -4.38. Le