.7?
False
Let a be ((-2)/(-3))/((-6)/(-9)). Let x be -4 + 21*a/6. Does -9/8 = x?
False
Suppose 20*j - 25 = 55. Let r(y) = y**2 + 25*y - 116. Let u be r(j). Is u less than -2/1191?
False
Let p be 22608/(-360)*(0 + 1/18). Let g = -33/20 + 17/4. Let k = g + p. Which is greater: -2 or k?
k
Let d be -2 + (-4)/10 - (-1722)/1230. Which is bigger: d or 1/7895?
1/7895
Suppose -2*j - 25 = -27, 8 = y + 3*j. Suppose 0 = 5*i - v - 21, 0*i - 3*v + 2 = -2*i. Let t = i + 0. Is t <= y?
True
Let b = -6 - -8. Let z = 751 + -749. Suppose -1 = -z*j + 3, b*v = -j - 4. Which is bigger: v or -4?
v
Suppose -9*n - 1087 = -6505. Let l = n - 582. Is 167/8 smaller than l?
False
Let z = -89719/3 - -29918. Let d be (1/3)/((-2)/(-6)). Let f be 1 + (d - 2) - -13. Which is smaller: f or z?
z
Let w be ((-6 - -2) + 1)*(-27 - -28). Let b be -5*(119/35 + w). Let x = -0.2 - -0.21. Which is smaller: x or b?
b
Let s = -3/1202 - -54697/2404. Let g be (0 - (5 - -6))*(-12)/6. Which is bigger: s or g?
s
Let r be (-3*(-709)/4)/6. Let g = r - 88. Let y be 4 + (9/27)/(3/(-18)). Is g bigger than y?
False
Let v = 32347 + -19378. Let m be 14/35 + v/(-32535). Which is smaller: m or 0?
0
Let l = -0.352 - -0.14. Let k = l - -0.112. Which is smaller: k or 25?
k
Let h = -4 + 28. Suppose -9*a - h = -a. Let l be (-5)/8 + a/8. Is -31 bigger than l?
False
Let y(u) = -2*u**2 + 5*u - 4. Let t be (5 - (-182)/(-35))*-5. Let a be y(t). Are a and 2/189 nonequal?
True
Suppose 63*g - 162 = 69*g. Let n(y) = y**2 + 25*y - 51. Let f be n(g). Is f equal to 27/11?
False
Let m(o) = o**3 + 3*o**2 + 12*o + 1. Suppose 0 = 4*w - 5*t - 3, -3*t = -5*w - 4*t - 18. Let b be m(w). Is b smaller than 1?
True
Let f = -635 - -639.46. Let c = f - 4.56. Is c bigger than -313?
True
Let s be (2 - (3 + 2690/(-1355))) + -1. Which is bigger: s or 2?
2
Let i(v) = v**3 + 10*v**2 + 21*v + 11. Let j be i(-7). Let x be (-759)/j*(-2)/(-12)*2. Is -7 smaller than x?
False
Let q be (-76)/133 + (-428)/(-1484). Let o = q + 59/583. Let b = 7.91 - -0.09. Which is smaller: b or o?
o
Let j be (-49)/56 + 1 + 5662/16. Let v = j + -253. Do 101 and v have different values?
False
Let r = -44.5 - -39.5. Do r and 0.73 have the same value?
False
Let a = 62721 + -62722. Let t be 14/(-4) + (-4)/(-2). Is a > t?
True
Let f be 6/14 - (8 + 192/(-42)). Let v be f - (-1 + -3) - -39. Is v greater than or equal to 40?
True
Let x = -98 - -105. Suppose -x*r + 56 - 329 = 0. Let h be 0 - 81/r - (-2)/(-1). Is 1/3 less than or equal to h?
False
Suppose -5*m = 3*l, 16*l - 18*l + m = 0. Is l smaller than -74/241?
False
Let s = 495 - -504. Which is smaller: 998 or s?
998
Let t = -71 + 73. Is t at least 3338?
False
Let x(h) = h**2 - 495*h + 6263. Let d be x(13). Let k be (-26)/4 + (-2)/(-4). Which is smaller: k or d?
k
Let r = -2.037 - -1.837. Which is smaller: r or 1324?
r
Let o be 33249/133092 + 2*8/(-256)*4. Which is greater: 0 or o?
0
Let f be (48230/(-40) - 8) + 2. Let z = 1204 + f. Which is smaller: -8 or z?
-8
Let b = -136125 - -290899119/2137. Is b bigger than -1?
True
Let y = 168 - 164. Suppose d + 0*d = u - y, u - 2 = 3*d. Is 1/75 smaller than d?
True
Suppose -8 = q + 5*x - 3*x, -3*q + 1 = x. Suppose 0 = -5*n + q*a + 27, 0 = -5*n + 3*a - 0*a + 28. Which is bigger: n or 14?
14
Let y = 43 - 40. Suppose -y*r + 19 = -5. Suppose 0 = -d - 16 + r. Is d < -4?
True
Let a = -6775993/7974 + 7648/9. Is a bigger than 0?
True
Let j(i) = 54*i + 185. Let t be j(-1). Is 131 greater than or equal to t?
True
Let p be (-4)/(-5) - ((-13485)/25)/(-3). Which is greater: 5 or p?
5
Suppose 20*h - 15*h - 6 = 3*o, 5*o - 3 = 4*h. Suppose o*d = -2*s + 3*s, 4*s + 4*d - 64 = 0. Which is smaller: s or 11?
11
Let v(r) = 3*r**3 - r**2 + 7. Let w be v(4). Let x be (1 - w/(-3))*(-1)/(-6). Is x at least 0.3?
True
Let q(n) = -n**3 - 4*n**2 + n + 1. Let s be q(-1). Let a(b) = b**3 + 4*b**2 + 8*b + 14. Let g be a(s). Which is bigger: -34/53 or g?
-34/53
Let f be (-14)/(-21)*4*(-36)/8. Let m = -110 - -98. Is f at most as big as m?
True
Suppose 5*q - 4*k = -15, -q - q + k - 3 = 0. Let i = -11 - q. Suppose 5583 - 6627 = 116*u. Which is greater: u or i?
u
Suppose 6*n + 12*n + 371280 = -84*n. Does n = -18202/5?
False
Let z = -43 - -37. Let i be 33/z + (-6)/(-2). Let x(g) = 2*g - 22. Let j be x(12). Which is smaller: i or j?
i
Let d = 68822145/14866 - 9259/2. Which is greater: d or -1?
d
Suppose 0 = j + 4*h - 3, 16*j + 5*h = 19*j + 8. Is j at most 2/479?
True
Let o(g) = g**2 - 7*g - 5. Let a(s) = -s**2 + 6*s + 4. Let y(f) = 5*a(f) + 4*o(f). Let j be y(0). Let r = -8/29 - -156/145. Which is greater: j or r?
r
Let q = -6622 + 6623. Let j be (3/(-39))/(90/(-4)). Which is smaller: j or q?
j
Suppose 15*q + 5656 + 794 = 0. Is q at least -433?
True
Let p = -0.7167 - -0.0947. Let o = -8.622 - p. Is o not equal to -2/27?
True
Let n be ((-408)/(-272))/(6/(-566)) - 12/2. Is n >= -3/2?
False
Let d = 3.99 - 5.32. Let m = d - -2.44. Do m and -1/2 have the same value?
False
Let n = 0.034 - 7.434. Let o = n - 0.4. Are o and -1 non-equal?
True
Let q(b) = b**2 + 39*b + 86. Let s be q(-25). Let k = s + 1321/5. Let g be 0 + 1/(-2)*0. Is g bigger than k?
False
Let x = 71 - 66. Let s be ((-305)/6)/x - 3/(-18). Let u be ((-5)/50*-6)/(14/s). Which is smaller: u or 1?
u
Let o(j) = j**2 + 25*j - 96. Let w be o(4). Suppose 3*y = -15, -w*c - 19 = -18*c + 5*y. Do c and 18 have the same value?
False
Let h(v) be the first derivative of -v**4/2 - 10*v**3/3 - 4*v**2 + 2*v - 75. Let r be h(-4). Which is greater: r or -32/9?
r
Let q(s) = 4*s**2 + 10. Let v be q(-5). Let f = v + -106. Which is bigger: f or 2?
f
Let n = 1252.27 + -331.27. Which is smaller: n or -4?
-4
Let l(d) = -17*d - 7. Let c be l(-1). Suppose z + 6 = c. Suppose -x = -5*x + z. Is 2/3 at least as big as x?
False
Let x be ((-49836)/(-3324) - 7) + -8. Which is bigger: 5/12 or x?
5/12
Let k = -641518/243 - -2640. Let q be (-51)/51*(-10 - -9). Which is smaller: q or k?
k
Let h(x) = -24*x**2 - 3*x + 12. Let v be h(-16). Are v and -6085 non-equal?
True
Let i = -0.159 - -126.919. Let p = i + 0.24. Which is smaller: 0 or p?
0
Suppose 41*x + 29 = m + 46*x, m - 23 = -4*x. Is -1/3022 != m?
True
Let i = 33.37 - 27.83. Is 0.2 >= i?
False
Let h be (-13 - -3)/(-2 + 3). Let s be 200/6 - (-3 + h/(-3)). Suppose p = -s - 6. Do -38 and p have different values?
True
Let o be 74662/(-74) - (0 + -2). Let s = o + 1007. Which is bigger: 0 or s?
s
Suppose 8*z - 4*z = -144. Let w be ((-708)/z)/((-8)/6). Let f = 643/44 + w. Which is greater: -1 or f?
f
Suppose 5*x - 18 - 17 = 0. Suppose 5*q + 51 = -3*u - 18, 2*q + 18 = 2*u. Let o be 168/q*2/(-7). Does o = x?
False
Let j = 674 + -676. Which is bigger: j or 89.9?
89.9
Let p = -2224 - -2223.9. Are -65/7 and p equal?
False
Let t = 25 + -35. Let h be 6/t + (-426)/(-690). Suppose -30 + 21 = 9*j. Which is greater: h or j?
h
Suppose 5*a - 41 = -2*o, -o - 1 = -3*o + 3*a. Let p = -5 + o. Let b(g) = 8311*g + 4. Let d be b(0). Is d < p?
False
Let q be 5/(175/(-28))*(0 + 5). Let z(h) = 11*h - 3. Let b be z(q). Is -47 bigger than b?
False
Let f(p) = -2*p**2 + 6*p + 10. Let l be f(4). Suppose -l = -4*r - 38. Which is smaller: r or -11?
-11
Let h = -15/7 + 11/7. Let q = 117740 + -117720. Which is smaller: q or h?
h
Let l be 3 - 47*(2 - -3). Let x = l + 6730/29. Let w = 49 + -48. Are w and x equal?
False
Suppose 510*g - 1148 = 2422. Suppose -2*u + 2*n + 68 = 0, -u + 3*u = -2*n + 56. Which is smaller: g or u?
g
Let y be (-20)/8*(-16)/10. Let l(z) = 6*z**2 + 3*z + 2. Let v be l(-1). Suppose v*w - 18 = y*w. Is 16 < w?
True
Let n(c) = c**3 + 10*c**2 + 10*c + 6. Let a be n(-9). Let r be (-1)/(a*(-4)/(-36)). Suppose 5*i + q + 2*q = -52, r*q + 36 = -3*i. Is -5 at least as big as i?
True
Let g = -3875 + 3876. Are g and -78 equal?
False
Let w = 952 + -622. Let t be ((-162)/42 + 4)*2317. Is t <= w?
False
Let g = 5386 - 6183. Is g < -793?
True
Let a = -196.15 + 226.15. Which is smaller: a or -124?
-124
Suppose 5*a = -4*x + 6730, -4*a + 130*x = 133*x - 5383. Do 1344 and a have the same value?
False
Suppose 4*g + 25004 = 4*n, -g + 12487 = -7*n + 9*n. Which is smaller: 1 or n?
1
Let u be ((-2 - 0) + 0)*1. Let y = -29848 + 984845/33. Let a = y - -17/11. Is a < u?
True
Suppose 3*f = 6*f - 13*u - 59, 5*u + 33 = -4*f. Which is smaller: -40.04 or f?
-40.04
Let i be 469/28 - 6/(-24). Is 41