t?
True
Let d be 5/270*-6 + 192592/(-72). Which is bigger: d or -2673?
-2673
Suppose 2*y = -5*k - 2*y + 5, 0 = 3*k + y - 10. Suppose -3*m = k*v + 335, -75 = 4*v - 3*v - m. Let r be 208/v + (-3)/(-1). Which is bigger: r or 0?
r
Suppose 5*x + 145 - 150 = 0. Which is smaller: 2/18411 or x?
2/18411
Let g(d) = -1488*d + 3429. Let t be g(7). Which is smaller: t or -6988?
-6988
Let g = 18553/906 - -10/453. Which is greater: -0.3 or g?
g
Suppose 0 = -4*o + 708 + 2400. Suppose -3*c + 3*s = o, -c - 1307 = 4*c + s. Let q = c + 6526/25. Which is smaller: q or 0?
0
Suppose -d + 4 = -4*f + 6, -5*d - 3*f = 10. Let g be -2*(-15 - -18)/1. Let z be ((-25)/9*-3)/(d/g). Which is smaller: 21 or z?
21
Let c = 104 + -172. Let b = 69 + c. Is 1/184 at most b?
True
Suppose 0 = 4*f - f + 90. Let u = -113 - -155. Let g = u + f. Which is bigger: 2 or g?
g
Let t(o) = 6*o - 60. Let m be t(11). Suppose -5*l = z - 4*l + 6, 4*z - m = 2*l. Is -1/6 not equal to z?
True
Let y(p) = 8*p**3 - p**2 + p. Let o be y(1). Suppose -17063 = -2*v + 16*z - 21*z, -2*z + 2 = 0. Let s = v - 93747/11. Which is smaller: s or o?
s
Let r = 30659/8758 - 3/4379. Which is bigger: r or 135?
135
Let g be (10/8 - 1) + (-125)/210. Let k = g - -2/21. Which is smaller: -1 or k?
-1
Let i be (-21)/(-70)*5*20*1/6. Which is smaller: 192/37 or i?
i
Suppose -258*c - 100346 = -46*c + 50*c. Which is greater: c or 23?
23
Let l be (68/(-5))/(84/(-210)). Which is greater: 585/17 or l?
585/17
Let j = 62 - 61.98. Let b = -30 + 26.8. Let y = b - -3.5. Is j >= y?
False
Let c = -741 - 250. Is 0 bigger than c?
True
Let b be 7 + (-5 - -2) - 29065/7665. Let n = 13/146 - b. Which is greater: 1 or n?
1
Let j = -1777869/5980 + 2973/10. Are j and 0 non-equal?
True
Suppose 1611 = 26*k + 1455. Which is smaller: 20 or k?
k
Let j be 74 + 64/((-32)/4). Let p be j/9*7/((-14)/(-66)). Which is smaller: p or 241?
241
Let z = 359 - 357. Let y be z/7*(-15)/(-2535). Is y bigger than 0?
True
Suppose -68*c + 9873 = -3*m - 71*c, 5*m = -4*c - 16458. Do m and -3297 have the same value?
False
Suppose 0 = 25*t - 29*t + 3*d - 37, -3*t = d + 18. Is -1/91 <= t?
False
Let l be ((-321030)/51)/(-6) - 8/68. Which is greater: 1052 or l?
1052
Let b = 805/6 - -583/3. Is -1/3 <= b?
True
Let f = 2350 - 4609/2. Which is bigger: f or 45?
f
Let q = 0.149 - 260.149. Let a = -194 - q. Is a >= 2/9?
True
Let x = -3.00036 - -0.00036. Is x equal to 0.167?
False
Let b(w) = 4*w**2 + 139*w + 111. Let p be b(-34). Which is greater: -40 or p?
p
Suppose 4*r - r + 2*x + 5 = 0, -5*x - 10 = 5*r. Let n be 156*((-4)/(-8))/r. Let u be 5/(7 - 17) + n/(-8). Is u less than 10?
True
Suppose 147*g = 151*g - 220. Suppose -11*p - 11 - g = 0. Is -6 <= p?
True
Suppose -50*p = -55*p + 100. Suppose 12*h - p*h = -3*h. Are 8/143 and h equal?
False
Suppose -3*d + 1574 = -194*i + 189*i, 0 = 4*i - 20. Which is greater: d or 539?
539
Let o be (-34 - -30)*(12 + 1). Let r = o - -127. Is 77 greater than or equal to r?
True
Let m(r) = -r**3 - 5*r**2 + 2*r - 8. Let z(x) = -x**3 - 4*x**2 - 2*x - 2. Let g be z(-3). Let t be m(g). Is t not equal to -17?
True
Suppose -161*b + 160*b = 6, -7*b = -2*y + 59378. Which is greater: 29667 or y?
y
Let v(l) = -3*l**2 + 22*l + 26. Let b be v(8). Let m be (-6*(-12)/165)/(1/b). Which is bigger: 5 or m?
5
Suppose 3*b = 5*d - d - 399, -194 = -2*d - 4*b. Suppose 0 = 5*z - u + 9126 - 93617, -4*z + 67589 = 3*u. Let t be 3/5 - z/(-170). Which is smaller: d or t?
d
Let x = 50164 - 202261249/4032. Which is smaller: 0 or x?
x
Let x = -11491 + 10126. Which is smaller: -4094/3 or x?
x
Suppose 832 - 122 = 5*r. Let g = r + -1270/9. Which is smaller: g or 2?
g
Let o(x) = 2*x + 13. Let r be o(-8). Suppose -2*v + 3*v + 1 = m, 36 = -4*m - 4*v. Let i be r + 1497/501 - (m - -4). Which is greater: i or 1?
1
Let m = -13369 + 25909121/1938. Let u = m + 20675/5814. Is 5 != u?
True
Let z be 1 - (1 - 7/(-701)). Let y = z + 3371/56781. Let j be 35/7*4/(-20). Is y bigger than j?
True
Let c be 4/(-6) + 4/6. Let q be (-3)/(-46458)*-27*138/(-3). Let i = q + -1/89. Is i <= c?
False
Let y = -23.202 - -23.202. Suppose 2*l = l - s + 41, 4*l + 5*s = 162. Is y greater than l?
False
Let f(z) be the first derivative of -z**4/4 + z**3/3 + z**2/2 - 9*z - 1. Let x be f(0). Suppose j - 2*u + 20 = 0, -u - 24 = 5*j + 21. Is j != x?
True
Suppose -2*c - 32 = -4*c. Suppose 18*q - c*q = -46. Let f(x) = 23*x - 1. Let t be f(-1). Is t at least as big as q?
False
Let y = 243 - 965/4. Suppose 2*q + 9*q = -2926. Let n = q - -267. Which is smaller: y or n?
n
Let n be (3 + -1)/(15/(-75)). Let h be (-10)/1*(-5)/n. Let f be 65/(-25) - -3 - 6/h. Is 3 greater than or equal to f?
True
Let b = 2/27 - -19/108. Let x(j) = -214*j**2 - 16*j + 16. Let f be x(1). Which is bigger: b or f?
b
Suppose 2*f + 3*w + 176 = 0, 3*f + 3*w = -0*f - 261. Is -87 less than f?
True
Let x be 126528/128 - (-3)/(-2). Let y = x - 958. Which is bigger: 250/9 or y?
y
Let m = 115863659/5868 + -19745. Which is smaller: 0 or m?
m
Suppose -4*h - 321 = 5*z, z + 0*h + 67 = 2*h. Let g = 70 + z. Suppose -f + 3*f + g*j = 11, f = 2*j + 1. Which is greater: 9 or f?
9
Let s = 67825 + -67252. Let k be 1 + (1 - (-48)/(-21)). Which is smaller: s or k?
k
Suppose 0 = -6*g - 23 - 37. Let y be (2/g)/(4/(-220)). Suppose 0*l = y*l + 5*l. Which is greater: l or 1/2?
1/2
Suppose -17*l = -10 - 24. Let o be 118 + 0/(3 + l). Suppose -2*v + o = -2. Is 60 equal to v?
True
Let c(d) = -d**3 + 11*d**2 - 25*d + 2. Let s be c(8). Let l be 3*1*8*s/360. Which is smaller: -181 or l?
-181
Let j = 82 - 573/7. Let z = 34.6 + -38.6. Is j greater than or equal to z?
True
Let a = -31 - -38. Let f be (-4)/(7/a) + (1 - 0). Let o = 9 - 11. Is f greater than or equal to o?
False
Let t(q) = -q. Let d(g) = g + 4. Let v(l) = d(l) + 5*t(l). Let a be v(1). Is 3 less than or equal to a?
False
Let o = 4733/3 - 1579. Let j = -0.22 - -0.42. Which is smaller: j or o?
o
Let v = -2783 + 2785. Is 6/287 less than v?
True
Let y(p) be the third derivative of p**4/3 + 5*p**3 + 13*p**2. Let s be y(-3). Suppose q - 5*a + 0*a + 21 = 0, -2*q - 2*a + s = 0. Which is smaller: 1/191 or q?
q
Let t = -5141 + 5317. Which is smaller: t or 48?
48
Let k = 0.066 - 21.166. Let d = 6.1 + k. Which is greater: -3 or d?
-3
Suppose -2*x - 4*c = 0, -4*x - 2*c + 9 = 3. Suppose -x*a = 3*l + 7, 4*a + 12 = -3*l + a. Let p = 5.09 - 0.09. Which is smaller: l or p?
l
Let u(f) = -9*f + 9. Let y be u(5). Let n be -2 - (5 + -1 + y). Let d = -29 - n. Which is greater: d or -58?
-58
Suppose -5*s + 2*o = -7632, 1 = 18*o - 19*o. Is s greater than or equal to -3?
True
Suppose -3*j - 783 = -s + 2*j, -2*j + 818 = s. Is 807 >= s?
False
Suppose 0 = 310*l - 302*l - 176. Is 426/19 less than or equal to l?
False
Let z = -15 + 10. Suppose 3*p - 7 = -1. Suppose -p*q - 3 = -3*y, -q + y + 3 = -2*y. Is z > q?
True
Let d(a) = 1943*a - 19216. Let o be d(10). Is 3651/17 <= o?
False
Suppose -1540 = m - f - f, 4*f = 3*m + 4628. Let p = -20092/13 - m. Which is bigger: 1 or p?
p
Suppose -7318 = -3*u + n, 5*u + 5*n + 9772 = 9*u. Let c be 4/(-3)*159/u. Which is smaller: c or 1?
c
Let s be 1*(-2)/(-16) - (-1635)/(-600). Let r be 4 + (0 - -2)*1. Let i = r + -8. Are s and i equal?
False
Let v be ((-376)/141)/(-4 + (-77)/(-21)). Let y be (-4)/18 + 168/27. Which is greater: y or v?
v
Let y = -0.0343 + 449.0343. Let p = y - 448.31. Which is smaller: p or 0?
0
Suppose 51*t + 49*t = 87*t + 90714. Is t smaller than 6978?
False
Suppose -2*n - 1 = 2*u + 11, 0 = 3*n - 4*u - 17. Which is greater: -5/662 or n?
-5/662
Let i(s) = 2*s**2 + 8*s + 1. Let d be i(-4). Suppose 3*x = -4*p - d, 6 = -4*p + x + x. Let b be (-508)/(-6)*p/28 + 3. Do b and 1 have the same value?
False
Let g be 2*((-8)/44 + 68712/(-88) + 9). Which is bigger: -1541 or g?
-1541
Let x = -24 + 26. Suppose -3*k = x*k + c + 83, 5*c = -3*k - 41. Suppose -4*j - 23 = 4*d + 21, 0 = -3*j - d - 43. Which is bigger: j or k?
j
Let n = -10054 + 15005. Is n greater than or equal to 4951?
True
Let g be 2/((-1)/((-6)/3)). Let h be 2*-1*(0 - 25/10). Suppose p + g = h. Which is bigger: p or -2/33?
p
Suppose 6 = 2*h, 4*h = s - 661 + 227. Suppose -3*v - s = 22. Let f = v - -291/2. Is f less than -10?
True
Let r = -1985.1 + 1985. Let g be 4/(-6) - 1532/6. Which is smaller: r or g?
g
Suppose 314*c = 329*c + 15. Is c not equal to 6/2929?
T