hich is bigger: 123 or p?
p
Let z be (1/(-2))/(-1)*2. Let f be (49/2)/(18/216). Let t be (-42)/(-12)*7/f. Is t bigger than z?
False
Let a be 0*(2 + -3 + 2). Suppose a = 7*w + 4 + 10. Let d be (57/(-133))/((-3)/(-10)). Which is bigger: w or d?
d
Let c(b) = -4*b**2 + 23*b - 60. Let t be c(6). Let o = t + -199. Is o less than or equal to -266?
False
Let y = -358730/561 + 12592/51. Is y <= -393?
False
Let n = 117284 + -28969207/247. Is -1 at most as big as n?
True
Suppose -403 = 5*x - 418. Let u be ((-10)/(-15))/(2/12). Suppose 0 = -0*a + u*a. Is a <= x?
True
Let n(p) = -65*p - 8. Let k be n(2). Let x = k + 215. Is 77 > x?
False
Let d be (-595)/77 - (-24)/(-88). Let r(a) = -15*a**3 + 2*a**2 - 1. Let v be r(-1). Suppose 4*c - 2*c = -v. Is d less than or equal to c?
True
Let v = -45.0584 + -0.8886. Let l = v + -0.053. Let k = -46 - l. Which is smaller: 6/13 or k?
k
Suppose -v + 2338 = -4*l, -18*l = -19*l - 7*v - 628. Is -6436/11 smaller than l?
False
Let c be (-20)/1504 + (-13 - -13). Let w = c - 347/30456. Which is smaller: w or 1?
w
Suppose 5*a + 2*w = 20, 5*a - 19 = -3*w + 6. Suppose k + a*y = -4*k + 115, 0 = 5*y. Do 21 and k have the same value?
False
Let w = -55.1 + 386.1. Let p = w + -340. Which is greater: 2/3 or p?
2/3
Let q be (-115304)/(-630) + 16/80. Which is greater: 183 or q?
q
Let u = -161.9 - -162. Let j = -34 + -123. Which is bigger: u or j?
u
Let k be (-3 - -4)/((-141)/(-36)). Let p be (-6)/(-14) + 152/266. Which is bigger: k or p?
p
Let y be ((-182)/14)/((-8)/(-160)). Is -265 at most y?
True
Let f be (84/(-9))/((-8)/48). Let x be 64/f*(14 - 0). Is 108/7 > x?
False
Suppose 6*h = -19*h + 675. Let n = 26 - h. Which is smaller: 4/21 or n?
n
Let f be -2 + -3*-92*(-4)/168. Suppose 0 = 5*i + 3*w + 48, -79*i + 82*i = -3*w - 30. Which is smaller: i or f?
i
Suppose 26*i + 3614 = -4602. Which is smaller: i or 2/5?
i
Suppose 4*p = 7*p + n + 64, 7*p = n - 156. Let s be (4 - 1 - 3) + -23. Is p equal to s?
False
Suppose 7*m + 12 = 9*m. Let l be (-32)/(-8)*m/24. Let n = 8/15 + 9/5. Which is smaller: n or l?
l
Let h(a) = -2*a**2 + 24*a - 8. Let z be (2 + (-4 - -1))*-12. Let l be h(z). Is l greater than or equal to -2/7?
False
Let t(p) = 7*p**2 + 3*p - 7. Let r be t(6). Suppose -10614 = -132*z + 24102. Is r equal to z?
True
Let b = 81 - 55. Let w = b - 35. Let g be 2*(-2)/6 + 0. Which is smaller: g or w?
w
Suppose 5*o + 4*l + 545 + 17 = 0, 0 = 2*o + 5*l + 218. Let f = o + 139. Which is smaller: 23 or f?
23
Suppose 0 = 6*j + 6*j - 4*j + 1016. Is -120 at most j?
False
Suppose 16*d = 18*d - 294. Suppose -13*f = 8*f + d. Is f less than or equal to 7?
True
Let k = -151 + 51. Let l be (-1 + (-118)/k)*405/(-8). Let x = 11/80 - l. Which is greater: 9 or x?
x
Let r = 70.9919 - 71. Let f = -46.3919 + r. Let u = -46 - f. Are 6 and u non-equal?
True
Suppose -90*x - 1091 + 14231 = 0. Are x and 147 unequal?
True
Let o = -62 - -22. Let x be (16/o)/(2/5). Which is greater: x or 16.7?
16.7
Let g = -5670 - -8229. Which is smaller: g or 2558?
2558
Let i be 12/(-28) + (-12)/(-28). Suppose 14*y - 18*y - 172 = i. Let u = 40 + y. Is -1 less than u?
False
Let w = 114.37 + -2.37. Let m = -111.894 + w. Let b = m - -0.894. Which is bigger: -1 or b?
b
Suppose -11 = -5*z + 4. Suppose z*x + 2 = -10. Suppose -17*j = 8 + 60. Is j at least x?
True
Let h = 42.037 + -42. Let t = 10.137 - h. Let c = t - 7.1. Which is smaller: c or 12?
c
Suppose -4*g + 21 = -5*i, 0 = i + 3*g + 2*g - 19. Is i < -20/541?
True
Suppose -4*m + 8*m + 4496 = -3400. Which is smaller: -1975 or m?
-1975
Let o be 6124/1534 - 3*(-13)/((-429)/44). Is -1 >= o?
False
Let p = 27 - 27. Let x(k) = k**2 + 2. Let m be x(0). Suppose 0 = -3*d - m*r - 2, 0 = d + r - p - 1. Is -5 at least d?
False
Suppose 4*p = -20*r + 24*r + 16, 2*r - 6*p + 24 = 0. Which is bigger: -12/1075 or r?
r
Let g be (57/(-684))/(2/(-24)). Let u(l) = 2*l**2 + 2*l - 1. Let h be u(1). Suppose h*q - 2*q + g = 0. Which is bigger: q or -4/47?
-4/47
Let n(b) = -b**3 + 3*b**2 + 2*b + 3. Let q be n(3). Let z be (3/q)/(2/6). Let d be ((-33)/132)/((-22)/8). Is d bigger than z?
False
Suppose -5*q - 134 = -344. Suppose 3*p - 6 = 0, 45*p = c + q*p + 67. Is c at most -63?
False
Let s be 110/(-132) + (-33)/(-18). Which is smaller: s or 2/13693?
2/13693
Let y be 2*18 + (-13 + 0 - -21). Is y smaller than 37?
False
Suppose 0 = 11*q + 819 + 919. Which is smaller: q or -145?
q
Let z(v) be the third derivative of -v**6/120 - 7*v**5/60 - v**4/24 - v**3/3 + 20*v**2. Let j be z(-3). Let r be (-1 - -13)*(-5)/j. Which is bigger: r or 0.3?
r
Let z = 5199.7 + -5198.7. Let i = -13.3 - -13.074. Which is greater: z or i?
z
Let r be (-1)/(8/(-10) + (-87)/(-90)). Let k be r/(-4) + 1287/(-910). Let n be 0 + ((-2)/3 - (-3)/(-9)). Is k greater than n?
True
Suppose s + 238488 = q, 104929 = -s - 4*q - 133534. Let k = -2148970/9 - s. Let c = k - -292. Is 0 less than or equal to c?
True
Suppose 2*d = 3*p, -p - 2*d = 271 - 279. Let f = 114.95 + -98. Let v = f - -0.05. Is v <= p?
False
Let l = -0.5 - 8.5. Let a = l + 4. Let k be (26 - 21)/(-1 - 0). Is k bigger than a?
False
Suppose -15*t + 17*t + 3695 = 5*y, 3*t - 3670 = -5*y. Let v = 734 - y. Let g(s) = -s**2 - 4*s - 3. Let h be g(-2). Which is smaller: h or v?
v
Let u = 8/31 - 1482/5983. Let s = 36 - 37. Which is smaller: s or u?
s
Suppose g + 0 = f - 42, -3*g - 125 = -4*f. Let j = 22 + g. Let u be (-15)/(-45) - 2/j. Which is smaller: u or -1?
-1
Let d = -3 - -2. Let t be d/(1/(-10)) + 2. Is t less than or equal to 12?
True
Let h(d) = -d**3 - d**2 + 21*d + 89. Let u be h(-6). Suppose -11*b + 726 = -u. Is b greater than or equal to 81?
False
Suppose 2*w = t + 382, -t = -4*w + 7*w + 362. Let a = t + 458. Is a > 82?
True
Let s(u) = -9*u + 14. Let m be s(7). Let a(v) = -20*v - 8. Let j be a(2). Let d = m - j. Which is bigger: d or -2?
d
Let v = -1.325 + 1.325. Is 8.155 less than v?
False
Let k = 638 - 637.738. Which is smaller: 2/3 or k?
k
Let a be 2/(-2) - (223237/27930 + -9). Let r = a - 1/38. Is r smaller than 0?
True
Let s(v) = -165*v**3 - 5*v**2 + 112*v + 435. Let r be s(-4). Which is greater: 10466 or r?
r
Let p = -224 + 221. Let b be 9/p - (7 + -7 - 91). Which is greater: 90 or b?
90
Let k = 119 + -109. Suppose 10*y + k = 8*y. Let o(w) = w**3 + 5*w**2 - 5*w + 1. Let n be o(-6). Does n = y?
True
Let d be 1/(-160)*-4*50/(-3380). Which is greater: 2 or d?
2
Let v = -9 - -4. Let x be -1 - (5/(-10))/((-6)/(-1271)). Let m = 105 - x. Is v <= m?
True
Let x be (-4038)/30330 - 12/(-90). Is -1 at most as big as x?
True
Let r be (-32)/648*277*28/(-32). Let n = 70/81 + r. Which is smaller: n or 13?
n
Suppose -24*k = -41*k. Which is bigger: k or -9/80?
k
Let i(s) = -10*s**2 - 1. Let q be i(-1). Suppose 0 = -2*x - 10*x - 168. Is q >= x?
True
Let y = -9959 + 8135. Which is bigger: y or -2?
-2
Let c be (-2)/(-1) - (-72 + (-13 - -8)). Suppose 0 = 3*b + 2*q - c, 3*b = 2*b - 4*q + 13. Which is smaller: b or 91/3?
b
Let l = -110 - -128. Let j = 19 - l. Is 12/11 <= j?
False
Let q = 1/35 + -38/105. Let f be 1 + -1*(-75692)/(-51976). Let j = 40/89 + f. Which is bigger: q or j?
j
Suppose 5 - 5 + 11 = 11*l. Which is smaller: 12 or l?
l
Let b be 504/196*(14/3)/1. Let j be (b/198)/((-8)/9). Which is greater: j or -0.1?
j
Let h = 388313/2 - 190197. Is 3959 < h?
True
Let s be (46 + -1)/((-6)/(-4)). Suppose -593 + 329 = 203*v + 1360. Which is greater: v or s?
s
Let v be (-5 - ((-222409)/44495 - 0))/((-8)/20). Is v smaller than 0?
False
Let y = 205 - 211. Let h = y + 5.92. Which is bigger: h or -0.6?
h
Let o = -0.281 - 122.719. Let c = 26631.9 - 26632. Which is smaller: o or c?
o
Let y = -365 + 367. Suppose -164*f + 162*f + y = 0. Which is smaller: -2/321 or f?
-2/321
Let r(s) = 5*s**2 - 2*s + 1. Let p be r(1). Suppose 3*j + p*a = 6, -4*j - j + a = 13. Is j >= -19/15?
False
Let v = 620282/1247044843 + -6/141887. Does v = -1?
False
Let j = 34 + -9. Let m be ((-20)/j)/((-2)/(-10) - 0). Let r be 837/117 + m/26. Is 5 > r?
False
Let o = 935 - 93497/100. Suppose 0 = 28*n - 24*n - 4. Which is bigger: n or o?
n
Let j(m) = 5*m**2 - 3*m + 3. Let i = -12 - 13. Let x = i - -26. Let y be j(x). Is 4 at most y?
True
Let j = -26.978 + 32.978. Let s = 19.5 - 16. Which is smaller: j or s?
s
Suppose 0 = -5*h + 4*h - 3. Let w be 0/3 - (2 + h). Let r be -2 + -5 + 0/w. Which is greater