 Do 15 and z have the same value?
False
Let i = -10964 + 10926. Is -7.1 bigger than i?
True
Suppose 2*w + 24 = -4*o, 0 = 5*o + 18*w - 20*w + 12. Let x be (-40)/(-16)*1*o/10. Is x at least as big as 1/247?
False
Suppose 0 = -2*f + 4*f + 586. Suppose 405*o - 151*o + 74676 = 0. Is f greater than or equal to o?
True
Let t = -2.059 + -354.941. Which is smaller: t or -1?
t
Let y = -513/962006 - 4178726745/3132291536. Let z = y + 9/407. Is -1 at least as big as z?
True
Let l = 12.96 + 0.84. Let m = -1.98 + -12.02. Let d = l + m. Do -34 and d have the same value?
False
Let i = -77 - -42. Let m = 51.11 + -51.11. Which is greater: m or i?
m
Suppose 58882 = -26*l + 8*l + 3100. Which is smaller: l or -3100?
-3100
Let u = -71 - -78. Suppose u*m - 2*m = 145. Let d = m - 36. Are d and -9 unequal?
True
Suppose -5*m + 1719 = -3*c, -c + 5*c - 5*m = -2292. Let s = 301 + c. Let x = -5443/20 - s. Is 0 > x?
True
Suppose -46*s - 55*s + 92*s = -9. Is s at least as big as -3.26?
True
Let h(c) = -c**3 + 10*c**2 + 7*c + 3. Let t be h(9). Let b(v) = 2*v + 85. Let m be b(31). Is m less than or equal to t?
True
Suppose 2*g = 8*g - 84. Suppose -3*u = 2*z + 25, -4*z - g = -4*u + 26. Let r be ((-231)/z)/(1/1). Is 22 <= r?
False
Let n = 7 + -139. Let x be 1*12/(-42) + n/14. Is -0.1 less than x?
False
Let x = -0.1 + 334.1. Let h = x - 330. Is h at least 11?
False
Suppose x + 2*q = -0*q + 15, 2*x + 3*q = 25. Suppose -2*h = x*k - 238, -2*h = 2*h - 16. Let f = k + -46. Which is bigger: 2/47 or f?
2/47
Let c(q) = 318*q + 2748. Let z be c(-20). Is -3610 smaller than z?
False
Let p be (-102)/40 + (-5824)/(-2080). Which is smaller: 0.3145 or p?
p
Let r = -4.2 + 2.4. Let m = 62.8 + r. Let j = m - 65. Which is bigger: 2 or j?
2
Suppose -15 = 5*s, 4*s = -2*g + 5*s + 5. Does g = -2/1147?
False
Suppose 190*p + 54 + 14513 = 183*p. Which is smaller: p or -2083?
-2083
Let i = 43 - 53. Let a be (i/6 + 2)*(48 + -135). Is a < -27?
True
Let q = 106.3 + -104.3. Let r be (-2)/(-1*94/4). Which is bigger: q or r?
q
Let t be (-37436)/(-18704) + 3 + (-5)/1. Suppose 88 - 100 = 12*x. Which is bigger: t or x?
t
Let h = 9292 - 7698. Is h greater than or equal to 1596?
False
Let y = 3259 - 2411. Which is bigger: 849 or y?
849
Let d be (-4)/(-18) + (-20)/(-45). Let c = 1/233 + 226/1631. Which is smaller: d or c?
c
Let d be (-12)/(-52857)*99/66. Are 0 and d non-equal?
True
Let h = -18.5 - -30.5. Let i = h - -7. Is i >= -1?
True
Let f be -13 - (-1 + (-4 - -289)). Which is smaller: -1193/4 or f?
-1193/4
Suppose 28*h - 96*h - 816 = 0. Is h at least -145/13?
False
Let c(f) = -82*f + 4264. Let g be c(0). Is g bigger than 4264?
False
Suppose q = -3*a - 4, -18 - 44 = 5*q + a. Let j(o) = -o**2 - 12*o + 11. Let p be j(q). Is p less than -3?
False
Let q(u) = 2*u**2 - 5. Let x(h) = 13*h**2 - 20*h + 14. Let c(g) = -6*q(g) + x(g). Let b(p) = 2*p**2 - 9*p. Let w be b(6). Let v be c(w). Is 7 less than v?
True
Let r(s) = -2*s + 41. Let d be r(21). Let j be (-1 - 16/(-6))*(d + 0). Do j and -2 have the same value?
False
Suppose 2 = -z, 5*a + 50 - 18 = -z. Let x be (-5)/3 - (2 - 4). Is a greater than or equal to x?
False
Let x be 3/4*28/(-21)*-5. Suppose -n - 21 = -2*t, 5*t - x*n + 0*n = 40. Let a be (14/t)/(-7) - 35/26. Which is bigger: -3 or a?
a
Let c = -10371559/62152 + -7/7769. Which is smaller: -167 or c?
-167
Let i(s) = 2*s**2 - 2*s - 26. Let q be i(5). Let h be (-21)/q*(0 - 2/(-30)). Which is greater: h or 1?
1
Let y be ((-1)/(-1140))/(15/(-2490)). Let m = -11/190 - y. Is 1 less than m?
False
Let z(k) = 4*k**2 + 4*k - 6. Let j be z(2). Let q be 14/30 + ((-216)/15)/j. Which is smaller: -81/2 or q?
-81/2
Let h = -36.0635 - 0.0365. Let z = h + 42. Let j = z + 0.1. Is j bigger than -1?
True
Let r(b) = 3*b + 2. Let h be r(0). Suppose -10 = -2*o - p + 71, 0 = -h*o + 5*p + 51. Let w = -37 + o. Is w not equal to 3/8?
True
Let m = 2160 - 2162. Let w = 61 - 107. Is w bigger than m?
False
Let o be (-9)/(-15) + (-11 - 6*5758/(-870)). Which is smaller: 29 or o?
29
Let d = 185 - 125. Suppose 0 = -62*f + d*f + 52. Which is greater: f or 25?
f
Let u = 25 + -58. Let x be u*(-6)/4*18/81. Suppose 0 = -x*f + 9*f. Is 0 > f?
False
Suppose 2*g = 4721 - 4791. Let w be (-2 + 2 + 1/(-1))*30. Is w < g?
False
Let g(m) = 447*m - 1784. Let t be g(4). Is 1.4 <= t?
True
Let a(c) = c**2 - 30*c - 59. Let k be a(17). Which is smaller: k or -302?
-302
Let a be ((-872)/(-16))/((-6)/84) + 7. Which is smaller: a or -758?
-758
Let c = 0.34 - 0.44. Let s = 26.3 - 26. Let r = -0.4 + s. Is r greater than or equal to c?
True
Let k(g) = 1023*g + 66 + g**2 + 119 - 44 - 1056*g. Let x be k(29). Which is smaller: x or 2?
2
Suppose -10*b = -26*b + 64. Let l be b/18 + (-23)/9. Which is smaller: -1/3 or l?
l
Let i = 814.5 + -615. Let u = i - 194. Which is smaller: u or -1/3?
-1/3
Let o(m) be the third derivative of -m**6/120 + 31*m**5/60 - m**4/12 + 109*m**3/6 - 22*m**2. Let t be o(31). Is t < 52?
True
Let q be ((-120)/(-21))/(66/(-70) - -1). Is q > 1890/19?
True
Suppose 4*d - 55 + 35 = 0. Suppose y - 2*o + 409 = 2*o, 0 = 2*y - d*o + 821. Is -412 less than or equal to y?
False
Let x = -2969 - -2837. Do x and -1/56 have the same value?
False
Let l = 655.4 + -401.4. Is l < -1.7?
False
Let z be (-4)/(-6) + 223580/(-138). Let t = z + 634643/345. Let s = 220 - t. Is 0 > s?
True
Let r = -627 - -1146. Let h = -3625/7 + r. Do 0 and h have different values?
True
Let a be 574/(-210) + 21/9. Let d = -23 - -17. Is a != d?
True
Let n be (-54)/(-14) + -2 + 71/((-4970)/60). Are -1/94 and n non-equal?
True
Let q = -1.112 + 36.712. Which is bigger: 6 or q?
q
Suppose 0 = -3*z - 3*v - 192, -z - 2*v = 4*z + 329. Which is bigger: -65 or z?
-65
Let b(k) = k**3 - 3*k**2 - 3*k + 3. Suppose v + 14 = -2*a, 6*v = 5*v - a - 13. Let d be ((-32)/v)/((-4)/(-6)). Let r be b(d). Which is smaller: r or 2?
2
Let a(x) = x**2 + 5*x - 4. Let o be a(-4). Let r(b) = -b**3 + b - 3. Let u(d) = -d + 10. Let h be u(10). Let n be r(h). Which is greater: n or o?
n
Let d = 336 + -238. Let k = -96.936 + -0.064. Let w = k + d. Which is greater: w or -0.7?
w
Let j = -18 + 23. Let d = 4 - j. Let v = 1457/5 + -193771/665. Is v < d?
False
Suppose g + g = 14. Suppose -g*z - 2*z - 45 = 0. Is 5 not equal to z?
True
Let z = -214 - 79. Let q = z - -420. Which is smaller: 128 or q?
q
Let g = -0.231 - 11.669. Let c = -1.9 - g. Let m = -11 + c. Is 1/47 < m?
False
Let t = 148 - 144. Suppose -3*l = t*c + 189, 106 - 334 = 5*c + l. Which is greater: -48 or c?
c
Suppose 30 = -36215*n + 36185*n. Which is smaller: n or -1/26673?
n
Let a be (270/35)/(-6)*2/(-9). Let v = 0.4 - 0.3. Let m = 0.09 - v. Is a greater than m?
True
Let m be 378/(-49056)*((-6)/(-27))/(1/6). Does m = 1?
False
Let c be 1059/18*(-2)/((-74)/6 - -12). Is 1769/5 greater than or equal to c?
True
Let z = 69.998 - -0.002. Let y = 510 - 579.9. Let i = z + y. Which is greater: i or -0.64?
i
Let c = 3640 - 5980. Let g be (-4)/(-26) + (-160)/c. Which is bigger: g or 0?
g
Suppose 0 = 3*f - 60 - 9. Let n be 5 - (-69 + 6*(-25)/(-30)). Suppose 4*l = f + n. Does 24 = l?
False
Let k = 27685 - 304207/11. Is k less than 29?
False
Let q be 3/27 - 6/(-54). Let y be (1 + (-2)/4)/((-14)/168). Is q at most as big as y?
False
Suppose -6510*v + 7656 = -6466*v. Let q = 297 + -121. Does q = v?
False
Let f be 2/6 - 4/12 - -4. Suppose -132 = -5*y - 22. Suppose -f*v = 4*i + v + 103, y = -i - 5*v. Are i and -26 unequal?
True
Let m be 1206/10794 + 61/(-427). Which is smaller: m or 1?
m
Suppose 0 = -5*t + 169 - 204. Let v be 1 + (t - (1 + -7)). Which is smaller: v or 7/151?
v
Suppose -3*g - 12 - 33 = 0. Let l = g + -30. Let z = l + 44. Which is greater: z or 1/10?
1/10
Let h = 949 + -933. Let f be (-63 + -2)*(-6)/15. Suppose 2*y + 53 = 3*w, f = 2*w - 3*y - h. Which is smaller: w or 17?
w
Let w be ((-12)/(-36))/((-1)/12). Let m be -4 - (-3 + (-6 - w)). Let c be m/17*(-22)/11. Which is smaller: -1 or c?
-1
Let p be ((-1)/(-72))/((-918)/(-136)). Let f = p - -2423/3402. Is 2 <= f?
False
Suppose h + 24 = -4*t, 23*h = 18*h + t - 204. Which is greater: -53 or h?
h
Let f = -194.2 + 75.2. Which is greater: f or -3/2?
-3/2
Let l be (-7)/(28/8) - -2. Let v be ((-28)/35)/(l + (-1)/105). Suppose 2*u = v + 18. Is 53 less than u?
False
Let u be (-38761700)/7752850 + 2 + (5 - 2). Is 1 != u?
True
Suppose 0 = -5