 y(d) = 106*d + 543. Let b be y(-4). Which is bigger: b or 120?
120
Let h = -4.46 + 4.86. Does 9 = h?
False
Let f = -1.1 - -1.1. Let w be -3 - -5 - ((-20)/(-5) + 43). Which is smaller: w or f?
w
Let h = 5958 + -5969. Let m be (-2)/40*8/(-3). Which is smaller: m or h?
h
Let u = -0.63 + 0.66. Let j = -0.07 + u. Which is greater: 0 or j?
0
Let u = -23461/17 - -1379. Let z(r) = r**3 + 19*r**2 - 215*r + 25. Let h be z(-27). Is h greater than or equal to u?
False
Let u = 80 + -50. Let a = -30.1 + u. Which is smaller: a or 26/9?
a
Suppose 0 = 11*p - 5 + 93. Let x be -10 + 12 - 1/(p/(-18)). Is 0.14 > x?
True
Suppose -8*u = -14*u + 90. Let c be (-4)/u*24/16. Which is bigger: 1 or c?
1
Let v(w) = 10*w**3 + w**2 - 3*w + 3. Let g be v(1). Is 110/9 >= g?
True
Let q be 867/(-34)*(-1)/(-2). Is q less than or equal to -13?
False
Let v be (0 + -2)*4/8. Let g be (-2)/5*((-225)/(-288))/(-1). Which is smaller: v or g?
v
Let h be -2 + 2688/(-2052)*(-6)/4. Which is smaller: h or -3?
-3
Suppose 80 = 4*q - 4*p, -2*q = -q + 4*p - 30. Let t = -13 + q. Is -3 at most as big as t?
True
Let k = -151 + 153. Which is greater: -19 or k?
k
Let h = -35.8 + 36. Let o be ((-1)/(-52))/((-5)/15). Let p = o + 4/13. Which is bigger: h or p?
p
Let f be (-2)/(-4) - (-1)/2. Suppose 5*a - 8*a = -2*w - 36, a - 1 = -3*w. Is a at most as big as f?
False
Let o = 1209 + -1167. Is o less than or equal to 43?
True
Let x(z) = 2*z**3 + 4*z**2 + 2*z - 4. Let m be x(-5). Let w = m + 1146/7. Let b be (3/48*2)/((-13)/(-104)). Which is bigger: b or w?
b
Let w(r) = -91*r - 10. Let k(x) = -272*x - 31. Let g(v) = 2*k(v) - 7*w(v). Let y be g(16). Let t be 504/y - 4/(-34). Is 0 less than t?
True
Suppose 0 = -3*r - 0*v + 3*v + 12, v = -4*r + 1. Let x = r - 7. Which is greater: -0.1 or x?
-0.1
Suppose 0 = -4*d - 1 + 25. Suppose d*g = 11 - 5. Which is bigger: 5/19 or g?
g
Suppose 0 = -6*u - 14*u + u. Let s be 0 + 1 + (-4)/(-1). Which is greater: u or s?
s
Suppose 1 = -3*s + 4. Let i be s*-3*16/12. Is i bigger than 0.4?
False
Let h = -287 - -590. Which is smaller: 304 or h?
h
Let t = -17.34 + 9.53. Let i = t + -0.19. Let v = 7 + i. Is -2/9 at most as big as v?
False
Suppose 2*f + 0*f + 10 = 0. Let y(c) = -c**2 - 5*c - 6. Let n be y(f). Let d(h) = -h + 2. Let v be d(7). Which is smaller: n or v?
n
Let k be 2/(30/3) + 26/65. Is k >= -47/3?
True
Let y = 4/365 - 1897/6570. Suppose 7 = k + 4*n, 96*k = 91*k + 2*n - 9. Which is greater: k or y?
y
Let y = 1195 + -1938. Which is greater: y or 2/3?
2/3
Let i be ((-3)/5)/(-3*6/(-45)). Are -1/6 and i nonequal?
True
Let p = 7 - 2. Suppose p*x - 10 = -3*f, 0*f = -x - 3*f + 2. Is 2 greater than x?
False
Suppose 2*l + 2*l + 3*h = -4786, l - 4*h = -1206. Which is greater: -1199 or l?
l
Let y = -926 + 859. Is y greater than -67?
False
Let b(i) = -i**3 - 19*i**2 - 31*i + 5. Let w be b(-17). Let q be (3/w)/(5/10). Are 1 and q nonequal?
True
Suppose -6*t - 328 = 2*t. Let h = -29 - t. Is h at most as big as 12?
True
Let h(s) = 4*s**3 - 15*s**2 - 5*s + 10. Let m be h(4). Which is greater: m or 1.3?
m
Suppose s - 180 = -2*s. Suppose -t + 5*d = 4 + 20, -5*d = -5*t - s. Let r(j) = 2*j**3 + 2*j**2 + j + 1. Let c be r(-2). Are c and t unequal?
False
Let k = -0.247 - -0.27. Let h = -15.977 - k. Which is smaller: -0.2 or h?
h
Let p(o) = -o**2 - 10*o + 5. Let b be p(-8). Let x = b - 23. Suppose 0 = 4*s + 4*u, -5 = -5*s + u + 1. Is x greater than or equal to s?
False
Let r = 1155291/83 + -13919. Which is greater: 1 or r?
1
Let n(a) = -3*a**3 - 6*a**2 - 30*a - 3. Let k be n(-3). Is k at least as big as 114?
True
Suppose 6*a = 34 + 518. Which is smaller: a or 97?
a
Let n = -30 + -14. Which is greater: n or -46?
n
Let t(r) = 5*r**3 + 10 - 3 - 17*r**3 + 20*r + 4*r**2 + 11*r**3. Let j be t(7). Which is smaller: j or -12/11?
-12/11
Let u be (2/10)/((-4)/(-5)). Let f = 23 + -19. Suppose -5*k = f*w + 7, 3*k = 5*k + w + 1. Which is smaller: u or k?
u
Suppose -z + x = 2, -x - 6 = 3*z + 2*x. Let j be ((-4)/14)/(12/56). Is j greater than z?
True
Let s(i) = i**2 + 2*i - 1. Let l be s(-3). Let z be (4/(-2))/1 + l. Suppose -2*q + 0*q + 2 = z. Is -0.01 less than q?
True
Let m = 76 + -67. Let n = 10 - m. Is n >= -2?
True
Suppose 9 = 3*k - 9. Suppose k = -z - 12. Which is bigger: z or -19?
z
Let u = 120 + -136. Are u and -13 equal?
False
Let g(z) = z**3 + 15*z**2 + 2*z + 18. Let b be g(-15). Let o be ((-8)/18)/((-8)/b). Is -13 < o?
True
Let g be 198/10 + (-8)/10. Suppose -2*o = w - 32, 44 = 4*o - 3*w - 30. Which is smaller: g or o?
o
Let m = 2126 + -2124.9. Is -0.06 > m?
False
Let w = 1916 - 1917. Let d = -0.4 - -16.4. Which is smaller: w or d?
w
Let w = -28 + 27.78. Let m = -0.32 - w. Is 0.5 at most as big as m?
False
Suppose 0 = -3*x + 1448 - 1541. Is x equal to -27?
False
Suppose -3*c - 273 = 2*q, 0*c + 124 = -q + c. Are -129 and q equal?
True
Let t(b) = -b + 4. Let u be 2/(-2) + (-1 - -6). Let i be t(u). Which is greater: i or -1.3?
i
Suppose 41 + 4 = 5*j + 3*p, p = 4*j - 53. Let z(y) = y - 12. Let n be z(j). Suppose n = -r - 3*v + 6 + 7, 0 = -5*r - 4*v + 21. Is 2/13 != r?
True
Let y(i) = -i - 10. Let f be y(-11). Suppose -f = -b - h, -2*h = 2*b + h - 4. Which is bigger: -10/9 or b?
b
Let r = -1.16 - -1.06. Is r smaller than -2/9?
False
Let r = -16 - -12. Let a be (18/r + 3)*2. Suppose 0 = -g + 3*g - 3*d - 17, 2*g + d = -3. Does g = a?
False
Let i = -695 - -730. Is i bigger than 209/6?
True
Suppose 0*p - 5*p = -25. Let f(t) = -t**3 + 4*t**2 + 6*t - 1. Let l be f(p). Let g be 1 + (32/(-12))/l. Which is smaller: g or 0?
0
Let y be ((-27)/6 - -4)*-12. Let d be ((-1)/2)/(y/(-12)). Let l = 70/87 - 2/435. Is d bigger than l?
True
Let h be 10 - ((-4)/(-4) + 1). Let s be h/10*70/868. Let x be (-1)/2 - (-2)/(-4). Which is greater: x or s?
s
Suppose 0 = -3*y + b - 163, 0 = -y + 2*b - 5*b - 61. Is y greater than -35?
False
Let d = -5.754 - 0.716. Which is smaller: 1 or d?
d
Let h(a) = -a**2 + 9*a - 5. Let z be h(8). Which is smaller: 6 or z?
z
Let v be (-6)/10 - (-38)/190. Let w = 6 + -5.7. Let a = 0.31 - w. Is v at most as big as a?
True
Suppose -8*m + 13*m - 15 = 2*d, -2*d = -4*m + 20. Let c be (2 - (-104)/(-60))*d/24. Which is smaller: c or 49?
c
Let j = 4 + -3. Let a = -13190 + 857352/65. Which is smaller: j or a?
a
Let t = -49/88 + 3/8. Which is smaller: -1.2 or t?
-1.2
Let c = -1 - -1.4. Let u = -0.35 + c. Let v = 26 - 76/3. Is v less than u?
False
Suppose 3*x + 4*u - 148 = 5*x, -2*x + u - 133 = 0. Is -64 at least x?
True
Let z be 416/12 + 4/(-6). Let a = 2 + 32. Is a less than z?
False
Let j = 0.0624 - 0.4624. Which is bigger: -10 or j?
j
Let w = 34 + 18. Suppose 0 = -5*u, s = -2*u - 3 + 6. Suppose -4*t = s*n - w, 4*t - 2*t = n - 24. Is n < 21?
True
Let h = -2/513 + 1565/6669. Which is smaller: -7 or h?
-7
Suppose -2*k - 20 = 2*k, 25 = -5*q + 3*k. Suppose -3*u + 4 - 1 = 0. Let l = u - 9. Are q and l unequal?
False
Suppose 9*q = -1086 + 5226. Is 462 less than or equal to q?
False
Let q = -696 + 21573/31. Let b be -1 - (-1 + 3 - 4)/1. Is q greater than b?
False
Let t(y) = y**3 + y**2 - y - 3. Let v be t(0). Let j(s) = -7*s - 21. Let f be j(v). Is 1/102 equal to f?
False
Let g = 0.92 - -0.08. Let q = 8 - g. Let x = q - 6.8. Which is smaller: 1/8 or x?
1/8
Let v be 5*(-10)/54 - -1. Suppose -4*u + 2*o = 68, 22 = 4*u - 4*o + 82. Let s = u - -20. Is v less than or equal to s?
True
Suppose -3*s - 3 = 2*b, -21 = 4*b + 3*s - 0. Let x(t) = t**2 + 9*t + 3. Let j be x(-9). Let c = j - 13. Is b at least as big as c?
True
Let z = 17 - 24.5. Let y = z + 1.42. Let c = 0.08 + y. Which is bigger: c or -1?
-1
Suppose 0 = -j + 98 - 1502. Let p = -7051/5 - j. Which is greater: p or -5?
-5
Let a be (-8)/(-6) - (-8)/12. Let x be (-4)/(-8) + (-23)/a. Let c = 155 - 166. Is x greater than c?
False
Let b = 1 + -1. Let i = -5.5 - 1.5. Let q = i + b. Is q at least as big as -2/3?
False
Let b = 1679 - 1679.3. Is b at most as big as 343?
True
Let c = -285.8 - -288. Which is greater: 2/21 or c?
c
Let q be (-4)/10 - 20/(-50). Suppose 2*d + 3*i = -d + 60, 5*d + i - 100 = q. Are 20 and d nonequal?
False
Let f = -8 - 47. Let g = -45 - f. Which is bigger: 2 or g?
g
Let o = 6 + -1. Let s = 9 - 6. Suppose -3*l + 6 = -3*m, -m = -2*l + s + 3. Is l smaller than o?
True
Suppose -2*r - 5*u = -5*r + 1415, 0 = 4*r - 3*u - 1905. Suppose 3*g = 8*g - r.