 0?
0
Suppose -74*z = 7*z + 22*z - 412. Which is smaller: z or 19/6?
19/6
Let j(a) = -a**2 - 14*a. Let z be j(-12). Let v be (-38)/(-50)*(-60)/z + 1. Is -2 less than v?
True
Let v = 0.26 - 0.31. Let k = -1986 - -1986.01. Is v equal to k?
False
Let y be ((-22)/21)/((-2)/3). Suppose 752 = -22*o + 840. Suppose -a - 7*l = -6*l - 2, -o*l = -4. Which is smaller: y or a?
a
Let j = -255.647 - -2.647. Is j at most 1/5?
True
Let i = -2692 + 13462/5. Which is greater: i or 7.6?
7.6
Let x be (6300/1225)/((-2)/(-812)*-3). Which is smaller: x or -697?
-697
Suppose c + 2 = 2*c. Suppose 2*l - 12 = -5*g + 4, 3*g = 2*l. Let f = c - l. Which is greater: f or 1/22?
1/22
Let x be ((-2)/(-24))/(-292*(-2)/1072). Let n = 1/73 + x. Which is bigger: 1 or n?
1
Let j = -25 - -34. Suppose -99*w - 783 = 852 - 447. Does w = j?
False
Suppose 2*u + 19 + 13 = 0. Let g(v) = v**3 - 3*v**2 - 5*v - 2. Let b be g(-2). Let i(c) = -c**2 - 12*c - 17. Let o be i(b). Which is smaller: o or u?
o
Let n be (-20 + 101)/(-9)*(-1)/3. Which is smaller: n or -55.8?
-55.8
Let n = -110.4 + 110. Is n at most -1/11?
True
Let a = -2/67 - 61/201. Let g(f) = -2*f - 1. Let o(u) = -u**2 + 12*u + 20. Let w(j) = -6*g(j) - o(j). Let h be w(-8). Are a and h equal?
False
Let y = -176 + 1051/6. Let x = 0 + 17. Let p = 15 - x. Which is smaller: p or y?
p
Let c = -0.0288 - -427.0288. Let u = c + -426.8. Which is bigger: u or -224?
u
Let j(s) = s**2 + 15*s - 30. Let x(m) = 5*m - 10. Let b(p) = -2*j(p) + 7*x(p). Let n be b(2). Is n less than or equal to -6?
True
Let q = 80 + 209. Let s = 173 - q. Is -1 bigger than s?
True
Let n be ((-13)/(975/(-180)))/((-24)/(-870)). Which is greater: n or 5?
n
Let o be (-48)/(-4) - (2 + -6). Let z = 512 - 2487/5. Are o and z equal?
False
Suppose -37*v + 226 = -150*v. Let t = -11/335 - 8869/5360. Is v greater than t?
False
Suppose 0 = -2*v + 13*v + 693. Let m(g) = 2*g**2 - g - 2. Let d be m(2). Let a be 3/(-18)*d*v/(-6). Do a and -7 have the same value?
True
Let u be 12 + ((-8)/(-36) - 440/36). Is u < -1/644?
False
Let d(o) be the first derivative of o**2/2 + 4*o + 17. Let h be d(0). Suppose 101 = -h*m + 5*y, -3*y + 34 = -m - 0*y. Is m greater than -18?
False
Let l be (27 - 24)/(1 + 0). Let b be (-24)/36 + (-172)/l. Is b greater than -229/4?
False
Let t = 585.71 - 585. Let i = 0.29 + t. Which is smaller: -53 or i?
-53
Let z(r) = r**3 - 12*r**2 + 26*r + 44. Let q be z(5). Is -12 bigger than q?
False
Let d = 7 + -10. Let b(o) = 41*o - 446. Let y be b(11). Which is smaller: y or d?
d
Let a = 1221 + -2032. Let r = a - -811.7. Is 37 <= r?
False
Let w(y) = 409*y - 817. Let n be w(2). Which is greater: n or -2/4035?
n
Let m be (-2)/(-16) + (-5765)/(-280) + -21. Are m and 1.43 equal?
False
Suppose 18*h - 644 = 616. Let i = 2 - 0. Suppose i*b - h = 4*b. Is b at most -34?
True
Let p be 2/3 + 96/(-144). Let j be 6 + -1 + 0 + 1091531/(-218253). Are j and p non-equal?
True
Suppose 4*h - 3*i + 29 = 0, 0 = 6*h - 3*h - 5*i + 19. Let j = -15 - h. Let n = -29497 - -29484. Which is greater: j or n?
j
Let s be (0 - -2)/(219/75 - 3). Suppose -2*j - 44 = 2*x, 0 = -7*x + 2*x + 3*j - 126. Which is smaller: x or s?
s
Let p = -13877/1041 - 1/347. Let o be (14/(-6))/(255/(-18) + 14). Let k = p + o. Which is smaller: -0.2 or k?
-0.2
Let p = -117.545 + 180.548. Let q = -63 + p. Let z = q - 0.103. Which is bigger: 5 or z?
5
Suppose p = r - 17 + 57, 3*p - 2*r - 115 = 0. Are p and 43 equal?
False
Let t = 230 - 190.1. Let o = t + -40. Do o and 0.3 have the same value?
False
Let m be -25 + 21 + (110 - -2). Suppose -29*w + 83*w = m. Which is smaller: w or -97?
-97
Let t be 308/24*(-6 - -3 - 35). Let i = -6196/15 - t. Let u = 74 - i. Is u >= -5/2?
True
Let h = -0.23 + 0.2. Let g = -112 + 273. Let b be (g/138)/((-2)/(-12)). Is b at most h?
False
Let b be (-2)/(-3) + 44/(-12). Let h = 775/11 - 58970/869. Let t = -2/395 - h. Is t at most as big as b?
False
Let m(j) = -j**3 + 28*j**2 + 33*j - 116. Let y be m(29). Suppose -28 = 3*c - s + 92, y = -4*c - 2*s - 150. Is -9 >= c?
True
Let l(t) = -t**3 + 6*t - 4. Let b be l(2). Suppose 3*v + 3 = b, 12*f + 2*v = 15*f + 127. Are f and -39 non-equal?
True
Let w = -12 - -10. Let z = w - -6. Suppose 14 = 653*d - 639*d. Which is bigger: d or z?
z
Suppose -14*x + 10*x + 20 = 0. Suppose -2*d + 2*v - 2 = 0, -3*d + x = 4*v + 1. Which is smaller: 5/33 or d?
d
Let c(z) = 3 + 2*z**2 + z**2 + 2*z**2 - z + 2*z**3 - 3*z**2. Let l be c(2). Suppose -4*b - 3*a - l = 0, -2*b + 2*a - 20 = -4. Is b at most as big as -3?
True
Let f be (-56)/(-7)*1/2. Suppose 0 = -f*n + 28 + 4. Let c be 9/(-14)*(-14260)/1395. Are n and c equal?
False
Let l be 9 + -7 + 14 + 656. Let j = l - 888. Which is bigger: 2 or j?
2
Suppose -j + 13 = 2*y - 2*j, 0 = -5*y - j + 15. Let i be (y/(-6))/(721*1/3). Do -1 and i have the same value?
False
Let t(x) = 8*x + 39. Let m(s) = 1. Let y(n) = -2*m(n) + t(n). Let d be y(-6). Suppose 3*u + 42 = 4*o, 4*u - 7*o + 52 = -3*o. Is d != u?
True
Let m be 4258/2 - (5 + -3)*(-462)/132. Is 2134 != m?
True
Let o(m) = 8*m + 270. Let y be (-68)/(102/42 + 9/(-21)). Let q be o(y). Is q less than or equal to -8/7?
True
Let q = -325 - -325. Is 298 at least q?
True
Suppose -16*g = 54 - 6. Let o be (4/8*10 + g)*-4. Are -7 and o non-equal?
True
Let j(b) = b**3 + 8*b**2 + 9*b + 13. Let k(u) = -3*u + 2. Let m = 11 - 8. Let p be k(m). Let z be j(p). Which is bigger: z or -4/11?
-4/11
Let v = 4706/973 - 156/139. Suppose -40 = c - 5*c. Let m = -6 + c. Is m != v?
True
Let k(b) = b**2 + 6*b - 19. Let p be k(-8). Let o = -139 - -114. Let l be (22/(-4))/(o/(-10)). Are l and p non-equal?
True
Let n be (7 - -2) + (-29 - -88). Which is smaller: 35 or n?
35
Let i = -378139/14 + 27010. Suppose -6 = h - 0*d + 3*d, -4*d = -4*h + 40. Which is greater: i or h?
h
Let p be 6/(-4)*(-661980)/(-1530). Which is greater: 1 or p?
1
Suppose -12*l - 89 + 101 = 0. Which is greater: l or -3/26?
l
Let p(o) = -30*o + 1. Let b be p(1). Let t be b/102 - 2/(-12). Let i(m) = 17*m**2 + 34*m + 1. Let w be i(-2). Which is smaller: t or w?
t
Let z be (60/1738)/((-126)/168). Is 0 at least z?
True
Suppose -8*j = -6 - 2. Let b be ((-2)/j)/(13/(-26)). Suppose z = -2*z + b*m + 11, -4*m = -2*z + 10. Is z smaller than 43?
True
Let c be 112/(-126) - 1292/(-1332). Let u = -7 - -5. Let o be 15/10*u/(-3). Is c at least as big as o?
False
Let d = 0.92 - 1.26. Let i = d + 0.57. Which is smaller: i or 1?
i
Let l(w) = 2*w**2 - 34*w - 373. Let z be l(-14). Is z less than or equal to 495?
True
Let f = 37.205 + -34.9. Let m = -0.205 + f. Let y = 3.09 - 0.09. Is y < m?
False
Suppose -279*l - 896 = -5*k - 277*l, 0 = -l + 2. Which is smaller: 171 or k?
171
Suppose 4*d + 3*w - 160 = -60, 0 = 2*w. Let j = -24 + d. Let m be j/2*54/45. Is -2/5 != m?
True
Suppose 0*m = 2*m + x - 5, -3*m = x - 6. Let b = -2 + m. Let d be 6/15 + 44/(-60). Is d >= b?
True
Let k = 1 - 1.18. Let b = 0.08 + k. Let d = 133/5 + -911/35. Is d smaller than b?
False
Let i = 0.5587 - 0.1587. Let d be ((-2)/(-6) + -1)*-39. Is i not equal to d?
True
Let x = 467 - 764. Let y = -297 - x. Which is bigger: y or 2/119?
2/119
Let s be (-164)/(-435) - 2/5. Let b be 454/(-3) + (-1 - 4/(-3)). Let q = -152 - b. Is q at least as big as s?
False
Let h = -136992 - -136825. Let v(a) = -7*a**2 + 2*a - 4. Let o be v(5). Which is smaller: o or h?
o
Let g = 3/128 - -247/384. Is g at least 896?
False
Let s be 5 - -2 - (-8)/(-2). Let q(d) = -d**3 + 2*d**2 + 5*d - 2. Let f be q(s). Suppose -r + 2*r + f = 2*l, -l - 16 = 4*r. Is l less than -1/5?
False
Let l = -1361 + 1362. Is l less than -2/1309?
False
Suppose 26*c + 879 = -p + 21*c, 3*p - 3*c = -2691. Let t = p + 894. Which is smaller: -2/349 or t?
-2/349
Suppose 0 = 5*j + 5*s - 850, j + s = -2*s + 166. Let m be 14/3 + 1347164/(-7644). Let d = m + j. Which is bigger: -1 or d?
d
Suppose -4*o = 6 - 18. Let x be 6 + ((-2)/o - (-2)/(-6)). Let l(d) = d**3 - 6*d**2 + 5*d. Let w be l(x). Is 4/47 greater than w?
True
Let n be (((-1053)/338)/(-27))/((-84945)/(-28)). Is -1 greater than n?
False
Let l be (-2)/(-11) - 5286/(-330). Let c be 2/(-7) - 1629/105. Let w = c + l. Which is smaller: w or 2?
w
Let z = 16.04 - 16. Let r = 0.84 - z. Let v = 12569/2 + -6283. Which is smaller: r or v?
r
Let g be (-222)/(-5)*(-360)/(-108). Suppose 257 = -4*b - 5*t, -11*t = 2*b - 15*t + g.