 -j + 5 = -k, 0 = 2*j + k + 1 + 1. Which is bigger: n or j?
j
Let w(u) = -27*u**2 + 2*u + 1. Let l = 60 + -52. Let g(n) = 4*n - 33. Let t be g(l). Let z be w(t). Are -28 and z equal?
True
Let d = 2353/5 + -39931/85. Let x = 0.023134 + -0.123134. Are d and x equal?
False
Let q = -36355 - -36408. Let y = -0.1 - 0.3. Which is greater: q or y?
q
Suppose -2*y + 7*y + 105 = 0. Let h be (3 - -1) + -3*30/12. Is y not equal to h?
True
Suppose 4*q + 1 = 2*d - 7, -2*d - 3*q = 6. Let p be -15 - -6 - (d - 2). Let v(w) = -w - 6. Let u be v(p). Which is smaller: u or -5/14?
-5/14
Let g = -0.689 - 0.511. Let w = 430 + -1277/3. Let r = -14/3 + w. Is g >= r?
False
Let k be 8/222*(-16 + 71112). Let z = k - 2562. Which is greater: z or -1?
z
Let v(q) = -9*q**3 + 5*q - 14. Let y be v(4). Let b be y/100*(-10)/12*172. Suppose -18*i = -b - 1325. Is 119 bigger than i?
False
Let w = -16 + 18. Let t be 2 + -9*w - 5. Let o be -4 + 6 + (1 - 25). Is t > o?
True
Let n = 678 - 684.19. Let d = n - -6.1. Do d and 0 have different values?
True
Let x(a) = -2*a**3 - 15*a**2 - 37*a - 6. Let c be x(-2). Are 52 and c non-equal?
True
Let q = 10096.392 - 10097. Are q and -1 nonequal?
True
Let i be ((-9)/(-2))/((-1)/(-130)). Let j be (-16060)/(-5) - (-5 + -3 + 7). Let o be 1/7 - i/j. Is 1 greater than or equal to o?
True
Let l(n) = n**3 + 9*n**2 + 5*n + 11. Let m be l(-8). Let h = m + -29. Suppose -h*o - o = -14. Is o < 9/4?
True
Let h be (-308)/(-7)*(2 + -1). Let p = 55 - -76. Suppose p = -4*g + 7*g + 2*y, 0 = g + 4*y - 47. Which is smaller: h or g?
g
Let a = 26 - 101. Let b = -83 - a. Is b greater than -3/7?
False
Suppose -51*k - 11022 + 11022 = 0. Which is bigger: 10/4911 or k?
10/4911
Let y = 23015 + -23076. Which is smaller: 13.9 or y?
y
Let t = 20071 + -18647. Is 1419 >= t?
False
Suppose -2*f + 208 = 2*y - 6*f, -2*f = 3*y - 344. Suppose -y = -33*l + 19*l. Which is smaller: l or 13?
l
Let l = -35569284/97 + 366690. Is l bigger than -5?
True
Let u be -4*124/(-56) + -9. Let r = 0.6 + -0.5. Let y = -0.2 + r. Which is greater: y or u?
y
Let n = 41 + -41.152. Let k = n + 62.152. Let m = k - 60. Which is smaller: m or 15?
m
Let k = -352.5 + 352.588. Which is bigger: k or 9?
9
Let j(r) = r**2 - 51*r + 1444. Let z be j(51). Which is greater: 1443 or z?
z
Let j = -5329 + 5329. Let k be (4 - 3)/((-484)/8). Is k greater than j?
False
Let n = 39 - 44. Let p be (-207)/(-222) - n/(-10). Let l = p + -565/1221. Is 1 at most l?
False
Let w = -0.187 + 0.2. Let q = -3200 - -3199.983. Let x = q - w. Is x smaller than -2/11?
False
Suppose -u = 4*u - 855. Suppose -27 = 6*s + u. Is -35 equal to s?
False
Suppose -n = -3*t + 48, 0 = 3*t + 5*n - 25 - 5. Is 0.039 less than or equal to t?
True
Suppose 7*v - 385 = -0*v. Let x = v + -51. Suppose -x*q - 181 = 2*u - 3*q, q = 4*u + 365. Which is bigger: 1 or u?
1
Let o(v) = v**3 + v**2 - 2*v - 18. Let l be o(0). Let d(w) = -3*w**2 + 6*w + 26. Let k be d(5). Which is bigger: l or k?
l
Let h = 18790 - 18484. Which is smaller: h or 7?
7
Let w = 7/319 + -4585/5423. Let o = -8/51 - w. Suppose q = -5*c + 27, 238*q = 235*q + 4*c - 14. Which is smaller: q or o?
o
Let i = 6988875/46 - 151915. Is i at most as big as 16?
False
Let j be 3 - (-2*4/8)/1. Let h be (-40)/25*10/j. Let t = h + 0. Is t less than -2?
True
Let l = 2831.014 + -2831. Which is greater: l or 38?
38
Suppose 0 = 4*s + 2*n - 158, s + 34 = 2*s - 5*n. Suppose -g = -s + 68. Let j(q) = -q**3 + 9*q**2 - 12*q + 4. Let o be j(8). Is o greater than or equal to g?
True
Let w = 85 - 63. Let q(l) = l**3 - 21*l**2 - 17*l + 27. Let v be q(w). Is v not equal to 137?
False
Let i be (10/(-15) - 2)*3276/169. Let n = -36 + -15. Which is smaller: n or i?
i
Suppose -5*o = -2*u + 1997, 4*u - 4030 = -2*o - 0*o. Let n = u + -51304/51. Are 0 and n unequal?
True
Suppose -2*j = 4*y - 128, -4*j = -5*y - 241 + 50. Let i = -8 + 62. Is i <= j?
True
Let l = 5.811 + -6.001. Let q = 6.01 - 6. Let s = q - 2.01. Is l <= s?
False
Suppose 5*s = -n + 203, 4*s - 679 = -5*n + 294. Suppose 3*d = -2*a + 110, 73 + n = 5*a + 3*d. Is a <= 54?
True
Suppose 6*o - 25 = 35. Suppose -o = 9*q - 1. Is q less than or equal to -5/23?
True
Let d(a) = -40*a**3 + a**2 + a + 1. Let n be d(-1). Suppose -6*g + 43 + n = 0. Suppose p - 3*p = g. Is p less than or equal to 0?
True
Let l = -2 + 1. Let r be 13 - -5 - 3288/184. Which is smaller: r or l?
l
Let b = 3870/391 - 206/23. Let p = -97/85 + b. Which is smaller: p or 4?
p
Suppose 2*g - 3*o - 3 = -2*o, 2*g + 12 = -2*o. Let z(p) = 3*p**3 - 4*p + 3. Let h be z(1). Let i be (-5)/10*h*3/(-207). Which is smaller: g or i?
g
Let b be 32/(-12)*(-3)/2. Suppose 4*u + b*m = 28, 4*m - 2*m = 4. Let t = u + -18. Is -10 less than or equal to t?
False
Let q = 626 - 318. Suppose 3*r + q = i + 3*i, r = -2*i + 164. Suppose 2*m = -0*m + i. Are 41 and m nonequal?
True
Let d be 90/450 + 489/5. Is 98 at least as big as d?
True
Suppose -3*d + 942*l - 82 = 938*l, d = -7*l - 19. Is -496/19 > d?
False
Let r = -3198.9 - -3200. Which is greater: 78 or r?
78
Let q = 0.53 + -0.6. Let w(i) = i**2 - 2*i - 1. Let s be 0 - (1/(1/(-6)) - -3). Let y be w(s). Is q greater than y?
False
Let p = 5 + 1. Let h(t) = t**2 - 7*t + 7. Let k be h(p). Let s = -0.1129 - 0.1771. Which is greater: k or s?
k
Let s = -84 + 30. Let u be 4/s*6/(-4). Suppose -63*n = -56*n - 7. Which is bigger: u or n?
n
Let v(x) = x**3 + 17*x**2 + 18*x + 20. Let z be v(-16). Let b be 1/(54/z - 1). Which is smaller: b or 2/5?
b
Let g be (-35)/5 + 3 + 0 + -1. Let y be g/(-2) - (-16554)/(-6612). Which is smaller: 0 or y?
y
Let f = 35 + -33. Let d(n) = 1 + 12 - 19 + f*n. Let y be d(3). Is 2/49 at least y?
True
Let g = -11.1 + 18.2. Let i = g + -6.7. Let d = 10.11 + -10. Which is greater: i or d?
i
Let m = -277771 - -277795. Let q = 7/4 + -3/2. Is m less than or equal to q?
False
Let m = -556/78839 + -29111408944/7016671. Let g = m + 4149. Which is smaller: 0 or g?
0
Suppose -4*c - 3 = -u + 57, 4*c + 68 = 3*u. Suppose -2*i + 2*m + m - 608 = 0, 3*m + 1198 = -4*i. Let b = i + 287. Is c >= b?
True
Let w = -3 + 131. Let f = 3.2547 + -3.1547. Do f and w have the same value?
False
Let n = -2833 + 4372. Which is smaller: 7701/5 or n?
n
Let v be 110/(-154) + 1602/(-3402). Is -2 != v?
True
Suppose -21 + 93 = 6*o. Suppose -6*v - 178 = -58. Let y be (3/o)/((-1)/(24/v)). Do y and 0 have the same value?
False
Let m = -0.07977 - -144.07977. Which is greater: m or -2/23?
m
Let o be (-12)/10 - -6*(-999)/(-4070). Which is bigger: 2.63 or o?
2.63
Let v(f) = f**2 - 9*f - 7. Let x be v(10). Let z be 1/x*(-10 + 0 + 1). Let b = -51/26 - -6/13. Is z > b?
False
Let q = 4.2259 - 4.423. Let f = q + -0.0029. Which is greater: f or -243?
f
Suppose 2*i = 20*j - 19*j - 26, -2*j + 2*i + 50 = 0. Suppose -29*f + j*f + 5 = 3*q, 2*q = -f + 1. Which is bigger: f or 6/17?
f
Let t be (-1 - 3)*(-52563)/84. Which is bigger: 2504 or t?
2504
Let s = 0.0124 - -0.1876. Which is greater: s or 466/21?
466/21
Let u(s) = 301*s + 554. Let j be u(0). Which is smaller: j or 561?
j
Suppose 51*c - 13498 = 85*c. Which is bigger: c or -400?
c
Let d be (-21)/(-126)*18 - ((-886)/24 - 0). Which is smaller: 0 or d?
0
Let n = 4262 - 4300. Is 4 != n?
True
Let a = -518 - -517. Let f be (-984)/336 + 5 + a + -1. Let s(g) = g**2 + g + 1. Let x be s(-1). Which is smaller: x or f?
f
Let s be (-872)/1584 - (-1113)/1431. Suppose 2 = -v + 6. Suppose v*a = -0*a. Is a >= s?
False
Suppose 131*i + 53 + 78 = 0. Is -1/202 smaller than i?
False
Let h = 0 - -1. Let t be 1 - (-1 + 0)*h. Let q be -7*((-620)/140 - -4). Which is greater: t or q?
q
Suppose 431*t = 424*t + 1869. Let b = -2298531/4982 + 342329/470. Let z = b - t. Which is bigger: 1 or z?
1
Let b = 19433 - 19437. Are 5788 and b non-equal?
True
Suppose -b - 3 = 4*z + 963, -1199 = 5*z - 3*b. Let d be 3 - 4 - (-1923)/(-8). Let j = d - z. Is -1 greater than or equal to j?
False
Let a be ((-2)/5 + (-72)/20)*1128/(-24). Does a = 22?
False
Let l = -1.89 + 1.24. Let j = 0.66 + l. Is j not equal to 15?
True
Suppose 5*v = -10*x + 5*x - 10, -2*v - 14 = 4*x. Suppose 4*s - 34 = -2*a, -5*s + s + 19 = -v*a. Let h be 16/(-28) + 39/s. Is 0 at most as big as h?
True
Suppose 414*j - 411*j = -5*g + 19, -2*g + 16 = -3*j. Is j at least 11.38?
False
Let t be 1/(-2)*(-3404)/(-8188). Which is smaller: t or 0?
t
Suppose -3*b + 5*h 