t m be q(j). Do m and 18 have the same value?
True
Let j = 1078 - 1078.3. Let s = -4 - -5.2. Which is smaller: j or s?
j
Let f(h) = -2*h - 27. Suppose 4*j + 5 + 44 = -5*c, 0 = c + j + 9. Let o be f(c). Which is smaller: -2/85 or o?
o
Let z = 3.3 + -3.35. Let v = 27.95 - z. Let l = 29 - v. Is l > -3/13?
True
Let m be -12 - -12 - (-3 - -4)/1. Let d(s) = s**2 - 5*s + 6. Let i be d(4). Let k be (-2 - -1)*i/(-41). Do k and m have different values?
True
Suppose -4*u - 5 + 13 = 0. Suppose -5*x - 5 = -2*l + 8, -4*x - u*l + 4 = 0. Let t be -5*(-5)/25 + x. Which is smaller: t or -6/17?
-6/17
Let g(z) = -z**2 + 7*z - 5. Let s be g(6). Let b = s + -1. Which is smaller: -2/15 or b?
-2/15
Let f be (5301/31*(-1)/3)/(-3). Are f and 3 non-equal?
True
Let a = -2/3453 - 9919/759660. Is a bigger than -1?
True
Let l be (-796)/(-60) + -3 + -9. Which is greater: 2 or l?
2
Let l = -3 - -20. Let t = l + -11. Which is greater: t or 0.2?
t
Let y be -2*(8/(-10) - 52/(-40)). Is -32/21 at least y?
False
Let f = 387 + -6586/17. Let y = 4/51 + f. Which is bigger: -1 or y?
y
Let v = -13 + 27. Let c(m) = -m**3 + m + 1. Let j(r) = 3*r**3 - 2*r**2 - 16*r + 7. Let u(f) = 2*c(f) + j(f). Let w be u(5). Is v equal to w?
True
Let z = 389 - 481. Is -93 >= z?
False
Let u = 22698/7 + -3243. Is 0 != u?
True
Suppose r + 16 = -5*i - r, 0 = -r - 3. Let l be 2*(-2)/(-76)*i. Which is bigger: 1 or l?
1
Let n be 2/(-17) - (1590/357)/1. Which is smaller: n or -5?
-5
Suppose o = 22 - 21. Which is greater: o or 2/59?
o
Let s = 46 + -49. Let g be 1/(-3) - s/(-6). Is 0 bigger than g?
True
Suppose -4*h - 119 = 3*b, -3*b + 73 = -4*h - 16. Is h at least -25?
False
Let y = 6 - -11. Let x be (58/4)/(2/4). Let m = x + -14. Does y = m?
False
Let q be (-1202)/154 + 4 + 4. Let o = 127/616 - q. Is o bigger than 1?
False
Let p(y) = y**3 + 7*y**2 + y + 2. Let n be p(-7). Let f be (-9)/3 - (-7 - 2). Suppose 0 = -w - 4*d - 1, -3*w - 4*d - f = -3. Which is bigger: n or w?
w
Let y be (-2)/3 + 15/9 + 2. Suppose 0 = -3*v - o + 7, y*o + 8 = 2. Which is smaller: 36/11 or v?
v
Let x(j) = j**2 - 4*j + 6. Let w be x(-6). Let b be (-10)/w - (-22)/(-33). Is -2 greater than b?
False
Let h(c) be the first derivative of c**4/4 + 2*c**3/3 - 3*c**2/2 + 2*c - 11. Let k be h(2). Do -2 and k have the same value?
False
Let l be 20/(-644) + 2/(-14). Let g(n) = -n**2 + 4*n - 4. Let k be ((-9)/12)/((-3)/12). Let o be g(k). Are l and o unequal?
True
Let i = 403 + -86. Do i and 318 have the same value?
False
Let r = 0.5632 + -0.5482. Let z = 47/56 + -9/8. Which is greater: z or r?
r
Let r(s) = -32*s**3 + 10*s**3 + 1114 - 1113. Let v be r(1). Is 1 less than or equal to v?
False
Suppose -2*x - 102 = -4*d, -3*d = -8*d - 3*x + 111. Let s = 27 - d. Is s at least 16/7?
True
Let p be (47/(-5))/((-20)/25). Which is smaller: 13 or p?
p
Let z = 103/4 + -26. Which is smaller: z or 58/15?
z
Let g = -5/1582 + 60191/23730. Which is smaller: 2 or g?
2
Let g be 4*1/3*3. Let n = g - 19/5. Is n at least as big as -0.04?
True
Let k be 4 + ((-220)/(-4) - -2). Is 59 smaller than k?
True
Let v = -3/73 + 185/949. Is v greater than or equal to 2.34?
False
Suppose 7 = 5*q - 0*w - 2*w, 5*q - 3*w - 8 = 0. Suppose -q - 5 = 6*y. Are -13/8 and y nonequal?
True
Suppose -2*h + 7*h = 10, -2*d + 12 = 2*h. Suppose 5*a = -2*y - 121 - 54, 0 = d*a + 4*y + 152. Which is smaller: a or -34?
-34
Let c(d) = -d**3 - 4*d**2 + 5*d + 4. Let h be c(-5). Suppose -3*z = -h*z. Let i be 1/(-2)*(z - -2). Which is smaller: 1 or i?
i
Let y(h) = 3*h**3 + 29*h**2 + 61*h - 7. Let r be y(-6). Suppose -28 = 3*a - j, -5*j - 20 = -a + 6*a. Let c be (-174)/a - (-1)/4. Is c less than r?
True
Let u be -2*(-9)/(-24)*4. Let s be u/(-1 - (-15)/6). Is s less than -7/3?
False
Let t be ((-5)/290*165)/(-12). Let u = t - -4/29. Which is smaller: u or 1?
u
Let v = -28817/2772 + -15/308. Which is smaller: -10 or v?
v
Let t = 16 + -60. Let b be 4/((-32)/t)*-2. Which is smaller: -7 or b?
b
Let l be 5 - (-3 + 2)/((-1)/5). Are -2/51 and l nonequal?
True
Let a(c) = -2*c**3 - 2*c**2 + c. Let i be a(-2). Suppose 0 = v - 4*f - 8, -2*v + 1 = -5*f - i. Let h be v + 1 + 4*1. Which is smaller: h or 3/16?
3/16
Let z be ((-3)/7)/(27/(-18)). Let j(c) = -c**2 - 8*c - 1. Let s be j(-7). Let x be 0*((-9)/s)/(-3). Which is smaller: x or z?
x
Let b = -121 + -1237. Let o = 90984/67 + b. Suppose 0*h = -4*h + 4. Are o and h nonequal?
True
Let a be -4*(14/(-8) - -1). Let j be 10 + (0 - -4) - (4 + -2). Is j at most as big as a?
False
Suppose -6*s = -4*s + 108. Let w = 51 + s. Are w and -17/6 unequal?
True
Suppose 3*f + 4*b - 1089 - 217 = 0, 0 = 2*b + 10. Let l be f/1*(-10)/(-300). Let c = l - 49/3. Which is bigger: 0.1 or c?
0.1
Suppose -30 = -3*l - 2*l. Let p be 3 + 8/l*45/(-21). Let f(n) = n**3 + 5*n**2 + 3*n - 5. Let k be f(-4). Which is smaller: p or k?
k
Let n(b) = b**3 - 8*b**2 - b + 7. Let m be n(8). Suppose -5*w + 2*o = -o - 14, -3*w + 4*o = -15. Let l = w + m. Which is bigger: 14/11 or l?
14/11
Let m(b) = -18*b - 3. Let i be m(-3). Let k = -439303/8582 + 72/613. Let n = i + k. Is n != 0?
True
Let r(q) = 7*q + 11. Let w be r(-5). Let c be (-1)/2 + (-4)/(w/(-9)). Is -3 bigger than c?
False
Let q = 2.14 - 2.19. Is q != -3/8?
True
Let t = 19 - 15. Let m = -24 - -17. Let y = -7 - m. Which is smaller: t or y?
y
Let r = 1163 + -1162. Which is smaller: 4/73 or r?
4/73
Let a = 58 - 57.88. Let t = a - -0.08. Let u = -2 + 3. Is t < u?
True
Suppose 0 = 3*i + k - 88, -1 = -3*k - 7. Are i and 336/11 equal?
False
Suppose 44*p + 1913 - 417 = 0. Are p and -370/11 nonequal?
True
Let y be ((-6)/(-266))/(-2*(-9)/(-12)). Suppose 2 = -3*r - 1. Is r equal to y?
False
Suppose c - 1 = -0*c. Let z be (-21)/105*10/(-22). Is c <= z?
False
Suppose 0 = -7*d - 43 + 386. Let z = d - 48. Let h = 3055/91863 - -1/1557. Are h and z unequal?
True
Suppose -2*d + 3*d - 2*x = -17, 2*d + 52 = -5*x. Let c = d + 21. Is c greater than 2/5?
False
Let n(l) = l**3 - 17*l**2 - 9*l - 156. Let s be n(16). Is s != -555?
True
Let r be -4*(-2 + 3) + 3. Let z(k) = -2*k. Let u be z(r). Suppose 3*v + 13 = 2*t - u*v, 3*v = -3. Is 2 at least t?
False
Let l = 53 + -40. Let u = 23 + -11. Which is smaller: u or l?
u
Let n = -440 - -8358/19. Let c = -28 - -26. Let j be (-36)/44 + c/11. Which is greater: j or n?
n
Suppose -4*q - 2*t = -92, 2*q = -3*q - 2*t + 116. Which is greater: q or 49?
49
Let v = 18 + -12. Let p = 40 + -40. Suppose p = 5*w - 0*w - 35. Which is greater: w or v?
w
Let w(y) = -10*y - 51. Let q be w(-5). Which is smaller: -8/43 or q?
q
Let o be -2 + 6/2 - (-21 + -1). Is o at most 10?
False
Let s be 114/(-4)*10/15. Let g = -19 - s. Is -7 at most g?
True
Let j be (44/(-3))/(-1*147/36). Let o = 6457/147 - j. Is o > 39?
True
Let q be ((-4)/14)/((-6)/84). Suppose 0 = q*h + h - 5. Let o = -4 + 3. Which is greater: o or h?
h
Let g = -289/5 - -38427/665. Is g smaller than -0.05?
False
Let k = -1156 - -1172. Let o = 0.1 - 0.1. Is k at least as big as o?
True
Suppose -9*g - 2*g = -88. Suppose g = -3*u - 13. Is -7 <= u?
True
Let q = -93 - -96. Do q and -0.42 have the same value?
False
Let w = 9/43 - 265/1677. Let f be 3/(-18) - 25/(-6). Let u be (f - 7)*(-2)/6. Which is smaller: u or w?
w
Let p = 198 + -212. Are p and -19 unequal?
True
Let j = 0.7 + -1.1. Let m = -4 + 6. Suppose -y = m*y. Is y at least as big as j?
True
Let p = 6.229 - 0.029. Let v = p - 6. Which is smaller: 5/16 or v?
v
Let a = 138 + -55. Let u = a + -51. Is 33 greater than u?
True
Let u(s) = 148*s - 2. Let n be u(8). Let w = 22469/19 - n. Let z = -237/475 + w. Which is greater: z or -1?
z
Suppose 2*j = 4*u - 6*u + 8, -2*j - 6 = -5*u. Let o(y) = 2*y**2 - 3*y. Let r be o(j). Suppose r*i = 4 - 24. Is -9 greater than i?
True
Let k = 4 + -9. Let l = k + 4. Let t = -0.0377 + -0.0623. Which is bigger: l or t?
t
Let h(o) = -o + 1. Let q = 42 + -43. Let r be h(q). Which is smaller: 4/5 or r?
4/5
Let x = 21.12 + -21. Which is smaller: 7 or x?
x
Let i be 2 + (-2 - 0) + 2. Let y be ((-18)/126)/(i/4). Which is smaller: y or -2/9?
y
Let o = -0.328 - -0.229. Let c = o - 0.601. Does c = 0?
False
Let a(h) = 7*h - 27*h**2 - 10*h**2 + 6*h**2. Let u be a(-3). Let n be (15/u)/((-4)/10). Are n and -2 non-equal?
True
Let b = 357 - 108. Is b smaller than 2?
False
Suppose 7 = 4*b - 73. Suppose 2*i + 3*j + 0*j - 47 = 0, 0 = 2*i - 2*j 