1*w/(-1). Is x less than 0?
True
Let u be 15*(2 - 35/25). Let y = -92 + 78. Let t be 1/(((-8)/y)/4). Which is smaller: u or t?
t
Let u be 6779*2/(-44)*2. Let r = 617 + u. Let z = 220 + -218. Which is greater: r or z?
z
Let j(s) = 5*s + 30 + 9 - 2*s - 3. Let z be (-1 - (-2 - -2))*0. Let q be j(z). Is q less than or equal to 37?
True
Let q(h) = h**3 + 27*h**2 - 148*h - 270. Let o be q(7). Suppose -3*t + 58 + 1025 = 0. Which is smaller: t or o?
o
Let j(g) = -289*g - 579. Let b be j(-2). Are b and 11/336 equal?
False
Let f be 2898/2894 + (-2)/2. Let c(k) = k**2 + 595*k - 1793. Let g be c(3). Which is greater: g or f?
g
Suppose -7*b + 6 = -22. Let m = 72 - 72. Suppose m = -b*p + 29 - 37. Do p and -18/11 have the same value?
False
Let m(a) = 40*a - 599. Let x be m(15). Which is smaller: x or 12/383?
12/383
Suppose -135 = -13*d + 255. Suppose -d = -5*a + 3*x, 2*a = 4*x + 7 + 5. Which is bigger: 47/8 or a?
a
Let k = -221.6 + 220.6. Is k at most as big as -351/4?
False
Let z = 293.01 + -0.01. Let c = -292.9 + z. Are c and -0.2 equal?
False
Let g(z) = 42*z**3 - 2*z**2 + 5*z - 8. Let v be g(-4). Which is greater: -2747 or v?
-2747
Let s = 8 - 3. Let t(l) = -8*l + 3 + 8 + 135*l**2 - 133*l**2. Let d be t(3). Is d at least as big as s?
True
Let t = 16658 + -16660. Is 112.9 greater than t?
True
Let v = -11 - -11.2. Let n = 3.4 + -1.9. Is n equal to v?
False
Let a = 52 + 18. Suppose 0 = 14*w - 70 - a. Are w and 2 unequal?
True
Let g(p) = p**3 - 11*p**2 - 3*p + 8. Let q be g(13). Suppose 7*c - 239 = q. Suppose -5*x - 67 = -a + c, -5*x - 135 = -3*a. Is -30 bigger than x?
False
Let r be (-23093)/1015 + 10 - -13. Is 0 less than or equal to r?
True
Suppose 32*b - 5*b = 0. Suppose 3*u + 1522 + 200 = b. Which is smaller: 0.1 or u?
u
Let q = 71 + -213. Let t = q - -150. Which is greater: t or 5?
t
Let w = 2965 + -2983.89. Let i = 408.4 + -427.4. Let r = w - i. Which is greater: r or 0.4?
0.4
Let k be (1/(-4) + 1)/(16/832). Let t = 39 - k. Suppose t = -3*f - 13 + 1. Is -8 at least as big as f?
False
Suppose -10 = -2*x, 4*i - 2*x + 1 = 3. Suppose -a = -i*k + 4*a + 116, 0 = 5*a - 10. Is 124/3 smaller than k?
True
Let c = -2255 - -2256.413. Let o = c + -0.413. Which is smaller: 6/13 or o?
6/13
Let f(n) = 202*n - 1359. Let i be f(7). Which is bigger: 49 or i?
i
Let k be -3*(2 - 3) + 1. Let p be (-6)/k*(-12)/(-153). Let b be (-16)/4 + (3 - 0). Is p != b?
True
Let v be -12*(6/(-3) + 0)*1. Suppose 7*k + 5*r + 52 = 4*k, -2*r + v = -2*k. Let h be k/6 - 1/(-3). Is -5 at least h?
False
Let h = -8 + 8. Let b(c) = -5*c + 7. Let t be b(5). Let d = t - -27. Which is bigger: d or h?
d
Suppose -3*l + 2*z = -8, -16*z = l - 18*z - 8. Are -98/373 and l non-equal?
True
Let z = -0.025 - 3.885. Let a = 9.21 + z. Is a at least -0.1?
True
Let s = 41/85 + -11779/23715. Suppose 5*g = 45, 9*j + 3*g - 2803 = -2767. Which is bigger: s or j?
j
Let j = -2365108/3 - -779626. Which is bigger: j or -8744?
j
Let q = -0.01047 + -9.35953. Is -1 at least q?
True
Let c be ((-553)/(-49))/((-14)/(-5 + -93)). Does c = 82?
False
Let j be 1/(1*(-1)/(-5)). Suppose -5*g = k + 4*k + 15, -13 = j*k + 3*g. Let u = 0.25 - 0.17. Which is smaller: k or u?
k
Let z = -34.2 - -30.2. Which is bigger: 9/34 or z?
9/34
Let r(t) = -3936*t + 186. Let w be r(1). Which is smaller: -3752 or w?
-3752
Let w = 3325.9 - 3326. Which is bigger: w or 1894?
1894
Suppose -2*x = 5*b + 4 + 11, 5*x = b - 24. Let s = 235326/139 - 1693. Is b at least as big as s?
False
Suppose -3*t + 0*t = -9. Suppose 3*u = -4*w + t*w + 4, -4*u + w + 3 = 0. Which is smaller: -1/34 or u?
-1/34
Let f = 5393 - 5128. Do -2/11 and f have the same value?
False
Suppose -7*y = -110 + 5. Let r = y - -21. Let v = r + -37. Which is smaller: 3/52 or v?
v
Suppose 28104 + 104574 = 63*w. Is w at most 2106?
True
Let d = -11473 - -11473. Which is smaller: -2914 or d?
-2914
Let s(t) = -23*t - 144. Let p be s(-12). Suppose 128*v - p*v = -44. Which is greater: -1 or v?
v
Let h = 3121 - 3121.3. Which is smaller: h or 765?
h
Let p be (-20)/(-12) + (-2 - 0). Do -1534 and p have the same value?
False
Suppose 46*q + 108*q - 6 = -160. Which is bigger: -1/2612 or q?
-1/2612
Let y be ((-78)/(-8))/1*4. Suppose -y*g = -42*g - 12. Let p be (0*(-4)/(-12))/g. Which is bigger: -1/16 or p?
p
Suppose -104 = 5*f + t + 44, -3*f - 2*t - 93 = 0. Let p = f - -38. Suppose -h - p = 5*x - 53, 151 = 5*h + 2*x. Which is smaller: h or 30?
h
Let h(l) = -5*l**3 - 9*l**2 - 41*l - 9. Let a be h(-9). Suppose -43*s + a = -25*s. Which is smaller: 181 or s?
181
Suppose 4*k + 4*s + 4 = 0, -k - s + 7 = -2*s. Suppose 0 = y + k*y + y. Suppose y = -15*i + 32 + 13. Is i bigger than -12/11?
True
Let n = -316 + 195. Let h = 106 + n. Let i be (-5)/4 - 3/(-12). Which is greater: h or i?
i
Let r be 1 + 8/6 + 3941088/(-1098). Is -3589 smaller than r?
True
Suppose 66 = 2*w - 2*j, 56 = 3*w - 4*j - 48. Let f be (-1)/5*w/(-14). Is f greater than 22?
False
Let a(c) = -3*c**3 + 12*c**2 - c - 19. Let u be a(3). Which is smaller: -0.015 or u?
-0.015
Let v = -22664.483 - -22536.6. Let b = -128 - v. Do -0.2 and b have the same value?
False
Let a(g) be the second derivative of -g**3/6 + 3*g**2 - 18*g. Let t be a(4). Suppose t*b + 6 = 4*w, 4*b - 5*w + 8 = -1. Which is smaller: 3/91 or b?
b
Let d(u) = -15*u. Let k be d(-1). Let l be (-10)/k - (-711)/216. Which is bigger: l or 4?
4
Suppose -3*j - 57 = -0*j. Let i be 6 - (-5 - -5) - 5. Let l be 1*(-114)/(6/i). Is j < l?
False
Let o(x) = -842*x - 1288. Let t be o(3). Which is smaller: -3813 or t?
t
Let k be ((-27)/12)/(3/(-12)). Let u(c) = c - 3. Let h be u(k). Suppose 0 = h*f - 2*f - 16, 0 = g - f. Is 16/3 smaller than g?
False
Let c(k) = -2*k**3 + 7*k**2 - 6*k + 2. Let h be c(2). Let v be 51/(-6) + h - 4/(-8). Let s(l) = -10*l - 19. Let d be s(v). Is d > 39?
True
Let a = -6.659 + -63.341. Is 1.4 > a?
True
Let m = -568353.626 + 568353. Let n = 47 - 140/3. Is n at most as big as m?
False
Suppose -4*m + 16 = 0, -6*w + m = -5*w - 23. Which is greater: -260 or w?
w
Let g = 53 - 52. Suppose -m = h, 3*h - 4*h = -g. Is m at least -3/109?
False
Let a = -628 + 631. Suppose 4*z + 13 = -a*h, 22*h - 12 = 26*h + 4*z. Is h < 4/289?
False
Let j(u) = -u**3 - 23*u**2 + 71*u - 6. Let q be j(-26). Let s = -234 + q. Which is smaller: s or -57?
s
Suppose -2*g - t = 1226, 4880 = 3*g - 11*g + 2*t. Let l = g + 435. Is -176 greater than or equal to l?
True
Let m(s) = s**3 + 9*s**2 + 67*s + 801. Let g be m(-10). Is g bigger than -156?
True
Let h = 387 + -338. Let f be 2 + 93/2 + (-75)/(-50). Which is bigger: h or f?
f
Suppose -2*p + h - 11 + 10 = 0, -4*h + 8 = -4*p. Is 1/1615 > p?
False
Let t be (-1590)/477*(-12)/20. Is 123/187 equal to t?
False
Suppose -2 = -4*o + 6. Let q be (-37 - -36) + (-2)/o. Which is smaller: -5/7 or q?
q
Let o be 5/25 - (-141)/(-5). Let c(g) = -7*g**2 - 112*g - 300. Let w be c(-3). Is o at least w?
False
Let q = 505 - 361. Let a = -107 + q. Is a not equal to 37?
False
Suppose -5*s - 64 = -s. Let c = 17 + s. Let x = -91/540 - -3/20. Which is smaller: x or c?
x
Let g(u) = 4*u**2 - 17*u + 31. Let j(a) = -21*a**2 + 81*a - 156. Let z(p) = 11*g(p) + 2*j(p). Let r be z(10). Which is greater: r or 7?
7
Let n be (6/(-4))/((-9)/(-5316)). Let d = 885 + n. Is d bigger than -2/613?
False
Let j = 45.1 - 63. Let p = j - -16.9. Which is smaller: -0.7 or p?
p
Suppose 10*s - 1091 + 1951 = 0. Let y be 171/(-2) - 5/10. Is y less than s?
False
Let b = 184.43 + 3.57. Let s = b - 192. Is s <= 10?
True
Let d = -43313 + 43321. Let k = -0.7 + 0.56. Is k less than d?
True
Suppose -7*n - 63 = -63. Which is smaller: n or 6/721?
n
Let t = -21 - -26. Let x be (2/(-12))/((-7)/(-1946)). Let i = x - -46. Is t smaller than i?
False
Let j be ((-1)/1)/(-10*31/(-620)). Is j bigger than 12/5?
False
Let x = -24 + 26. Suppose -5*w - 235 - 175 = t, -5*w = -x*t + 425. Which is smaller: -82 or w?
w
Let j(f) = -2*f**2 - 12*f + 4. Let t be j(-6). Suppose t*u + 36 - 20 = 0. Which is bigger: u or 3?
3
Let t = -372 - -366. Let p be -10*(-6)/105*(-21)/t. Suppose 0*d + 5*d = 5*z - 20, -d - 2 = 0. Does p = z?
True
Suppose -w - 2*u + 6 - 4 = 0, 5 = 3*w + 5*u. Let d(x) = -3*x + 6. Let a be d(w). Let v be 1188/(-2895) + ((-60)/(-25))/a. Which is greater: 0 or v?
0
Let v(o) = o - 3. Let k be v(-4). Let z = 162 - 162. Suppose z = 4*m + 108 - 88.