Is j less than -1/615?
False
Let f = -23318 + 24077. Which is smaller: f or 755?
755
Let u be (-2)/(-2) - 1/(2/(-32)). Let z be ((-6)/80)/(u/(-68)) + 0. Is 1 at least z?
True
Let j be (-4)/14 + 348/21. Suppose 16*y = 229 + 28 - 1. Which is smaller: j or y?
y
Let r be (0 - 123/45)/(406/(-290)). Is 3 less than or equal to r?
False
Let s be -1 + 4/(-4)*-8. Let h = s - 13. Is 2 greater than or equal to h?
True
Let o be 7 + 0 + (5776 - -19). Let u = 1177812/203 - o. Are u and 1 equal?
False
Let y = 70 - 70. Suppose -k - 13 = 4*l - 123, y = -4*k - 8. Do l and 30 have the same value?
False
Let d = -822/713 + -1959056/6417. Which is bigger: -306 or d?
-306
Let i(y) = -y**3 + 7*y**2 + 6*y + 17. Let r be i(8). Let m be r*(1/4)/((-8)/32). Which is greater: -3/490 or m?
-3/490
Let z = 5.27 - -208.73. Let t = -213 + z. Which is smaller: -0.42 or t?
-0.42
Suppose 2*q - 2*c + 106 = 4*q, 4*q = 2*c + 188. Let y = -88 + q. Let k be (y/15)/((-12)/(-15)). Is k < -4?
False
Suppose -14*m = -13*m. Suppose 0 = 4*i + 5*q - 11, 3*q + 11 = 2*i - 0*q. Suppose -40 = -4*z - i*d, z + m*z = 4*d - 15. Is 3/5 bigger than z?
False
Suppose 133 + 819 = -28*b. Is b greater than or equal to 6?
False
Let x = -393 - -706. Suppose 309 = 4*g + x. Are g and 1/24 nonequal?
True
Let g = -18561 - -46402499/2500. Which is smaller: 1 or g?
g
Let d = 1745 - 6265/4. Let u = 182 - d. Which is bigger: 2/5 or u?
u
Let r = 0.351 + -17.451. Let y = -3.1 - r. Which is bigger: -2/11 or y?
y
Let x be ((-2)/15)/(1316/7791). Let l be (15/(-4935))/(2/(-7)). Let m = l - x. Is m <= -2?
False
Let i = 5 - 4. Let b be ((-20)/160)/(-10*1/(-6)). Which is bigger: i or b?
i
Suppose 5*m = -4*b - 243, 293 = -4*b - 239*m + 244*m. Is -803/12 at most as big as b?
False
Suppose -2*u + 28 = 22. Let r be 1/(u + (-41)/14). Let g = -180 + 385/2. Is g less than or equal to r?
True
Suppose -41*u = -35*u - 378. Suppose 5*p + j = 88, 3*p - u = j - 5*j. Is 18 != p?
True
Let t(k) = -k**2 + 14*k + 36. Let a be t(21). Let j = -40 - a. Let y = 55 - j. Are -16 and y non-equal?
False
Let f be 59358/(-2070) - (-1)/((-4)/(-8)). Let x = -80/3 - f. Do -1 and x have the same value?
False
Let x be (-1)/7 - (-926266)/(-308). Is x < -0.1?
True
Let p(n) = n**2 - 14*n + 22. Let v(q) = q**2 + 7*q - 18. Let m = -5 + -5. Let t be v(m). Let b be p(t). Which is smaller: b or -22/9?
-22/9
Let u(c) = -4*c + 14. Let k be u(2). Suppose -k*p = -35 - 49. Suppose 2*h = -o + 4, 0 = -5*h - 4*o + p - 1. Is -8/19 < h?
True
Let s = -828313/64 - -12943. Let n = -1595/832 + s. Is n greater than or equal to -1?
False
Suppose -44*s - 218 = -42. Let g be 3/((s + 19)/5). Which is smaller: g or -14/89?
-14/89
Let r(v) = -9*v - 5. Let d be r(3). Suppose 2*m - 3*p = 20, -2*p - 22 = -3*m - 2. Let j be (-1)/((9/(-120))/((-9)/m)). Is j < d?
False
Suppose -q + 2*w = 715, -5*w + 481 = -q - 246. Let t = 4 - 3. Are q and t nonequal?
True
Suppose o + d + 2*d = -1170, -5*o - 2*d - 5889 = 0. Let t be (-6)/(-1)*(-3)/o. Let j = 127/262 + t. Which is smaller: -4/5 or j?
-4/5
Let b(g) = 60*g + 3330. Let v be b(-51). Is 27 <= v?
True
Let c = 7506 + -7506. Is 132/287 greater than c?
True
Suppose 5*g = 3*g - 2*t - 150, 0 = -4*g + t - 275. Let p be (-755 + 749)*(-70)/(-6). Is g less than or equal to p?
True
Let c(u) = u**2 + 3*u + 2. Suppose 3*j = 2*j - 3. Let x be c(j). Let g(w) = -w**2 - 2*w + 34. Let d be g(-7). Are x and d nonequal?
True
Let v be 1/(((-70)/(-4))/(-5)). Let o(d) = -4*d + 56. Let f be o(12). Is f <= v?
False
Let b = -3/24746 - -77380757/123730. Which is smaller: b or 624?
624
Let s(x) = x**2 + 60*x + 797. Let z be s(-52). Is z > 9?
True
Let w be -19*(0 + 4 + -24 + -5). Let f = w - 2377/5. Is f bigger than 2.85?
False
Let z be 4 + -6 + (-5)/(-1). Suppose -46 = -2*h + z*l, -16 = -8*l + 4*l. Suppose -o - 4*u - h = 0, -33 = 4*o + u + 8. Which is smaller: o or -1?
o
Let o be 13/(-2) - ((-42)/(-12) - 4). Let s = -2 - o. Is s less than or equal to -10?
False
Suppose 31*y - 27*y - 20 = 0. Suppose 5*n = -5*g + y, -n = 4*n + 3*g - 5. Let u = 30 - 30.31. Is u < n?
True
Suppose 64*i = 71*i - 28. Suppose -m = -3*m - 3*z + 23, -i*z + 44 = 4*m. Let n = -58 + 66. Which is smaller: n or m?
n
Let v(r) = -1 + 12*r**2 + 15 - 9*r - 11*r**2. Let p be v(5). Let z be (-60)/45 + (-4)/p. Which is smaller: 0.14 or z?
z
Let a = -6.642 + 8.078. Which is smaller: a or -2?
-2
Let n = -20445 + 19676. Which is smaller: n or 4?
n
Suppose -5*p = -5*s + 75, -2*s - 30 = -3*s + 4*p. Let j be (-1)/(s/(-45) + 11/9). Let c be 9/(-3) - 65/(-21). Which is smaller: j or c?
j
Let t be 33297608/(-1447852) - (-22 + -1). Do 1 and t have the same value?
False
Let z = 335 + -335. Is z > 3/770?
False
Let c = 41 - 38. Suppose 0 = 3*r + w + 46, r = c*r + 4*w + 24. Suppose 0 = -7*s + 5*s - 32. Is s at least r?
True
Let i = -189 + -108. Let s = -16339/55 - i. Is 0 greater than s?
True
Suppose 0 = -16*k + 8*k + 1520. Suppose -k*q + 443 = -191*q. Which is bigger: q or -1/4?
-1/4
Let y be (-20800)/122700 - (7/(-3))/7. Is y >= -1?
True
Let i(f) = -4*f**2 - 65 + f**3 + 73 - 6*f**2 + 8*f. Let n be i(9). Which is bigger: -5/37 or n?
-5/37
Let r be 5/14*40/5650. Which is bigger: r or 0?
r
Let i = 16 - 48. Let c(y) = -y**2 + 29*y + 45. Let z be c(28). Suppose z = -2*o + 3*u, -4*u = u - 15. Is o equal to i?
True
Let t = 43 + -28. Let q = t + -15.2. Does q = -111?
False
Let m(j) = j**3 + j**2 + 7*j + 6. Let a be m(-1). Let t be (4/6)/1 - (-1288)/(-1824). Is a bigger than t?
False
Suppose 214*i + 170658 + 1439445 = -289*i. Which is smaller: i or -3203?
-3203
Suppose -5*i + 2*o = -22998, 4*o - 21828 = -4*i - 3424. Which is smaller: 4599 or i?
4599
Suppose 14 = 5*g + p, -4*p = -4*g + 9 + 7. Suppose g*n = 2*n + 5*n. Which is smaller: n or -2/37?
-2/37
Let h = 64 - 62. Suppose 0 = h*l - 2*x, 0 = -3*l - 2*x + 10 + 15. Suppose -2*z - 139 = -5*c, 2*z + l*c + 85 = -24. Is z smaller than -62?
False
Let l = -5.4 - -454.4. Let x = l - 305. Is x equal to 0?
False
Suppose 18*v + 30 - 210 = 0. Let x be (3 - (-60)/(-21))/((-5)/v). Is 0 > x?
True
Suppose 1 = 179*v - 178*v. Let u(r) = 3*r**3 - 4*r**2 + r + 1. Let z be u(v). Is -4/9 smaller than z?
True
Let y be ((-3)/(-12))/((-30)/(-240)). Let h be 184/348*49/6. Let w = h - 35/29. Which is greater: y or w?
w
Let d = -61.6 + 295.6. Is d > -2?
True
Let z(c) = -c**3 + 31*c**2 - 82*c - 51. Let v be z(28). Suppose -3*o + 43*q - 2 = 45*q, -5*q - v = 0. Let l be -6*-2*(-2)/232. Which is smaller: l or o?
l
Let u = -22358 + 22358. Let z be 0/1 - 4/10. Is u equal to z?
False
Let k(g) = 74*g + 3333. Let i be k(-45). Which is smaller: i or 187/63?
187/63
Let x(u) = 21*u - 501. Let c be x(75). Which is smaller: 1073 or c?
1073
Let t = 202/57 - -161/228. Suppose 2*w + 3*w - 20 = 0. Which is smaller: w or t?
w
Let q(n) = 50*n - 3592. Let o be q(71). Is o > 166?
False
Let c be -2 - 0/2 - -1. Let p be 2 - 18/8 - 1127/(-92). Let i be (p/(-9))/((-55974)/(-171)). Which is smaller: i or c?
c
Let p = -6.948 + -0.052. Let t = -8 - p. Let c = 166 + -198. Which is bigger: t or c?
t
Let v = -6.61 + 23.34. Let r = 16.8 - v. Let h = -4.96 + 5. Which is smaller: h or r?
h
Let w = 187 + 248. Let v = 370 - w. Are v and -65 equal?
True
Let g be 740/(-2960) - 970/(-2024). Are g and -1 unequal?
True
Let q be (-165)/55*(1 - (-1)/(-2)). Let u = -33 - -33. Let v = u - -5. Which is bigger: q or v?
v
Suppose 0 = 5*b + 10, 5 - 10 = 5*o - 5*b. Let z be (-205)/o - (-20)/(-15). Let v(h) = 6*h**2 + 85*h + 157. Let u be v(-13). Is z > u?
True
Let n = 68 + -116. Let f = 127 + n. Let q = 78 - f. Which is smaller: 24 or q?
q
Let n = 32 - 51. Let m = -13 + n. Suppose -32*i = -31*i - 1, -s - i = -1. Is s greater than m?
True
Let b = 0.1128 - 0.2054. Let u = -395.9074 + b. Which is smaller: u or 1?
u
Let j be (-25 - (-2941)/119)*224/(-92). Which is bigger: j or 4?
4
Let r = -15474 - -18288. Which is greater: r or 2812?
r
Suppose -1796 + 366 = -10*f. Suppose 0*s - f = -2*s - y, -3*s + y = -222. Is s less than or equal to 75?
True
Suppose -291*z + 280*z = -1100. Which is smaller: 105 or z?
z
Suppose 8*q - 6*q = 948. Let w = -3317/7 + q. Is w greater than -12?
True
Let o be 15/4*(-620)/(-93). Suppose y = -5*a + 12, -27*a = -o*a + 5*y - 14. Which is greater: a or 28?
28
Let q(l) = -22*l - 3 + 8 + 7 + 25*l. Let v be q(-5). Let g be (16/132)/(v/(-27))