 d bigger than h?
False
Let a be 613/4*(-3 - (-5)/(-5)). Let o = a + 4313/7. Let k = o + -20/7. Which is smaller: -1 or k?
-1
Let b(s) = -s**2 - 8*s - 36. Let t be b(12). Let a = -3038/11 - t. Which is bigger: 0.1 or a?
0.1
Let z(t) = -t**3 - 4*t**2 + 4*t - 1. Let h be z(-5). Suppose 10 = 4*b + h*y - 630, 0 = -y + 5. Let j be 3 - b/110*2. Which is smaller: j or -1/7?
-1/7
Let l(k) = 8*k + 208. Let w be l(-22). Let r be 21/(4200/w)*4/(-2). Is -1 <= r?
True
Suppose 35*f = 104*f - 138. Is f > -4?
True
Let s = -3.9 - -3.98. Let o = -119 + 121. Is s greater than or equal to o?
False
Let r = 763 + -719. Which is bigger: r or 36?
r
Suppose 0 = 21*w - 18*w + 9, -w + 112 = -5*u. Which is smaller: u or -11?
u
Let h(z) = -356*z**3 + 15*z + 357*z**3 - 34 + 12*z**2 + 5. Let k be h(-10). Which is smaller: k or 22?
k
Let c(x) be the first derivative of x**4/4 - 6*x**3 + x**2 - 16*x + 3. Let b be c(18). Suppose 22 = -b*f + 19*f. Is f at most -1?
True
Let l = 1132.32 - 1132.2. Which is smaller: l or 559?
l
Let d = 6667/358 - 22/179. Which is smaller: d or 18?
18
Let v = -21/46 - -89/598. Suppose -28 = -0*q - 2*q. Suppose 12 - q = -2*m. Which is smaller: v or m?
v
Suppose -5*f + 16 = -7*f. Let v = 7 + f. Let y be (-2)/v - (-1840)/(-910). Which is bigger: 1 or y?
1
Suppose -945*m + 782*m = -67808. Are -2/21 and m equal?
False
Let a be 10/3*(-1047*9/216 + 23)*-8. Let i be 1098/(-8)*(2 - 6). Which is smaller: a or i?
i
Let m = 6/11 - 40/33. Let u = 817 + -809. Do u and m have the same value?
False
Let w = 0.01709 - 0.21709. Is -823 at most as big as w?
True
Let m be (4 - (-102)/50)*55/(-165). Is m at most as big as -3?
False
Suppose 19 = 21*t - 23. Let n = 87 - 43. Suppose n = -3*z + 2*j, 2*z + 0*z = -j - 41. Is t <= z?
False
Suppose 0 = -5*r - 1696 - 634. Let t = 684 + r. Is t bigger than 218?
False
Let b be (-8)/(-36)*18/91968252. Let d = 29981685139/804423308181 - b. Let j = d - 2/593. Which is greater: 0 or j?
j
Suppose -75*r - 3508 - 4837 = 505. Which is bigger: -1311/11 or r?
r
Let z be (-5)/(35/42) + 10. Suppose 4*m + h + 51 = -41, -84 = z*m - h. Which is smaller: -106/5 or m?
m
Let q(g) = 3*g**3 + g**2 + 2. Let n be q(-2). Let r be n/(-27) - (-20)/(-66). Suppose 4*d - d - 3 = 2*w, 0 = -3*w - 3*d + 3. Which is bigger: r or w?
r
Suppose 0 = 10*x - 14*x + 308. Suppose -x = 214*o - 221*o. Are o and 94/9 non-equal?
True
Let l = -67 - -65. Let m be (1 - 1) + (12/(-33))/l. Let c = m - -3/44. Is 6 at most c?
False
Let y = 10 + -7. Let z = 23 + -25.2. Let k = 2.5 + z. Which is greater: k or y?
y
Let q = -132892556/47 - -2827382. Let o = 590535/4559 + q. Let a = o + -2/291. Is a at most as big as 11?
True
Let q = -529191961/1181 + 448088. Which is smaller: -1 or q?
-1
Suppose 0 = 10*z - 11*z - 16. Suppose -2*k - 4*l = 56, -l + 198 - 140 = -4*k. Do z and k have the same value?
True
Let k = -36 - -61. Suppose 11*t = -10*t + 63. Suppose -46 = -2*s + 4*x, 0 = -t*s - 4*x + 105 - 26. Is k greater than or equal to s?
True
Let d(b) = 26 + 39*b**2 - 33*b**2 - 42*b**2 + 11*b. Let u be d(-2). Are u and -141 unequal?
True
Let z(l) = -l**3 - 77*l**2 - 294*l - 145. Let p be z(-73). Which is greater: p or 84/61?
84/61
Let j = -4596 + 4312. Which is bigger: j or -295?
j
Let d be ((-15)/(-18))/((-16080)/(-144)). Let h = -0.1 + 0. Which is bigger: d or h?
d
Let r be 4/22 - (984/88 + -14). Suppose f - r = 0, 20*f = -2*x + 15*f + 31. Is x greater than or equal to 6?
True
Let z(h) = 327*h + 553. Let s be z(-19). Which is smaller: s or -5663?
-5663
Let u = -2/17 + -62/51. Let l = 15961.9 + -15962. Is u <= l?
True
Let x(r) = -740*r + 623. Let k be x(1). Let w = 160 - 276. Is w greater than or equal to k?
True
Let j = 1550210/188877 - 4/6513. Which is smaller: j or 9?
j
Let w(q) = 24*q + 1367. Let h be w(-57). Which is smaller: -48/275 or h?
h
Let n(m) = m**3 + 17*m**2 + 1. Let a be n(-17). Let q be 18/10*(-105)/(-126). Is q at least a?
True
Let u be 2/(-3) + 237/450. Suppose 444*l - 86 = 530*l. Which is greater: u or l?
u
Let g = -3.2 + 3.65. Let m = g + -0.4. Let s = -40.05 + m. Which is smaller: -1/2 or s?
s
Suppose 74 = 59*p + 15. Let n = -14.82 + -0.18. Is p greater than n?
True
Suppose 4*r = 6*r + 2. Let x = 228 + -236. Is x less than or equal to r?
True
Let i = 1.9073 + -173.9073. Which is smaller: -30 or i?
i
Let u = 67.815 + -68. Let z = u - 119.815. Let g = -119.9 - z. Which is bigger: -83 or g?
g
Let a be (-6)/21 + 90/266. Suppose 3 = 3*p, 3 = 2*x - 5*p + 2. Suppose x*u + u = k + 1, 2*k + 2 = 3*u. Do a and u have different values?
True
Let a = 2.8 + -3. Let j = -59591 - -59632. Is j >= a?
True
Suppose -4*t + 7*t + 3*l = 228, 0 = 3*t + l - 234. Which is smaller: 77 or t?
77
Let x(i) = -12*i**2 - 602*i + 31. Let z be x(-36). Is z at most as big as 6153?
True
Let z be 7 - 1621*(4 + 40/(-8)). Are 1633 and z equal?
False
Let m = -13607 + 13609. Do m and -0.05342 have the same value?
False
Let l(r) = -r**2 - 17*r - 19. Suppose 0 = -2*c - 8 - 24. Let g be l(c). Let m = -17 - -13. Is m equal to g?
False
Suppose 0 = -5*n + 2*j + 52, 2*n - 5*n + 48 = 3*j. Suppose -121 = m - n*m. Is m bigger than 10?
True
Let a(g) = -2*g + 0*g**2 + 2*g + 3*g**2 - 7*g - 10 + g**3. Let v be a(-4). Let z(l) = -10*l + 80. Let k be z(8). Which is smaller: v or k?
k
Let j = -414 + 415. Suppose 33*z - 28*z - 2*h - j = 0, 4*z - 2 = h. Which is smaller: 1/136 or z?
1/136
Suppose 5*g + 474*d = 470*d - 2336, g + 478 = d. Is g <= -474?
False
Let o(b) = -12*b**2 + 9*b - 30. Let k be o(4). Let j = -203 - k. Is -17 > j?
False
Let h = -149083 - -86915447/583. Which is smaller: 1 or h?
h
Let c(o) be the third derivative of 7*o**4/12 + 26*o**3/3 + 96*o**2. Let h be c(-8). Is -60 at most h?
True
Let k = 5439 - 7893. Does k = -2454?
True
Let w be (4060/60)/(-7)*-3. Is w at most 26?
False
Suppose -17*v + 18*v = 0. Is v not equal to 2/4469?
True
Let k = -3 + 6. Let a be (2/10)/((-53)/(-1060)). Suppose a*g = 2*t + 3 + 1, -3*g + 4*t + k = 0. Is 11 equal to g?
False
Let n = -6.1 + 6. Let l = -16.3 + 5.6. Let h = 10.33 + l. Which is bigger: h or n?
n
Let j be -145 + (-2)/(-3) + (-4)/(-3). Let x = -144 - j. Let b be ((20/5)/(-372))/x. Is 0.1 greater than b?
True
Let t = -700 + 695. Let l = -0.01 + -0.21. Let c = 0.22 + l. Which is bigger: c or t?
c
Suppose 5*u - 4*h = -52, 19 = -2*u + 3*h - 2*h. Let y = u + 7. Let g be 174/(-38) - (8 + -16 - -5). Does y = g?
False
Let r = -3844 + 4552. Is 706 < r?
True
Suppose 2*j - 8 = -18. Let n(i) = -i**2 - 4*i + 7. Let k be n(j). Suppose -k*h - 27 = -123. Is 48 >= h?
True
Suppose 346*a - 359*a + 8541 = 0. Is a at least 663?
False
Let b = -302 + 261. Let w be (-31 - b)*32/(-410). Which is smaller: 0 or w?
w
Let w(b) = -2*b**3 - 35*b**2 - 130*b - 2. Let u be w(-10). Suppose 0 = 7*l - 4*l + 609. Which is smaller: u or l?
l
Let z be 1*((100 - -3) + 3). Let v = z + -97. Is v greater than or equal to 15?
False
Let a = 288.35 - 291. Let p = a - 4.95. Which is bigger: -1 or p?
-1
Suppose 64*o = 67*o + 165. Let k be (o/(-10) + -6)*(-30)/(-1). Let q be (168/(-32))/((-3)/(-8)). Which is smaller: k or q?
k
Suppose 0 = 2*f + 3*f - 100. Suppose -80 = -11*x + x. Suppose 5*n - x*n + 5*a + 67 = 0, 4*n - 78 = a. Do n and f have the same value?
False
Let a = -168 - -170. Let p be (-11)/((-77)/(-1022))*a/4. Are -72 and p equal?
False
Suppose -14*h - 2480 = 2168. Let k = 333 + h. Which is bigger: 2/139 or k?
k
Let q(r) = -20*r - 9. Let z = 6 + 0. Let k be q(z). Let i be 1/5 - (-1)/120*k. Which is greater: i or -2?
i
Let l = 72.5 + -37. Let a = l + -3.5. Let x = -0.4578 - 0.5422. Which is bigger: a or x?
a
Suppose -5*x - 21 = -4*r, -4*r - 18*x = -16*x + 14. Suppose 2*m + 0*m + 59 = w, 65 = w + 4*m. Which is smaller: w or r?
r
Let k = 4048 + -3387. Is 661 less than or equal to k?
True
Let i be (-2)/(-20) - (-152)/380. Is 589 at least i?
True
Let u(y) = 2*y**2 + 28*y - 65. Let d be u(-23). Which is greater: 352 or d?
352
Let f(k) = 3*k**2 - 26*k - 60. Let u(b) = b**2 - 9*b - 21. Let z(l) = 4*f(l) - 11*u(l). Let y be z(7). Which is smaller: y or 84/13?
y
Suppose 97*m + 818007 = 154*m. Is 14350 at least m?
False
Let y = 250 - 250. Suppose y = -4*v - 5*s - 235, -5*v + s - 3*s = 281. Which is smaller: -221/4 or v?
-221/4
Let u = -31114 - -31114.2. Which is smaller: u or -1873?
-1873
Suppose 2*n + 102 = -2*c, 0 = -2*n 