smaller: r or 1?
r
Let x be (-24)/(-81)*(-63)/42. Let v = -763 - -40437/53. Which is greater: v or x?
v
Suppose h + 10*l - 6 = 8*l, 0 = -3*h + 5*l - 15. Which is greater: h or 3/5282?
3/5282
Let v = -29 + 12. Let p = 1572995/4 + -393248. Which is greater: p or v?
p
Let g = -3338 - -2636. Are g and -701 equal?
False
Let t = 66/6851 - 16011117/34255. Let f = t - -462. Let c be 19/(-4) + 3/(-12). Which is smaller: c or f?
f
Let f(t) = 92*t + 115. Let l be f(3). Let m = 330 - l. Is m less than -62?
False
Let l be (-73)/3 - 4/(-6). Let m(j) = j**3 + 4*j**2 - 73*j + 19. Let b be m(-11). Is l > b?
True
Let a = -1481 + 4040. Which is smaller: 2560 or a?
a
Let u(i) = 30*i**2 - 43*i + 114. Let x be u(3). Are x and -0.03 nonequal?
True
Let i = 18003/28 + -88913/140. Let c = -60/7 + i. Let t(u) = -u + 7. Let y be t(7). Which is smaller: c or y?
c
Let l = -2445 + 2414. Is l equal to -23?
False
Let c(q) = -324*q**3 + 30*q**2 - 7*q + 9. Let v be c(2). Is -2477 smaller than v?
False
Suppose -80*a - 16*a + 288 = 0. Let m be (0 + 1)/(1/8). Suppose p = a*p - m. Which is bigger: 6 or p?
6
Let b = 73651/2 - 10937185/297. Which is bigger: b or 1?
1
Suppose -3*x = 6*p - 5*p + 4, -4*x = -3*p + 27. Suppose 0*z = -p*z + 15. Which is smaller: z or 8?
z
Let n be (0 + 1)/(-76 - -1). Suppose 2*t + 2*v - 54 = 0, -t + 18*v + 12 = 14*v. Suppose -w = t*w + 35*w. Is n at least w?
False
Let v(j) = -2*j - 1. Let c be v(-6). Suppose h + 2*p = -h - 10, 4*h + p = -c. Let s = 42.19 - 43.59. Which is greater: h or s?
s
Let q = -2.3329 - -0.3329. Which is bigger: 716 or q?
716
Suppose 0 = 5*x - 0*c - 3*c + 286, 284 = -5*x + 2*c. Let t = x + 56. Suppose 0 = 3*j, -j = h - t + 5. Which is smaller: 0 or h?
h
Suppose -2*y = 2*b - 850, b = -652*y + 650*y + 429. Which is smaller: b or 422?
b
Let n(l) = -18*l - 597. Let z be n(-33). Is z != -32?
True
Let o(u) be the first derivative of -3*u**2 - 1/4*u**4 + 3*u**3 + 14*u - 30. Let d be o(8). Do 30 and d have the same value?
True
Let j be 1/8*-6 + (-1)/4. Let h be (-2420)/6930 - (-2)/6. Are j and h nonequal?
True
Let w(o) = o**2 + 140*o + 1550. Let m be w(-12). Is m less than or equal to -133?
False
Suppose 5*r - 2220 = -13730. Which is smaller: r or -2301?
r
Let m = 1 - 0. Let i be 8 - m/(3/3). Let r = -92 + 98. Which is greater: i or r?
i
Let r be (-4)/((-9 - -8) + 6/8). Let i be (-9)/((-36)/r) - 2. Suppose 0 = -d - b + 14 + 8, -3*d + i*b = -91. Is d not equal to 28?
True
Let q be (6/(-9))/((-26)/(-195)) - (-48391)/9678. Is q at least as big as -1?
True
Let y(a) = a**3 + 7*a**2 - 21*a + 10. Let h = -133 + 124. Let l be y(h). Which is bigger: l or 34?
l
Let g(p) = -11*p - 78. Let s be g(-20). Let j = s - 127. Is 71/5 equal to j?
False
Let f(j) = -j**2 + 3*j + 8112. Let z be f(0). Let n = -1435820/177 + z. Let v = 743/9381 - n. Which is bigger: -1 or v?
v
Let u(c) = -c**3 - 15*c**2 - 15*c - 19. Let v be u(-14). Suppose 2*o = 2*p - 5*p + 15, o - 4*p = 35. Let t = o + -20. Is t greater than v?
False
Let j be ((-8)/10)/((-8)/(-20)). Let t = -11574 + 11636. Are j and t equal?
False
Let w = 2/21 + 0. Let n = -5.19 + -8.81. Is w > n?
True
Let f be (1 + -10)*164/12. Let o(i) = 51*i**2 - 156*i + 10. Let u be o(4). Let w = f + u. Is w at least as big as 79?
True
Let p = 396.1 - 369. Let u = p - 29.1. Is 18/13 < u?
False
Suppose 4*d - x + 13 = 0, 4*d - 3*x = -15 - 8. Let f be (d/(-18))/(25/(-75)). Let j = 0.1 - 0.14. Which is smaller: j or f?
f
Let m = 4284 + -629749/147. Is m <= 1?
True
Suppose 0 = -x + 1 - 3, 3*x = 5*n - 26. Suppose 0 = -7*j + 2*j + p + 55, 5*p + 65 = n*j. Are 19 and j equal?
False
Suppose -3*l + 246 = -3*f - 96, l - 4*f = 99. Suppose l = -15*p - 421. Which is smaller: p or -38?
-38
Let u = 30 - 20. Let r(h) = 34*h - 47. Let x(z) = -25*z + 46. Let g(y) = 2*r(y) + 3*x(y). Let d be g(7). Which is smaller: u or d?
d
Let a = 4.85 - 4.9. Let q = a + 0.35. Let u = -44 - -29. Which is bigger: q or u?
q
Let w = -28.217 + 28.2. Let g = -1.017 - w. Let n = 10 + -7. Are g and n unequal?
True
Let c = -14766 - -14768. Do 36/67 and c have the same value?
False
Let q(z) = -10*z - 2. Let u be q(3). Let n = 22 + u. Let v be 5/(-2)*68/n. Which is greater: v or 18?
18
Let z(c) = -c**3 + 11*c**2 + 26*c - 8. Let k be z(13). Let a be 0/(1 - 1/(-2)*k). Which is bigger: a or 44?
44
Suppose -5*w - 1621 = -361. Let p be (294/w)/(5/2). Which is smaller: p or -0.1?
p
Let r be 17 + -11 - (-131298)/(-21882). Let z = -27093/3647 - r. Suppose -2*g - 2*g - 24 = 0. Which is smaller: g or z?
z
Let u(o) = -1. Let h(v) = 3*v + 19. Let m(q) = -2*q - 17. Let w be m(-8). Let i(f) = w*h(f) - 3*u(f). Let z be i(-5). Are z and 1/9 equal?
False
Suppose 6 = 187*j - 181*j. Let n = -5542/15 + 369. Which is bigger: n or j?
j
Suppose 1248 + 2195 = 11*u. Suppose r + g = 3*r - 631, 2*r - 4*g = 640. Does r = u?
False
Let j = -331.1 - -330.9. Which is greater: j or -7/121?
-7/121
Let y be (62 + -79)/((-2)/4). Suppose -y = 34*u - 0. Which is greater: u or 0.135?
0.135
Let w be (-5844)/(-96)*12/9 + 5. Do w and 86 have different values?
True
Let l = 658 - 657. Let b be 4/1212*l*(-30)/(-20). Which is smaller: b or 0?
0
Let a(x) = -x**3 - 5*x**2 + 21*x + 26. Let j be a(-7). Let f = 33 - 57. Is j bigger than f?
True
Let j be (-1 - 2224/102) + (-18)/324*-24. Is -22 greater than j?
False
Let g be -6*((-2)/(-6))/1. Let r be 707/(-14) + g/(-4). Let f be (36/10)/(15/r). Is -12 not equal to f?
False
Suppose 2*c - 4*o + 14 - 8 = 0, -4*c - 3*o - 12 = 0. Let u be (-305)/15*c + 3. Suppose 4*f - u = 8. Which is bigger: 17 or f?
f
Let u be (-9)/(-6)*(-130)/(-15). Suppose -3*r - d = -14, u + 1 = -2*r + 4*d. Suppose 21 = f + 5*g, -7 = -r*f - 3*g + 2*g. Is 6 >= f?
True
Suppose -2*u + 0 = 3*f - 6, -2*u + 2*f - 14 = 0. Let r(c) = -13*c + 1. Let a be r(u). Let j be (-10)/4*(0 - a/(-1075)). Which is smaller: 0 or j?
j
Suppose -2*h - 70*a = -72*a - 20, -4*a = 3*h - 23. Is h less than 50?
True
Let r(t) = -152*t**3 + 1. Let l be r(-1). Let d be l*(1 + 10/(-6 - -1)). Is d at most as big as -154?
False
Let a(v) = -v**2 - 32*v + 54. Let y be a(5). Which is bigger: y or -135?
y
Suppose -228*k - 18144 = -260*k. Is 566 greater than k?
False
Let u(f) = -354*f - 8582. Let h be u(-74). Are 17614 and h nonequal?
False
Suppose -4 - 4 = z. Let d = z + 1. Suppose 0 = 4*y + 3*b - 1, -38*y - 20 = -34*y - 4*b. Which is smaller: d or y?
d
Suppose 2*u - 446 = -5*m, -4 = 3*m + 8. Suppose u = 14*t + 37. Let q = -3 + t. Is q greater than 12?
False
Let g(z) = -z**2 - 8*z + 8. Let c be g(-9). Let m be (c*2)/(1 + 1). Let j be 9 + 2072/(-220) + 9/15. Which is smaller: j or m?
m
Suppose 0 = -3*k - 4*h + 1024, 615*k = 614*k - h + 342. Which is smaller: 2/3 or k?
2/3
Suppose 16*u = 2 + 46. Suppose 2*p = -23 + 27, -u*v + 44 = -2*p. Does v = 8?
False
Let s be 12023/60165 - (-11 + ((-4312)/(-35))/11). Which is smaller: s or 1?
s
Let t = -9783 + 127025/13. Let g = t - -13. Which is bigger: 1 or g?
g
Suppose -3448*b = -3494*b + 3680. Which is bigger: 74 or b?
b
Let m = -1259 + 10069/8. Let a = -1052/25 - -95128/2225. Let j = 2/267 - a. Is m greater than j?
True
Suppose 144*s = 148*s + 4. Suppose 4*y - 288 = 2*y. Let g be (-6)/27 - 238/y. Is g at most as big as s?
True
Let y = 37870 - 318297352/8405. Which is smaller: 0 or y?
y
Let r = -13391 - -13391.5. Which is smaller: r or 2114?
r
Let t = 318 + -307. Let y be (9/(-441))/(t - 1). Is 1 at least y?
True
Suppose 0*m + 7*m = 0. Suppose 7*g + 31 + 109 = m. Do g and -19 have the same value?
False
Let o = 14142 + -12975. Which is bigger: 3 or o?
o
Suppose -908*f - 740 = -4*m - 911*f, 2*f = -3*m + 554. Which is smaller: 183 or m?
m
Suppose 3 = 26*h - 29*h. Let f be -1 + 3 + (h - 43/1). Let l be (11/5 - 2) + f/10. Which is greater: l or 1.2?
1.2
Let l = 1776/115 + 396201/460. Is 877 > l?
True
Let w = 14/2075 - 27572/26975. Does -1 = w?
False
Let o = 123 - -77. Suppose o = -3*w + 11*w. Suppose 5*l = -5*d - w, 5*d + 13 = -3*l + l. Is -1/210 at least d?
True
Let p(j) = 18*j**2 + 468*j. Let z be p(-26). Which is smaller: z or -41/52?
-41/52
Suppose -2*p - 2*h - 133 = -5*p, p - 43 = 2*h. Suppose -6*o - 69 - p = 0. Which is bigger: o or -20?
o
Let b = 8574691/118 - 72666. Which is bigger: 2 or b?
2
Let m = -0.8 - -0.9. Let i = 44616.7 - 44607. Is m < i?
True
Let j = -1.065 - -0.065. Let q = j + 1.09. Let s