 equal to o?
True
Let n = -43745.214 - -43745. Which is greater: n or -2/69?
-2/69
Let g = -676 + 1144. Suppose 9*l - 63 = -g. Suppose 0 = -3*r - 2*s - 133, s = -2*r - 91 + 2. Is l > r?
False
Let v = -140400 - -140729.684. Let h = 327 - v. Let w = 0.016 - h. Which is greater: 2 or w?
w
Let a = -904 + 493. Let i = -13564/33 - a. Let v be (-10)/35 + (-12)/(-42). Is v greater than i?
True
Suppose -4*l - 2*k - 194 = 0, -5*k + 155 = -3*l + 16. Let m(z) = z**2 - 30*z + 152. Let w be m(20). Are w and l unequal?
False
Let w(g) = -18*g + 37. Let k(p) = 8*p - 19. Let b(s) = -13*k(s) - 6*w(s). Let h be b(-6). Does h = 2/25?
False
Let f be ((-34492)/(-22))/(-1) - -1. Let y(a) = 9*a**2 + 162*a + 2262. Let d be y(-11). Let j = f + d. Which is smaller: j or 1?
1
Suppose 43*v = 8338 + 1122. Let w = v - 219. Are w and 1 non-equal?
False
Let z be (-7)/70*(-3 + 1). Which is smaller: -1/8 or z?
-1/8
Suppose 30*u - 1 = 55*u - 24*u. Which is smaller: u or -4/715?
u
Let m be (-3 - (43 + -5)) + 37. Let l be 398/5 + (-2)/(-5). Let t be (-262)/l - (-6)/15. Is m < t?
True
Let s = -4410 + 4385. Which is bigger: s or 10?
10
Let f = -15 - -54. Let h be (-90)/3 - 5/(-5). Let n = f + h. Which is smaller: n or 9?
9
Let h = 13/586 - 24695/1073552. Which is smaller: -1 or h?
-1
Let p be 50/(-15)*(-1)/(-9). Suppose 13 = 32*b - 14 - 5. Is b at least as big as p?
True
Suppose 3*k = -76 + 7. Suppose 44 = -4*d - 60. Let l = d - -3. Is l greater than or equal to k?
True
Let a = 3874.062 - 3878. Let c = 0.062 - a. Are c and 43 equal?
False
Suppose -4*f - 3 = 3*i, i + f - 3 = 4*i. Let b be (6 - (7 - 1)) + i/76. Which is smaller: 0 or b?
b
Let c = -1661522/35 + 47472. Let b = 1 + 0. Which is bigger: b or c?
b
Let l = -332 - -331. Let o be l - (25/6 + -4). Is o at least -1?
False
Let d = 2746 + -2745.6. Which is greater: 0.51 or d?
0.51
Let u(c) = -c**2 - 27*c - 109. Let n be u(-5). Which is smaller: -2049 or n?
-2049
Let u = -1/872 + -317/103768. Is u less than -2?
False
Let h = 228/661 + 930209/3305. Is 281 > h?
False
Suppose -3*a + 4*p + 792 = -8*a, -a - 159 = p. Which is smaller: 0.6 or a?
a
Suppose 897*b + 4107 = 860*b. Which is smaller: b or -113?
-113
Suppose -10*q = -46 + 6. Let p be ((-232)/(-20))/((-18)/4 + q). Are p and -22 unequal?
True
Let z be -2 + (-140)/(-63) - 2246/(-18). Suppose -121 = -2*m - z. Which is smaller: m or -4?
-4
Let v(d) = d**3 + 2*d**2 + 71*d + 222. Let g be v(-3). Which is smaller: -1/459 or g?
-1/459
Let z = -3.95 + -0.05. Let t be (-1)/12 - ((-27711)/756 - (-8)/14). Are z and t equal?
False
Let q = -247 - -66. Let o be q/3 - 2/(-6). Which is bigger: -56 or o?
-56
Let u(q) = q + 2. Let h be u(-4). Let p be (-10)/(-45) + (0 - (-2600)/288 - 11). Is p < h?
False
Let f = 97.86 - -1.14. Let i = 111 - f. Are i and 2 nonequal?
True
Let c(r) = 72*r**2 - 4*r + 875. Let l be c(-22). Is 35810 at most l?
True
Let t = -42 - -47. Suppose -179 = -t*z + 171. Let b = z + -69. Do b and -2/29 have the same value?
False
Let a(f) = -81*f - 123. Let r be a(-2). Which is bigger: r or 37?
r
Let k(p) = p**3 + 6*p**2 - 19. Let m be k(-3). Let c(x) = -18*x + 31. Let l be c(m). Which is smaller: l or 0?
l
Suppose -p + 16 = -38. Let g = -55 + p. Is g at most as big as -1/192?
True
Let y = -6691 + 9552. Is y at least as big as 2861?
True
Let b be (476*3/(-9))/((-5)/(-15)). Let s = -464 - b. Do 21 and s have the same value?
False
Let c be 18844/420 + 2/15. Let s be (-5)/2*(4 + (-576)/c). Is 16 equal to s?
False
Suppose c + 0 = -2*c - 6. Which is smaller: -46/59 or c?
c
Let i = 1/5 - 8/15. Let u = 4.76 - -73.24. Let d = u - 78. Which is greater: i or d?
d
Let a = -111 + 256. Suppose 6*t - t = -3*k + a, -79 = -4*t + 5*k. Are t and 244/9 nonequal?
True
Let x = -7749 + 7755. Which is bigger: -236/3 or x?
x
Suppose 0 = 2*c - c - 6. Let s be (108 - (-14)/98*-14)*(-2)/(-4). Is c equal to s?
False
Let d = -35 - -8. Let t be (2/(-4))/((-8)/(-9792)). Let p be 6/d + 584/t. Is p less than 0?
True
Let o be (-40)/(-253)*(6/(-28) + 5405/40250). Which is smaller: 0 or o?
o
Let n = 3355 - 3305. Which is greater: 1 or n?
n
Suppose -16*a + 28 = -4. Suppose 390 = -a*y + 318. Which is greater: y or -35?
-35
Let r(o) = -o**3 + 13*o**2 - 55*o + 362. Let m be r(11). Which is greater: 471/5 or m?
471/5
Suppose 0 = 6*h - 337 + 331. Let g be (2 - (-204)/(-8))/(h/(-12)). Is 282 >= g?
True
Let k = -904.56 - -20.56. Let n = k - -884. Suppose 2*f = 6*f + 36. Which is smaller: n or f?
f
Let q be 5*(-13)/(-69) + -1. Let i = -19937 + 19936. Do q and i have the same value?
False
Let n = -5.36 + 137.96. Let r = -129 + n. Let j = r - 5.6. Is j <= -5?
False
Let w = -2.186 + 2.986. Is -3/134 != w?
True
Suppose -4*k + 7*k - 27 = 0. Let z(f) = 16*f + 10*f**2 + k*f**3 + 7*f**3 - 15*f**3 - 1. Let c be z(-8). Are 5/31 and c nonequal?
True
Let d = -539 - -529. Which is smaller: 167 or d?
d
Let x be 988/2223 - (-1882)/18. Is 124 at most x?
False
Let n = 493 + -493. Is n not equal to 10/301?
True
Suppose -5*o = 49 + 86. Let n = o - -25. Let t = 55/26 + n. Is 0 at least t?
False
Let u = -170.322 + 17.222. Is u not equal to -2?
True
Suppose c - 4 = 3*b - 37, -2*c = 2*b + 42. Let d be ((-13)/(-39))/((-1)/3) - c. Let v be -2 + d/21 + 1. Which is greater: 1 or v?
1
Let q be 8 - (-6 + 13/(325/2265)). Which is smaller: q or 3/2?
q
Let b = -1/13240 - -238391/940040. Let s = -5 + 4. Which is bigger: b or s?
b
Let h be ((600/(-3))/(-8))/((-2)/(-12)). Let z = h - 198. Which is smaller: -50 or z?
-50
Let w = 8891 - 8913. Let h = -9 - 12. Does w = h?
False
Let b = -388324/39 - -9955. Is b at least as big as -1?
False
Let i = -466 + 1865/4. Does -407 = i?
False
Let j be ((-45)/5)/(3/2). Let w = -1.1845 - -0.9845. Are j and w unequal?
True
Let r = -75 + 78.9. Let v = 0.771 + 10.129. Let p = r - v. Is 2 not equal to p?
True
Let x(t) = -261*t - 2147. Let l be x(-7). Is l <= -319?
True
Suppose -343 = -74*t + 1211. Let h(d) = 20*d**2 + d. Let u be h(-1). Is t equal to u?
False
Let f be (245129/(-146))/(14/(-28)). Let a = -3358 + f. Which is smaller: a or 1?
a
Let d = 1014/131 + 24062/5895. Let n = 11863 + -106871/9. Let q = n + d. Which is smaller: 0 or q?
0
Let f be (6/4)/(11 - (-3970)/(-360)). Are -54 and f equal?
True
Let o = -11999/3 + 4000. Do o and 3.302 have the same value?
False
Let z = -42375 + 42592. Which is greater: 8 or z?
z
Let s be (-2)/9 - (-3711)/54*-8. Let t be (-14)/28*s/6. Which is smaller: t or 46?
t
Suppose 159 = -a + 162. Suppose 0 = -3*c + 3*z - 15, 8*z - a*z - 17 = -3*c. Which is smaller: -2/469 or c?
c
Suppose -d = -3*l + 58, -l = d + 8 + 30. Let y = 34 + d. Let t = -8 - y. Is 7/11 <= t?
True
Let z be 4719*14/126 - 4/(-6). Let p = z + -1555/3. Which is bigger: 6 or p?
p
Let r = -24 + 40. Let g(a) = a + 12. Let k be g(r). Let l be (-39)/84 - (-12)/k. Which is greater: 0 or l?
0
Let k(u) = u**3 + 6*u**2 + 6*u + 6. Let i = -119 - -114. Let y be k(i). Let a be (-4)/(-88)*((4 - 1) + y). Are a and 0.1 nonequal?
True
Let u be (-32)/344*(-8)/128. Is 1 at least as big as u?
True
Suppose -2*o + 30 = o. Suppose 6*h = o*h - 400. Suppose 0 = c - 5*c + h. Is 24 bigger than c?
False
Let m(r) be the third derivative of r**4/12 + r**3 - 275*r**2. Let x(y) = y**3 - 6*y**2 + 4*y + 2. Let v be x(5). Let w be m(v). Is 3/73 bigger than w?
True
Let k(b) = -8*b**3 + 3*b + 3. Let p be k(-2). Suppose c - p = -27. Let r(y) = 36*y**3 - 2*y**2 + 2*y - 1. Let h be r(1). Is h greater than c?
True
Let b = 9050 - 9049.9375. Which is smaller: b or 2/7?
b
Let z be -37*(-7 + (-5 - -21)/4). Which is smaller: z or -1/6?
-1/6
Let a = 593 - 597. Let c be (3/5)/(8/40). Are c and a equal?
False
Let a(q) = -4*q**2 + 183*q + 251. Let i be a(46). Which is smaller: 210 or i?
i
Suppose -4*m - 26 = 2*k + 12, 0 = 4*m - 5*k + 3. Suppose -5*y + 10*f - 15 = 5*f, -59 = 3*y + 2*f. Does m = y?
False
Let z = -185 - -266. Suppose 15*t + 255 = 18*t. Suppose z*b = t*b + 12. Which is bigger: 2/11 or b?
2/11
Let w = -5 + -1. Suppose a = 0, 5*u - 2*a = 8*u - 3*a. Let b be w/(-4)*(3 - u). Which is smaller: 6 or b?
b
Suppose b = -7*b + 56. Let g be 51 - b - (-1 + 0). Are -1 and g equal?
False
Let a = 2/11 - 28/33. Let u = -217023 + 217641. Which is smaller: a or u?
a
Let u = 292 + -252. Let r = u + -39. Which is smaller: -0.102 or r?
-0.102
Let a be (-4 - -5)*-2 - -1. Let z = -406/