et u be c(o). Is 12 at most as big as u?
False
Suppose 2*i = -4*h - 2068, -19*h - 2555 = -14*h - 5*i. Is -516 at most as big as h?
True
Let b = 21 - 17. Let s be 11/(b + (-44)/12). Does s = 32?
False
Let g = -0.4 - -1.4. Let i = -14.89 + -0.11. Let m = 16 + i. Is m smaller than g?
False
Let t = -292 - -282. Let b(j) = j - 14. Let r be b(6). Do t and r have different values?
True
Let x = -51 + 32. Let n = 0.0573 + 0.0427. Is n equal to x?
False
Let u(b) = 3*b**2 - 8*b + 2. Let w be ((-3)/(-12))/((-3)/(-36)). Let f be u(w). Suppose q - 4*q = -2*z + 17, 5*q = -f. Is z at least 2?
True
Suppose -22*x - 702 = 4864. Is -253 greater than x?
False
Let h = -1/1179 - -1774/701505. Which is bigger: 1 or h?
1
Let z be 70/(-42)*(0 - 723/(-15)). Is z <= -79?
True
Let l = 1517 + -10639/7. Which is smaller: l or -0.2?
l
Let c be (-18)/9 - (0 - 7). Which is smaller: c or 71/19?
71/19
Let l = -8 + 8.1. Let f = 339.22 - 339. Is l less than or equal to f?
True
Let m be (2 - -1) + 0 + 43. Let d = -47 + m. Which is greater: 12 or d?
12
Suppose -4*a - 4 = 8*t - 10*t, 0 = -2*t - 5*a - 23. Is t at most -10/7?
True
Let q = -11.88 + 13.88. Which is greater: 3.8 or q?
3.8
Let b(z) = 7*z - 16. Let o be b(17). Is 102 != o?
True
Let x(t) = -t**3 - 3*t**2 - 3*t - 2. Let h be x(-4). Let c = -21 + h. Which is greater: c or 3?
c
Let u = -11 + 5. Let z(s) = -3*s - 29. Let i be z(-9). Let h be (55/22)/(i/4). Do u and h have the same value?
False
Suppose 24*h - 49 = -25. Which is smaller: h or -2/133?
-2/133
Let y = -53/157 - -160511/1099. Let d = 146 - y. Let w(s) = -3*s**2 - 6*s - 4. Let k be w(-2). Is k equal to d?
False
Let i = -593 - -593. Is -0.236 at least as big as i?
False
Let t = 118 + -118. Which is greater: t or 110/13?
110/13
Let m(i) = i**3 - 7*i**2 + 6*i - 6. Let n be m(6). Suppose 0 = -48*o + 39*o - 45. Which is greater: n or o?
o
Let g be 342/(-90) - (-1)/(-5). Which is greater: -0.9 or g?
-0.9
Let o(m) = m + 3. Let q be o(4). Suppose 4*p = c + q, 0 = -c + 4*c - p - 12. Let b = -89 + 95. Are c and b nonequal?
True
Suppose 0 = 2*w + w. Let i be (-8)/(-36) + 1340/(-6435). Which is smaller: w or i?
w
Let d = -19 + 632. Is 1/2 at least d?
False
Let m = 1831 + -1763. Is 64 greater than m?
False
Suppose 12*o = 63 - 99. Let b be 2/(-4)*-10 + -1. Let n = b + o. Is n <= -1/10?
False
Suppose -34 = 4*v + 6. Let l be (v - 147) + -1 + 5. Is l greater than -152?
False
Suppose -3*f + 5*a - 2 + 159 = 0, 3*f + 3*a - 189 = 0. Which is smaller: f or 58?
58
Suppose -6*b + 5*c = -2*b + 7, -5*b - 13 = -2*c. Let o be (-45)/18*2/(-800). Let t = o - 1123/480. Which is greater: t or b?
t
Let i be 1*(-33)/24*(15 - 13). Which is greater: -4/13 or i?
-4/13
Suppose r = -5*i - 18 - 7, 3*r + i = -5. Let y = 11 - r. Suppose 2*a - 12 = a. Is y < a?
True
Let f = -149 + 150. Which is smaller: f or 2/125?
2/125
Let w be (1 - 0)*1 - -2. Let m = -3 - 0. Let i = 3.1 + m. Which is greater: w or i?
w
Suppose 2*b - 15 = -2*n - 1, 4*b + 5*n - 30 = 0. Suppose -b*i - 5 = -45. Suppose -u + 5*u = -i. Is u smaller than -7/3?
False
Let m = -23 + 32. Suppose -5*f = 5*s - 75, -f - 9 - m = -2*s. Is s less than or equal to 10?
False
Suppose -b + 3*b - 12 = 5*l, 0 = 2*b + l. Which is bigger: b or 36/23?
36/23
Suppose -2 = 2*w + k + 62, w - 4*k + 14 = 0. Let n be ((-28)/w - 1)*(-65)/117. Which is smaller: 1 or n?
n
Let a = 218 - 218.87. Let p = a - -0.07. Which is smaller: -0.2 or p?
p
Suppose -i + 72 = 9. Let h be (-7)/(i/(-6))*6/(-4). Which is smaller: -23 or h?
-23
Suppose -51*y + 55*y - 16 = 0. Let f be 4/10 - 32/(-20). Suppose -f = 2*n - 12. Which is smaller: y or n?
y
Let l = -686 + 687. Is 26/15 equal to l?
False
Let u = 16 - 7. Let t = u - 10. Let m = -5 - -6.5. Which is greater: t or m?
m
Let s = 850/7 - 1777/14. Which is smaller: s or -5?
s
Suppose -4*z = 2*x - 1107 - 527, 3*z - 1239 = 3*x. Let r be 2/(-3) - z/15. Let c = r + 227/8. Which is smaller: c or 0?
0
Suppose -31*d + 21 = -28*d. Let i(b) = 0 + b**2 + 6*b + 1 + 0 - 2. Let r be i(-7). Is r >= d?
False
Let g be (-2)/(-18 + 8 - -2). Which is smaller: 1.381 or g?
g
Let l = -5/111 - -1487/3441. Let q(r) = -r**3 + 11*r**2 - 1. Let f be q(11). Is f < l?
True
Let k = 440 + -424. Let y = -122/3 + 41. Which is smaller: y or k?
y
Let g(d) = -d**2 + 5*d + 8. Suppose 5*y - 9 = 2*y. Let r(w) = 2*w + 1. Let q be r(y). Let b be g(q). Is -6 greater than or equal to b?
True
Let v be ((-36)/(-90))/((-1)/(-30)). Let s(n) = n**2 - 15*n + 4. Let t be s(v). Let f be (-24)/t - (-58)/(-88). Is -1 equal to f?
False
Let m = -0.0862 - 10.9138. Is 3/2 > m?
True
Let b be -1 + 449*8/21. Let h = b - 170. Is 0 bigger than h?
False
Let d = -2.98 - -3.28. Is d equal to 7?
False
Suppose -4*m - 4*d - 12 = 0, 4*m - 5*d + 1 = 7. Which is bigger: 2/231 or m?
2/231
Let p = 189 + -126. Let v be p/(-14)*2/(-60). Is -1 equal to v?
False
Let b = 1.036 + -0.036. Which is smaller: b or 0.37?
0.37
Let b be (-120)/(-27)*(-2)/20*-16. Are b and -2 non-equal?
True
Suppose -w = -2 - 70. Suppose -78 = 4*b - 5*a, 5*a - 2*a + w = -3*b. Is -20 not equal to b?
True
Let z be 526/16 + 5/40. Suppose z*w - 29*w = 32. Which is smaller: 10 or w?
w
Let o = -435 - -441. Let g be (-2)/(-9)*6*6. Is o < g?
True
Let o(m) = m**2 - 15. Let q be o(5). Is q not equal to -1?
True
Let y(s) = s. Let b(q) = 10*q + 26. Let p(g) = b(g) - 2*y(g). Let j be p(-8). Let o = 18 + j. Is -20 < o?
False
Suppose -27 = -2*x + 37. Let u = 34 - x. Is 8 equal to u?
False
Suppose a + 2*c - 9 = 5*c, 3 = 3*a - c. Suppose -o = -2*o + 4. Let l be (2 - 244/40) + o. Which is greater: l or a?
a
Let f = -8/391 + 1885/34799. Which is greater: 0 or f?
f
Let t(s) = -3*s - 15. Let w be t(-6). Suppose w*m + 30 = -2*m. Let i be (3/24)/(1/m). Which is greater: i or -1?
i
Let t = 45 + -32. Let w be (-56)/(-12) + (-4)/6. Suppose -9 = -f - q, q = -w*f - 1 + 49. Is f greater than or equal to t?
True
Let k be (20/(-16))/((-14)/(-112)). Which is bigger: k or 20?
20
Let g(z) = -5*z**3 + z**2. Let j be g(1). Let d be 13/5 - ((-2 - -9) + j). Is 1 not equal to d?
True
Suppose -33*y - 504 = -19*y. Which is bigger: y or -253/7?
y
Let t = 45 + -41. Suppose -2*p = 2*p + t. Which is smaller: p or 4/35?
p
Let p = 30 + -43. Let o = -23 - p. Let h = 12 + o. Is h <= -5?
False
Let t = -0.139 - -21.139. Which is greater: t or 0.7?
t
Let v = -0.34 - 0.06. Let y = v - 8.4. Let b = 9 + y. Is b equal to 0.3?
False
Let b(q) = -6*q**2 + 6*q - 7. Let y(g) = -5*g**2 + 6*g - 7. Let c(k) = 4*b(k) - 5*y(k). Let z be c(6). Which is bigger: 9 or z?
9
Let c be (-7 + 6)/(-2*2/28). Let k be (3/c)/3 - 12/(-14). Which is bigger: 3 or k?
3
Suppose 0 = -o - 5*s + 13, o + 2*s + 0 = 7. Suppose -o*r + 5*d = 16, 2*d - 4 = -r - d. Let f be 1/(0 - 5/10). Is r greater than f?
False
Let g be 1 - ((3 - 3) + -4). Suppose -g*b + 2 = -3. Let o = 153/437 - 5/19. Is b < o?
False
Suppose -5*j + 4 = 79. Let m(b) = 3*b**2 + 6*b + 1. Let l be m(-3). Suppose 4 = -w - l. Which is bigger: w or j?
w
Let b(r) = r**2 + 11*r + 15. Let g be b(-10). Let z = -6 + g. Let u(l) = -2*l**2 + 27*l - 56. Let c be u(11). Is c smaller than z?
False
Let v = -8 + 5. Suppose -4*t = 5*q - 2, 4 - 3 = 3*t + 4*q. Suppose 23 = -4*h - 3*f, f = t*h - 3*f + 11. Is h not equal to v?
True
Let i be ((-2)/10)/(112/(-220)). Let n = -46 - -321/7. Let o = i + n. Is -2/3 bigger than o?
False
Let k(u) = -u**3 + 6*u**2 + 12*u - 40. Let m be k(7). Which is greater: m or -0.8?
-0.8
Let k be (12/18)/(8/36). Let r be (0 + k + (-1 - 2))/(-1). Is -3/14 less than or equal to r?
True
Let t(y) = 3*y - 3. Let h(g) = -g**3 + 7*g**2 - 5*g - 5. Let c be h(6). Let l be t(c). Suppose -q - 2*u = 2*q - 7, 10 = -5*q + u. Is q less than l?
True
Let y = 25 - 22.9. Let b be ((-25)/(-10))/((-1)/2) - -6. Which is bigger: y or b?
y
Let q = -37 + 62. Suppose -y + 4*j = 4*y - q, -5*j = 4*y - 61. Let a be (-3)/18 - ((-296)/48 + -1). Which is bigger: y or a?
y
Let l be 1*(-1)/2*-2. Let z = -8.1376 - -0.1376. Which is smaller: z or l?
z
Let u = -343 - -340. Which is greater: u or 12/11?
12/11
Let c be 3*(-13)/351 - (-1)/9. Suppose -5 - 9 = -2*w. Which is bigger: c or w?
w
Suppose -2*a - 2 = -10. Suppose 8 = a*l - 3*l. Let t = -8 + l. Which is smaller: -1/5 or t?
-1/5
Suppose 0 = -3*i - 3, 0 = -2*k - 4*i - 2. Let v be (54/(-15) + 2)*-5. Let j be (-30)/v - 7/28. Are j and k unequal?