ler: l or -307?
-307
Suppose -3*n - 14 = 2*v, -2*v - 2 + 0 = -3*n. Let s be (-531)/342 + ((-14)/v - 2). Let a be (-5 - -6)/(2 + -1). Is a greater than or equal to s?
True
Suppose 0 = -5*w - 5*t + 290, -2*w - 7*t = -2*t - 101. Let u = 705 - 693. Suppose u*z - 719 = 37. Is w smaller than z?
False
Let f be (-344)/(-56) - 7/49 - (7525 - -3). Is f < -7523?
False
Let s be (-75933)/156 - -2*(-3)/24. Which is smaller: -486 or s?
s
Let i be (-62)/(-58) - 12/4 - -2. Let d(q) = -q**3 + 6*q**2 - 6*q + 5. Let c be d(5). Which is greater: c or i?
i
Let z = 7.86189 + 0.05811. Which is smaller: -1 or z?
-1
Let z(j) = -7*j - 51. Let m be z(2). Let g = 19 + m. Is g at least -410/9?
False
Suppose 0 = g - 0*g + 561. Let d be 2*((-1672)/g + 9/(-3)). Is d > 0?
False
Let c(h) = h**2 - 25. Let b be c(0). Let z = -117 + 117. Let l be ((8 - z) + -6)*-13. Is l equal to b?
False
Let u be (-2)/((-2)/19) - 2. Let q be ((-15)/(-5) + -9)/(2 + -4). Suppose 2 = q*x + u. Is x < -5?
False
Suppose 4 = 18*d + 40. Let v be d*66/9*3/(-4). Which is smaller: 10 or v?
10
Let d = 1.98 + 0.02. Let h = 0.024 + -0.324. Which is smaller: h or d?
h
Suppose 4*n - 7154 = 2*i + 462, -2*n - 14 = 0. Is i bigger than -3822?
False
Suppose 35*v = 37*v - 50. Let p be (v/(-15) + 1)*(-21)/14. Which is bigger: -4/11 or p?
p
Let c(r) = 5*r**2 - r - 1. Let w be c(-1). Let u = 3614509/6270 + -12675/22. Let d = u - 2/285. Is d at least w?
False
Let j = 6 + -3. Let t be (-2)/4*((-2)/2 + -1) + 6. Is t bigger than j?
True
Let s(m) = -2*m**2 - 34*m - 2. Let j be s(-17). Let d = 1 - j. Which is smaller: -14 or d?
-14
Let w be ((-65)/80)/((-2)/8). Let v(q) = q - 3. Let x be v(3). Suppose 5*i = -5*r - x*r, 5*r - 8 = -3*i. Is r bigger than w?
True
Suppose -29*h + 4913 = -3062. Let s = h + -303. Which is greater: s or -31?
s
Let o be (-2)/(-6) - (-47110)/(-110). Let c = o - -428. Suppose 0 = -5*f + 2*f - f. Is c >= f?
True
Let t = 30979/11 - 2816. Which is smaller: t or 5/12?
t
Let t = 0.097 + 7.203. Let v = t - 7.41. Let n = v - -0.01. Is 0.07 equal to n?
False
Let n be 10/4*(-3040)/300*9. Let t = n + 240. Which is smaller: 1 or t?
1
Let g = 4671 - 2129. Let w be (g + 0)*3/1524 + -5. Does w = 1?
False
Let i = -2185 + 2184. Which is bigger: i or 1/952?
1/952
Let y = -14.79 - 0.21. Let n = -0.1602 + 0.0612. Let m = n + -0.001. Is y at most as big as m?
True
Let n(j) = -j**3 - 3*j**2 + 16*j - 357. Let i be n(0). Let b(o) = 12*o + 2. Let p be b(-3). Let r be (-34)/i - p/84. Which is greater: -0.1 or r?
r
Suppose 0 = -3*t + 266 - 257. Let c be t/(-12) + (-108)/(-48). Is c <= -8?
False
Let j = -31393 - -31393.14. Are j and 405 equal?
False
Suppose -29*g + 66*g = 635660. Let r = g - 635620/37. Is 1 < r?
True
Suppose 3*f = -4 + 13. Let g be ((-1)/f)/(1/(-3)). Suppose 55*a - 34 = 21. Is g bigger than a?
False
Let a(x) = 3*x - x**3 + 6*x + 5*x - 9 - 15*x + 33 + 13*x**2. Let u be a(13). Which is greater: 73/6 or u?
73/6
Suppose 0 = 3*b + 4*r, r - 5 = -9*b + 7*b. Let u be 26/8 + b/(-16). Suppose u*l + 20 = -l. Are l and -9 unequal?
True
Suppose 122*u - 118*u = -2*h - 34, 40 = -4*u + 4*h. Which is bigger: u or -210/23?
u
Suppose -3*f + 12 = 6. Suppose -f*m - 14 = 5*m. Let r be 1 - 1 - (-3 + m - -4). Is r <= 48?
True
Let j = 2615 + -4347. Which is bigger: j or 1?
1
Let z(u) = -3*u**2 + 2*u + 23. Let w be z(3). Suppose x - 2*s + 8 = 0, -7*x - w*s + 8 = -2*x. Which is smaller: 8/79 or x?
x
Suppose 5*t = -20, -t - 2 = f + 503. Let p = 546 + f. Which is greater: p or 263/6?
p
Let r = 3080/3 + -1102. Let a = 74 + r. Suppose 4*b = 5*b. Is a >= b?
False
Suppose 36 = 5*l + 11, -101 = 3*o + 5*l. Is -704/17 <= o?
False
Suppose -4*q = -0*q + 20. Suppose 44 = -6*z - 5*z. Which is smaller: z or q?
q
Suppose 0 = -3203*j + 3071*j - 3036. Let c be (-4)/14 - (-96)/(-7). Are j and c unequal?
True
Let d = -16 - -18. Let h(t) = -t**3 + 2*t**2 - 3*t + 4. Let f be h(d). Let y be ((-3)/(-4))/(4/(-32) - f). Is y <= 0.3?
False
Suppose -l + 3 = 3*n + 11, -5*l + 4*n = -17. Let x be -4*6/(-24)*2. Suppose 5*j - 22 = z, -13*j + 15*j = x*z + 4. Which is smaller: l or z?
l
Suppose -4*l + 1390 = -o - o, 5*l - 1705 = -4*o. Let c = 674 - l. Which is smaller: 328 or c?
328
Suppose -301*r - 4*n - 18 = -299*r, n = -3*r + 13. Let k = -0.83 + 0.9. Which is bigger: k or r?
r
Let u be -4 + (-4)/10 + 14/10. Let t be (7 + -1)/(u + 27/6). Let y be (28/(-49))/(-4*(-2)/t). Which is bigger: -9 or y?
y
Let h be (((-9 - -7) + 1)*0)/3. Are h and -1/18231 nonequal?
True
Let g = 58882/553581 - 65/609. Which is smaller: 1 or g?
g
Suppose -668*s + 678*s = 35670. Are s and 3567 unequal?
False
Let f = 2276 - 2279. Do 817 and f have the same value?
False
Let n be (-15*(-6)/(-18))/(14 - 9). Is n less than or equal to 6/1895?
True
Let v(q) = q**3 - 7*q**2 - 6*q + 6. Let f be v(10). Let y be (91/(-21) - -5)/((-4)/f). Are y and -38 equal?
False
Let w be 1*658*99/198. Does w = 326?
False
Suppose 0 = -24*r - 207 + 735. Suppose 6*j = -5*j + r. Which is bigger: 88 or j?
88
Let x be 2 + -1 - (-2 - -1). Suppose 3*j - x*v = 518, 0 = -5*v + 5 + 5. Let q = j + -104. Which is smaller: q or 69?
69
Suppose 2*g = -3*r + 41, 2*g + 20*r = 19*r + 39. Let l be 3/(-3)*(1 + -2). Let w be (l/(-2))/(7 + -8). Is g bigger than w?
True
Let p(t) = 6*t - 13. Let b be p(3). Suppose -54 = -b*o - 99. Are o and -12 nonequal?
True
Let z = 4851.9 - 4792. Let k = -1.2 + 1.2. Is k smaller than z?
True
Let z be (-78351)/11275 - (-5 - 2). Which is bigger: z or 0?
z
Let l be (0 - 4) + 2136/532. Suppose 0 = -b + 4*g - 8, 5 = 2*b - g - 0*g. Suppose -b*n + 2*n = 2. Is n at least as big as l?
False
Let u = 101 + -23. Suppose -b - 1 = 0, -6*x + x - 2*b + u = 0. Let f(d) = -d**2 + 22*d - 23. Let r be f(20). Which is smaller: x or r?
x
Suppose 45*y - 47*y = -40. Suppose 0*x = -2*x + 3*j + 10, 5*j = -y. Which is smaller: -7/33 or x?
x
Suppose 0 = -2*s - 2*s + 4. Let o = 87 + -84. Let l be 0 + o + 0 + -1. Which is smaller: l or s?
s
Let y(d) = 5*d**3 - 6*d**2 + 2. Let m = -63 + 68. Let z be y(m). Suppose 4*i + z = 13*i. Which is greater: i or 54?
54
Let a = -1297 + 24631/19. Let r = -74/57 - a. Let i be (3 - (0 - -3))/(-6). Are i and r nonequal?
True
Let j(y) = -2*y**2 - 83*y - 38. Let s be j(-41). Let r(l) = l**2 + l - 12. Let t be r(s). Which is bigger: t or -1/7?
t
Let t = 578989/3 + -192997. Let i = -57.8 + 60.93. Is t less than i?
True
Let m = 42/35341 - -196813399/530115. Let r be 53*(-6)/(-6)*-7. Let s = r + m. Is 0 bigger than s?
False
Let k be (-64)/14 - (-3 - 72/(-21)). Let w be k*(6/30)/(-1). Which is smaller: w or -140?
-140
Let t(q) = 6*q**2 + 29*q. Let u be t(0). Are u and 47/356 equal?
False
Suppose 5*x + 2*s - 23 = 0, -3*s + 7 = 2*x - 0*s. Let u(g) = -53*g**2 - 2*g - 4 + 45*g**2 - g**3 - x + g. Let w be u(-8). Which is smaller: -1/26 or w?
w
Let g = -92.037 - -92. Let s = -0.037 - g. Suppose -5*l + 5*j + 1 - 21 = 0, 0 = 3*l - 4*j + 14. Is l smaller than s?
True
Let b(t) = 3*t + 1 - 162*t**2 - t**3 - 161*t**2 + 488*t**2 - 163*t**2. Let c = 8 - 5. Let d be b(c). Is d > -6/19?
True
Suppose -2887*i + 28340 = -2907*i. Which is bigger: i or 0.2?
0.2
Let z = 13659 - 13659.0348. Is -2/13 less than or equal to z?
True
Let b = 25376 + -25376.08351. Is 0 less than b?
False
Let i = 135.2855 - -0.7145. Are 1/4 and i non-equal?
True
Let a = -370.8734 - -371. Let h = -0.0616 + a. Which is greater: 2 or h?
2
Let o be (7 - (-5 + 3))/(3/7). Suppose -o*s - 50 = -31*s. Suppose 2*y + s*z - 10 = 0, 2*y - 2*z - 28 = 10. Is 17 at most as big as y?
False
Let q = -16 + 19. Suppose -24 = -q*w - w. Suppose 3*r + 2*j + w = 0, -2*j = 5*r - 0 + 6. Which is smaller: 2/113 or r?
r
Let v = -4583 + 4501. Which is smaller: -79 or v?
v
Let x = -128 + -7. Let d be 50/x*(-36)/15. Suppose 3*v = 5*h + 23, 24 - 4 = -5*h. Which is smaller: v or d?
d
Let q = -8774 + 8767. Is q < -28?
False
Let k be ((-504)/2016)/(1/(-7)). Let x be (0 - -1) + 883/(-5). Let c = x + 175. Is k greater than c?
True
Let m(z) = 6*z**2 + 8*z - 38. Let b be m(-5). Suppose -63*q - 36 = -b*q. Are 32/11 and q nonequal?
True
Let t(s) = 20*s + 33. Let q be t(11). Suppose -25664 - 19192 = -162*d - 16*d. Are q and d non-equal?
True
Let w = -13 + 68. Let v = w + -56. Suppose 4*y = -2*s + 2, 3*s + 7*y - 3 = 4*y. Is v > s?
False
Suppose -5*k - 54 = -u, -21*k - 3*u = -25*k - 52. Let g be -1164