gger: z or 15?
15
Let r be 3/(21/(-2)) + (-14906323)/(-9608158). Let s = 23/1126 - r. Let a = s - -830/1007. Is 0 <= a?
False
Let s = -4313 + 4049.1. Let x = s - -264. Which is greater: x or 2?
2
Let j = 10221 + -6275. Which is smaller: 3948 or j?
j
Let i be ((-73 - 0) + 1)*1. Let b(c) = -27*c + 63. Let n be (2 - -8) + (-1 - 4). Let j be b(n). Are i and j equal?
True
Let v = 17720 + -17723. Which is greater: 570 or v?
570
Let b be 17*(12 - (-1015)/(-85)). Which is smaller: b or -5/7266?
-5/7266
Suppose -5*m + 3*r = -30, -r + 1 = m - 13. Let d be 6/m - (-115)/(-210). Let y = 41/126 + d. Which is bigger: 1 or y?
1
Suppose 2*l + x - 12 = 0, 3 - 5 = -x. Suppose 0 = 5*h + 5*t + 30, l*h + 6 = -4*t - 25. Is -29/5 not equal to h?
True
Suppose 7*j - 11*j = -208. Suppose -j*f + 54*f - 242 = 0. Is f greater than or equal to 120?
True
Let j = 6985 + -7423. Is j < 1/2?
True
Suppose -2*x - 4*x = -426. Let m = x + -72. Suppose -14 = -29*a + 31*a. Is a bigger than m?
False
Let v = -7884247/988 + 7980. Are 1 and v non-equal?
True
Suppose -u = -a + 3 + 24, a - 4 = 0. Let v = 44 + u. Let c = 21 - v. Is -5/6 != c?
True
Suppose -c + 5*c = 36. Let u(t) = -t**2 + 2*t + 5. Let s be u(3). Let w be (3 - 7) + (14*1 - s). Which is smaller: w or c?
w
Let a(s) = s**2 - 8*s - 7. Let o be a(7). Let w be (-8)/14 - (-36)/o - -3. Let f = -0.2 - 0.2. Which is smaller: w or f?
f
Let h = -59 + 40. Let b(f) = 2*f + 34. Let x be b(h). Let c = -1 + -3. Is x less than c?
False
Suppose 0 = -2*l - 567 - 217. Let b(k) = k**3 - 19*k**2 - 20*k - 13. Let g be b(19). Which is bigger: l or g?
l
Let t = 50621/5 + -10038. Let h be (5 + 1)/((-1)/((-87)/6)). Is t at most h?
True
Let i = -16410 - -19966. Which is smaller: 3555 or i?
3555
Suppose 4*s = 2*c - 2272 - 3186, 14 = -2*c. Is s equal to -1366?
False
Let n = -513 + 408. Let v = -360 - -255. Are v and n non-equal?
False
Let p = -114846/97 - -1184. Let f = -245708 + 245709. Is p not equal to f?
True
Let j = 19.515 + -19.015. Let u be -6 - (2 + (-2 - 1)). Let m be 4/(-18) + u/18. Are j and m equal?
False
Let f = 3.53 + -3.53. Let z = f - 0.1. Is z equal to 1/42?
False
Let z be (-6)/28 - (-2)/4. Suppose -3*l - 24 = -2*w + 8, -3*w - 2*l + 22 = 0. Suppose w*y + 190 = 250. Which is smaller: z or y?
z
Let j = -12.3877 + 2.3877. Are -114 and j equal?
False
Let w = 0.43 + -256.43. Let p = 263.9 + w. Which is bigger: 2 or p?
p
Let m = -13182 - -13857. Do 6088/9 and m have the same value?
False
Let p(s) = -s**3 + 13*s**2 - 11*s - 15. Let y be p(12). Is -8 equal to y?
False
Let g(z) = -3*z**2 + 3*z + 17. Let k be g(-5). Let a = k - -79. Let b be 4/a + 2/(-3). Which is greater: b or 1/20?
1/20
Let t(v) = -5*v + 23. Let w be t(13). Let m be (-2)/(-10) + w/(-90) + 0. Let r(o) = o**3 + 20*o**2 + 33*o - 53. Let z be r(-18). Is m at least z?
False
Let h(f) = -5*f**2 - 43*f + 188. Let z be h(5). Let q = z + 157. Which is smaller: -12 or q?
-12
Suppose 0 = 2*i + 2*k + 18359 - 2439, 5*i - 3*k + 39792 = 0. Let z = -2491170/313 - i. Which is smaller: 0 or z?
z
Let g = -99 - -109. Let o be (-16*3/(-60))/(4/g). Which is bigger: o or 3?
3
Suppose -3*x = 2*v - 66, -39*v = 2*x - 41*v - 34. Let r be (1/3)/((-35)/(-21)). Which is bigger: x or r?
x
Let b(z) = -705*z - 9779. Let s be b(-14). Is s not equal to 83?
True
Suppose 2*j + 1 + 5 = 0. Let a = 144 - 140. Suppose 5*x - 6 = z + 6, -4*z = -a*x. Do j and x have different values?
True
Suppose -2 = -s + 4. Let d(y) = 6*y - 36. Let g be d(s). Suppose g = -5*h + 7*h. Which is smaller: h or -3/26?
-3/26
Let q(x) = -x**2 + 24*x - 22. Let b be q(14). Suppose b = -2*l + 32. Is l bigger than -45?
True
Let q = 49.2 + -43. Let s = q - 6.39. Let i = 0.31 - s. Do i and 2/7 have the same value?
False
Let a = -4 - 6. Suppose 53*c - 48*c + 2533 = 154*c. Which is smaller: c or a?
a
Let x = 7.4095 + -0.4795. Which is smaller: 0 or x?
0
Let q(a) = 7*a**2 - 25*a + 2. Let h be q(3). Let p = -5729/623 - 8/89. Which is bigger: p or h?
p
Suppose 2*b = 7*b - 13*r + 34, 0 = 3*b - 2*r + 3. Which is smaller: b or 6/7507?
6/7507
Let c be (1/(-2))/(19158/12 - 4). Which is greater: 1 or c?
1
Let j = -0.0787 - -574.0787. Let h = -577 + j. Let q be (4/(-27))/(2/3). Which is bigger: h or q?
q
Let g be ((-5)/(-20))/((-2)/6). Let c = 978.13 - 978.1. Is c at least as big as g?
True
Suppose -2*m - 2 = 2*j, 0 = -2*j - m - 5 + 7. Let f be (j/(-9)*-3)/(6/102). Which is smaller: 19 or f?
f
Let a be 2 - 1528/(-56) - 2/7. Is 151/5 <= a?
False
Let t be -7 + -243 - (9 - 3). Let h = -256 - t. Which is smaller: h or 2?
h
Let l be (17/(714/(-792)))/(76/(-14)). Is l bigger than 2?
True
Let r = -4112 + 3847. Which is bigger: r or -267?
r
Let p be 18/(-4)*5 + (-3)/(-2). Let u be 376/(-14) - 45/18*-2. Which is bigger: u or p?
p
Let a be 6/(((-4928)/76)/28). Is 0.08 > a?
True
Let m = -822 - -752.8. Let r = m - -77. Let n = r + -7. Is -2 at least as big as n?
False
Let h = 1363 - 1351. Suppose -5*u + y = -u - 320, 0 = y - 4. Suppose 3*j = h*j + u. Which is greater: -7 or j?
-7
Suppose 7*b + 19*b + 696 = -3*b. Let i = 6 + -2. Is b < i?
True
Suppose 4*r = -4*w + 24, -6*r + 26 = -3*r + 5*w. Suppose -r*g + 15 = -5*d, 0*d + 17 = -2*d + 3*g. Which is smaller: -24/29 or d?
d
Suppose 0 = 3*h + 2*n - 1156, h - n - 397 = -4*n. Let v = h + -340. Is 42 greater than v?
False
Let d be (50/95)/(8/(-4)). Let p(t) be the second derivative of -t**3/6 - 6*t**2 + 14*t. Let k be p(-11). Which is smaller: d or k?
k
Suppose 0 = -3*i - 2*p + 24 - 84, -4*i - 2*p - 78 = 0. Let z be (-8670)/(-135) - (1 + 14/i). Let x = 53 - z. Which is smaller: -12 or x?
-12
Let p be ((-26)/6)/((-2)/216*-15). Suppose -2*s + 5*s = 3*m + 96, 2*s = 0. Which is smaller: p or m?
m
Let c be 2/(-3)*((-65875)/(-36828))/85. Which is smaller: -1 or c?
-1
Let a(m) = -23*m + 34. Let s be a(5). Let i = 12 + s. Let h be 3 + (2 - i/(-15)). Which is smaller: 2 or h?
h
Let s = 226 - 232. Let x be (-2 + (-16)/s)/((-14)/(-105)). Does -4 = x?
False
Let v = 298/21 - 80183/5649. Is v greater than or equal to 1?
False
Let y be 27820/(-7000) + 2 + 2. Let f = 19182143/65180850 + -1/186231. Let z = y + f. Which is greater: 0 or z?
z
Let b = 234484 + 53049. Let o be 4/46 - b/(-943). Which is smaller: o or 306?
o
Let y(n) = 3 - 4*n**2 - 3*n + 3*n**2 + 6*n. Let d be y(-2). Suppose -2*j - l - 15 = 0, -l = 81*j - 82*j - 6. Is d at most j?
True
Let o(s) = s**2 - 2*s - 12. Let d be o(-3). Suppose 12*t - d*t = -1224. Which is smaller: t or -137?
-137
Let a = 2706 - 1843. Which is bigger: 866 or a?
866
Let i be (-183)/(-210) - ((-144)/192 - (-26)/40). Suppose -2*x - t + 2*t = 1, -3*x - 4 = -4*t. Is i < x?
False
Suppose 0 = -5*i - 5*t + 39720, 4*t = 5*i + 7*t - 39712. Let a be (-135)/19 - -7 - i/19. Which is bigger: a or -417?
-417
Suppose 11*z - 158 + 983 = 0. Let b be ((-12)/10)/((-285)/z). Which is bigger: 6 or b?
6
Let i be 24/(-270)*-3*(-4458940)/(-42). Let z = i - 28312. Let w = 14/9 + z. Which is smaller: w or -1?
-1
Let y = -6983 + 6978. Let p = 10 + -4. Let h = y + p. Which is smaller: -6 or h?
-6
Suppose 2*y - 11 = h - 260, -5*y + 2*h = 624. Let f = y + 66. Let j be (51/8)/(f/16). Which is greater: -2 or j?
j
Suppose -2*b - 18 = 5*f, -2*f + 7 - 14 = b. Let l be (-101)/(-653)*(-50)/58. Let s = l + -3/653. Which is greater: s or b?
b
Let w(j) = -j**3 + 4*j**2 - 53*j + 202. Let q be w(4). Do q and -1/637 have the same value?
False
Let b = -54.6 - -54.7. Is -6950 <= b?
True
Suppose 79*k + 10457 + 129136 = 0. Is k > -1771?
True
Let b = 1.54 + 94.46. Let u = b - -12. Let q = u - 107.7. Which is greater: -1.6 or q?
q
Suppose 71*a = -78*a + 54*a - 10*a. Does a = -2/50799?
False
Let n be 3900/(-210) - (-4)/7. Let d be -3*2/3 + (-40)/n. Suppose 15 = -3*w - 3*q, -3*w - 10 = 7*q - 3*q. Which is smaller: d or w?
w
Let h(f) = 6*f + 423. Let l be h(-64). Let r = 80 + -42. Is l bigger than r?
True
Let k = -0.7652 - -2.7652. Which is greater: -847 or k?
k
Let y be ((-2)/(-7))/((-3)/(231/(-10076))). Is y bigger than 1?
False
Let g(b) be the first derivative of -b**2/2 + 6*b + 3. Let z be g(7). Let s = 11108.8 - 11109. Do s and z have the same value?
False
Let u(a) = 7*a + 358. Let b(d) = -13*d - 716. Let l(z) = 3*b(z) + 7*u(z). Let i be l(-36). Does i = 0.076?
False
Suppose 0 = -2*n + 21 - 15. Suppose 5*z - 3*z + 66 = -3*x, n*z - 9 = 0. Let d be x/14*(-70