a - 100 = u*a. Which is smaller: -26 or a?
-26
Let w(p) = -7*p + 110. Let m be w(16). Let l = -157/78 - -13/6. Is l bigger than m?
True
Suppose 3*u - 677*h + 10 = -682*h, -4*h - 8 = -5*u. Is u <= -7/127?
False
Suppose 5*w = -4 - 1, -3*w + 243 = -3*x. Let p = -86 - x. Let y be 2/(p + 10/3). Is -21/13 less than or equal to y?
False
Let f be 1/(-18) - (-4)/18. Let c = 0.15218 - -0.04782. Which is greater: c or f?
c
Suppose m + 3*x = 1, -4*x + 5 = 5*m - 6*x. Let b be m - (-9)/((-3)/(-1)). Let s be 9/(-2)*b/(-1 - 11). Which is bigger: 2 or s?
2
Let r(a) = -a - 5. Let c(l) = l**3 + 25*l**2 - 53*l + 23. Let j be c(-27). Let h be r(j). Let w = 2/17507 + 34556/4009103. Which is greater: h or w?
w
Let p(t) = t**2 + t - 19. Let f be p(-5). Let c be (-2 + f + -4 + 1)/(-6). Is c at least -26?
True
Suppose -174 = 20*f - 274. Suppose 0 = t - 5*w - 44, -3*w = -0*t - f*t + 132. Which is smaller: t or 29?
t
Let k = 12444 + -12486. Is k < -60?
False
Let s = 5739 + -5736. Let i = -10717/76 + 141. Is s < i?
False
Let u = 438357 - 8743030367/19945. Which is smaller: -1 or u?
-1
Let z be ((-1)/3)/((-4)/(-828)). Let x = z + 69. Let s = -0.049 - -0.098. Is x > s?
False
Suppose 578*n - 533*n - 441225 = 0. Are n and 9805 nonequal?
False
Let f = -28593 - -28776. Which is smaller: f or -16?
-16
Let o(s) = -16*s + 20. Let b(k) = 2*k**2 - 35*k - 21. Let q be b(18). Let t be o(q). Suppose 0 = i + 4*z - 17, -4*i + t = 5*z - 0*z. Which is greater: 18 or i?
18
Let d = 50 + -24. Let l = -12246.1 - -12246.2. Are l and d unequal?
True
Let h be 1 + 221/(-559) + (-2)/4. Is 0 at most as big as h?
True
Let y be (12 + -7)/((-2)/10). Suppose 2*a - 93 = 4*k + 275, 5*a + 340 = -4*k. Let v be ((-882)/k)/((-4)/10). Which is greater: y or v?
v
Let p = -1010 + 654. Let x = 355 + p. Which is bigger: 240 or x?
240
Suppose 41*k - 24*k - 41*k = -40632. Are k and 1693 equal?
True
Suppose -2*m + 2 = -0*m. Let n be 4840/(-21600) - (2/(-27))/1. Which is greater: m or n?
m
Let v = -0.03 - 3.97. Let f = -1.29 + -2.81. Let d = v - f. Which is smaller: 34 or d?
d
Let w(z) = 96*z**2 + 137*z + 175. Let b be w(-8). Is 5222 < b?
True
Let s = -258.9676 + -0.0324. Let a = s + 213. Which is greater: a or -0.4?
-0.4
Let q = 45 - 47. Let z be 0 - ((-53160)/(-36))/(187/3). Let j = 258/11 + z. Which is smaller: j or q?
q
Suppose 338 = -3*o + 2*r, -3*o = -0*o - 5*r + 350. Let d = 704 - 1409/2. Do d and o have different values?
True
Suppose 11579*w - 12073*w = 9386. Let d be ((-11)/(-18) + -1)*46. Is w greater than d?
False
Suppose -2*r - 13*y + 17*y = -686, -2*y = -4*r + 1354. Suppose 6*j - r = -487. Do j and -8 have the same value?
False
Let o(f) = 116*f**2 + 47*f + 91. Let v be o(-2). Do v and 470 have different values?
True
Let s = 163786/63365 + -296/115. Let g = -3839/1653 - s. Let h be 2*(2*1)/(-2). Which is smaller: g or h?
g
Let t be 22194/(-243)*(0 - -3). Which is greater: t or -252?
-252
Let c be -1*4/8 - 2925/(-1110). Is c >= 2?
True
Let l(m) = -2*m - 2. Let h be l(-2). Suppose 10*w = 934 + 8616. Let q = 956 - w. Are q and h non-equal?
True
Suppose 5*v = 5*t - 20, 4*t + 4*v = 2*v + 4. Suppose 0 = -m - t + 4. Let l be m/((-88)/(-30)) - 28/56. Is l greater than 1?
False
Let v be 1158/(-14) + (-4)/14. Let u = 125482/15 + -253409/30. Which is smaller: u or v?
v
Let b(c) = -2*c - 2. Let s be b(2). Let t be 29/(-58)*(-12)/2. Let q be ((-325)/105 - (3 + s))*t. Is q less than -2/7?
False
Let y = -1034479307/765 - -1352260. Let p = y + 5/9. Which is smaller: p or 1?
p
Let c(v) = -911*v. Let m be c(-3). Suppose 3*u + 2*p = -p - m, 3*p + 4563 = -5*u. Let j be 580/u + (-6)/(-9). Which is greater: j or 1?
1
Let c = 4379 + -4386. Suppose -1 + 13 = -2*t. Let k = t + 6. Is k at least c?
True
Let v = -109 + -5. Let k = 122 + v. Suppose -17 = 5*y + k. Which is smaller: y or 2?
y
Suppose 466*z = 260*z + 33372. Is -60 not equal to z?
True
Let q(m) = -m**2 - 32*m - 99. Let o be q(-19). Let g = o - 177. Is -28 smaller than g?
False
Let p = -3 - -5. Let i = -45310 - -45309. Do i and p have different values?
True
Let p = 178.5 + -186. Let z = -7.6 - p. Let f be (-1)/2 - 33/(-286). Are z and f equal?
False
Let k = 4769 + -4769.4556. Which is smaller: k or -2?
-2
Let h = 3/20 + -2/5. Let f be (25 - 55)*(-4 - -3). Let a be 4/f - 10/(-2400)*118. Do h and a have different values?
True
Let u = 7 + 7. Suppose 3*l = 12*l. Let g be ((-15)/14 - 28/(-49))*l. Which is smaller: g or u?
g
Let c be (2/(-3)*4/8)/(121/(-726)). Which is smaller: c or 46/21?
c
Let i be 2 + (71 - -12 - 9). Let p = 14 + 61. Is i > p?
True
Let c = -21 - -20. Let p = c + 0.7. Let m = 548 - 543. Which is smaller: m or p?
p
Let w be (-56)/84*(-1)/6*-1535 - -3. Is w at most -168?
False
Let r = -928.4676 + -4.5324. Which is smaller: r or -9?
r
Suppose -5*q - 29 = -3*b, -3*b + 4*b - 7 = -q. Let n be (((-18)/b)/9)/5. Let h be 0/(4 - -9) + 1. Is h at most n?
False
Let j be (8334 - 45)*(-2)/36*-6. Are 2763 and j nonequal?
False
Suppose 41 = -s + 5*w, 2*s - 2*w + 54 = 12. Let b be 4/s + ((-3020)/2288)/(-5). Is 1 equal to b?
False
Let k be ((-17235)/105)/((-3)/35). Is k >= 1913?
True
Let n = -528 - 813. Is -1341 != n?
False
Let z be 26/12 + (-4)/6. Let y = -318 + 317.9301. Let u = 0.1301 - y. Which is bigger: z or u?
z
Let n be 534215/101772 + -6 + 1*(-6)/(-8). Which is smaller: 0 or n?
n
Let n be ((1/(-1))/(-1))/((-606)/(-1212)). Which is smaller: -2619 or n?
-2619
Let g be (-2561)/12608*((-16)/(-100))/(4/30). Which is smaller: 1 or g?
g
Let f be 192/3408*(-2 + 57/28). Let c = f - -75539/2485. Is c smaller than 29?
False
Let i be 2/(-3)*(-429)/(-22). Let f = i - 17. Let u be 100/(-75)*2/(-4). Which is smaller: f or u?
f
Let j(o) = 5*o + 2. Let f be j(-3). Suppose -3*x = -2*g + 7*g + 3, -2*g - 4*x = 4. Suppose 2*l + 22 = -g*l. Are f and l non-equal?
True
Let z(s) = 5393*s - 5388*s - 89 - 88. Let c be z(15). Is c > -102?
False
Let n = 16193 + -16193. Which is bigger: 28/213 or n?
28/213
Let j = -1930 + 1095. Which is smaller: j or -834?
j
Let z(o) be the second derivative of -o**7/2520 + o**6/360 - 29*o**4/12 + 37*o. Let k(x) be the third derivative of z(x). Let i be k(2). Is i less than -4/25?
False
Let v = 25 + -27. Let l = -236 - -231.6. Which is bigger: v or l?
v
Let b be 212/583 - (-5 - 132338/(-22)). Which is smaller: -6009 or b?
b
Let u be (4 - 15 - -6) + 6. Suppose -5*n = -4*g - 69, -2*g - 9 = n - 2*n. Let y be (-566)/(-190) + (14 - n). Is y not equal to u?
True
Let y = -12 + 3. Let x = -8 - y. Let a = 1171 + -1161. Is a equal to x?
False
Let v(n) = 10*n + 10. Let o be v(-1). Suppose q - 2*q + j + 30 = o, 0 = 4*q + 2*j - 144. Is q not equal to 33?
True
Let g = -6.47 - 41.53. Is g at least as big as -0.02?
False
Let f = 8 + -8.6. Let g = 0.5 + f. Let l = -1466 - -1467. Are l and g nonequal?
True
Let d = 8.09 - 6. Let o = d - 1.7. Let u = -6.39 + o. Which is smaller: u or -2?
u
Let b = -4327/6 + 56089/78. Which is smaller: -1 or b?
b
Suppose 0 = 3*n - 5*o - 5, 19 = -3*n + 4*o + 23. Let s be (-2)/11 - n - (-4)/(-99). Let u = -2.95 - -3. Which is smaller: s or u?
s
Let f be (0/(-9))/((-8)/(-2)). Suppose -5*o + 5 - 25 = f, 0 = -3*a + 3*o - 300. Is -106 < a?
True
Let f be (0 + -189 + -6)*6/5. Let k = f + 87. Which is greater: -148 or k?
k
Suppose 16 = -4*i, 7*i + 11 = 3*h + 2*i. Let m be 1/(-3 - (3 + h - 2)). Let s be -1*((m - 0) + 3). Which is smaller: -12/7 or s?
s
Let p be (-8 + 1)/21*18 - -13 - -653. Is p smaller than 5289/8?
True
Let b = 0.201 + -103.201. Let u = 103.01 + b. Let n = u + 0.99. Which is smaller: n or -0.63?
-0.63
Suppose -14*m - 8413 - 3963 = 0. Are m and -879 unequal?
True
Let d be ((-1568)/735)/(12/770). Which is smaller: -136 or d?
d
Let i = -27/134 - -215/402. Is -0.27 bigger than i?
False
Suppose 1922 = -4*c - 2*w, 41*c - 3*w + 1437 = 38*c. Let v = 482 + c. Suppose -2*f + 1 = 5*u, f = 2*u - 5*u. Which is smaller: v or f?
v
Suppose 0 = -25*a + 2*u - 12567, -147 = 5*a - u + 2364. Suppose 3*n = -3*t - 1509, t + 3*n = -2*n - 499. Which is smaller: a or t?
t
Suppose -7*r = 206 + 424. Let j = -66 - r. Which is bigger: j or 23?
j
Let d = -79.87 + 83.79. Is d at most 18?
True
Let t be 7 - (273/28 - 6)/((-2)/8). Suppose -3*n = -n - 46. Suppose 0*b = -b + n. Is t at most as big as b?
True
Let x = 8603/7529 + -169092667/118852794. Let l = 7060737/4385 - 8051