r. Which is greater: 1/2 or l?
1/2
Let l(b) = b**2 + 8*b + 8. Let v be l(-7). Let f be v/(-6) + 2/(-12). Which is bigger: 2 or f?
2
Let v = -36 - -45. Let q be (-5)/(-2)*(72/v)/(-280). Is 1/5 at least as big as q?
True
Let k = -13 + 39. Let w = k - 25. Which is smaller: w or -4/3?
-4/3
Let i be (98/147)/(0 + -7). Suppose -v + 4*z - 9 - 3 = 0, -3*v + 4 = -2*z. Suppose -5*x = -v - 1. Which is smaller: x or i?
i
Let j be 392904/(-96141) - -3 - -1. Let z = 2/439 + j. Let p = z + 249/365. Which is greater: -1/3 or p?
p
Let y(p) = -2*p**2 - 33*p - 73. Let u be y(-14). Let c(s) = -2*s - 12. Let g be c(-8). Which is smaller: g or u?
u
Let t(l) = 2*l**2 - 10*l + 1. Let u be 20/30 + (-32)/(-6). Let d be t(u). Is 72/5 >= d?
True
Suppose -7*a + 2*u - 625 = -8*a, -5*a = -4*u - 3069. Which is smaller: 618 or a?
a
Suppose -3*m + i = -0*i + 1210, -4*i + 16 = 0. Let q be m/14 + 2/(-7). Is q smaller than -28?
True
Let g = -3.9 - -3.836. Let k = g + -0.026. Which is greater: k or 0.3?
0.3
Let w be (-4 - -6) + 0 + 0 + -3. Which is greater: -2/251 or w?
-2/251
Suppose 19*v - 132 = 20. Suppose 5*k - 1 = 3*b, -4*b + b = -3*k + 3. Let l = 0 + k. Do v and l have the same value?
False
Let i = 674 + -1166. Is -493 at least as big as i?
False
Let y = -36179/948 - -229/6. Which is bigger: 1 or y?
1
Let a be 2 - 114/(-30)*-1. Let x(r) = r**3 - 5*r**2 - 9*r + 42. Let u be x(5). Which is smaller: a or u?
u
Suppose -5*c - 5*t + 10 = -4*c, -4*c + 8 = 4*t. Let r = 0 + c. Is r smaller than 0.04?
True
Let z be 4 - (2 - 5 - -2). Suppose -z*p + 0*p - 15 = 0, 5*i = -3*p - 134. Is -25 at most i?
True
Let k = 1133 - 1406. Which is greater: -0.2 or k?
-0.2
Let v = 304919/10725 + -711/25. Which is smaller: v or -1?
-1
Let a = -130 - -129.8. Which is bigger: a or 26/9?
26/9
Let t = 247 - 246.7. Is 45 greater than or equal to t?
True
Let w = 27 + -30. Let l be (-1)/(2*w/42). Is l smaller than 7?
False
Let i(p) = 2*p**3 + p**2 + 5*p - 5. Let z be i(2). Suppose -4*r + 19 = 3*o - 12, 5*r - z = -o. Which is greater: 1 or r?
r
Let z = 4.9875 + 0.2125. Are z and 2 nonequal?
True
Let b = -0.395 + 0.405. Is 13 < b?
False
Suppose -i + 462 = 3*c, -2*c = -3*i + 4*i - 309. Which is smaller: c or 152?
152
Let w(l) = l - 1. Let m = -5 + 7. Let p be w(m). Suppose 5*g = -4 - p. Which is greater: -1/4 or g?
-1/4
Suppose -4*q + 3 = -q, -22 = 4*i + 2*q. Let l be i/(0/2 - -1). Let y(w) = -w**3 - 7*w**2 - 6*w - 6. Let n be y(l). Is n less than -7?
False
Let h = -13 - -9. Suppose 172 = 83*g - 126*g. Is g at most h?
True
Let s = -126 + 2267/18. Suppose o + 5*v + 6 = 0, -3*o + v = -2*v. Are o and s unequal?
True
Let p = -153.6 - -238.5. Let b = p + -85. Let w be (-31)/(-36) - 1/(-4). Is b <= w?
True
Let z(f) = -f**3 + 2*f**2 + 3*f + 2. Let r be z(3). Suppose 0 = 2*p - 2*a - 0*a - 4, 0 = r*p - 4*a - 12. Let g be p/4*(-2 + 2). Which is smaller: 2/5 or g?
g
Suppose -6*s - 192 = -0*s. Let h be (3/(-36))/((-4)/(s/6)). Which is smaller: 0 or h?
h
Let u = -761 - -782. Which is smaller: -1/12 or u?
-1/12
Let i(u) = u**2 + 9*u + 16. Let k be i(-7). Let t be (-1)/1*(k - 4). Let m be 856/(-72) - t/18. Which is bigger: m or -11?
-11
Let z be (-19)/(-4) + 81/(-108). Let n be 0/(-3)*1 + -4. Let a = n - -8. Is z at least as big as a?
True
Let u be ((-3)/6 + 1)*4. Suppose -27 = u*n - 5*n. Suppose t + n = -5*s - 5, -2*t - 10 = 4*s. Which is bigger: 1/10 or t?
t
Let s be (-22)/(-9) + (-6 - -4). Let y be (2 - 15/(-3))*(3 + -4). Let r(v) = -v**3 - 6*v**2 + 9*v + 14. Let c be r(y). Which is bigger: c or s?
s
Let y(t) = -t + 26. Let a be y(5). Suppose -a = 11*u + 45. Suppose 0 = 2*z + 7 + 7. Is z >= u?
False
Let p = -8 + 42. Let z be p*(1 - (-5)/(-10)). Is 16 less than or equal to z?
True
Let f(a) = -a**2 - 5*a + 1. Suppose -2*d - 1 = -2*c + 13, -5*d + 2*c = 35. Let l(v) = v + 2. Let m be l(d). Let z be f(m). Do 2 and z have different values?
True
Suppose -5*h + 3*q - 6 = -0, -3*h - 5*q = -10. Let a = -47 + 42. Which is greater: a or h?
h
Suppose d = -2*m - 507, 2*d + 0*d = -m - 261. Which is smaller: m or -253?
-253
Let h(p) = -35*p**3 - 2*p**2. Let j be h(1). Let u be ((-12)/9)/2*57. Is j at most as big as u?
False
Let a be 4*((-2)/(-4) + 0). Suppose 0 = -a*u - 2. Which is smaller: 6/17 or u?
u
Let k = 0 - -2. Suppose k*g + 3*g + 100 = 0. Let h(t) = -43*t - 64. Let i be h(-1). Which is bigger: g or i?
g
Let b = 1.78 - -6.52. Let i = b - 10. Which is bigger: i or 1?
1
Let c(s) = s + 6. Let t be 2/(-4) + 36/(-8). Let u be c(t). Suppose 3 = 4*h - 2*f + f, 6 = -4*h - 2*f. Which is bigger: u or h?
u
Let b(j) = -2*j**3 + 6*j**2 + 10*j - 1. Let w be b(6). Let q = w - -2045/13. Does 1 = q?
False
Let y be (-186)/12 - (-3)/2. Let h be ((-6)/7)/(8/y). Let d = -104 + 105. Which is smaller: h or d?
d
Suppose c = -5*g + 15, c - 5*g - 12 = -9*g. Is c <= 158?
True
Let k(q) = 55*q + 274. Let g be k(-5). Is 2/1533 less than or equal to g?
False
Suppose y + y - 2 = 0. Let v be (-23)/69*((-52)/(-3))/(-4). Which is smaller: v or y?
y
Suppose -43 - 13 = 8*u. Which is smaller: u or 22?
u
Suppose -4*j = -j. Let r = -3/895 - -409/15215. Is r equal to j?
False
Let j = -2082 + 2044. Is j >= -36?
False
Suppose -18*o = -22*o - 4. Is -6 less than or equal to o?
True
Suppose -2*c + 5*c = t + 16, 0 = 5*c + t - 24. Suppose 5*w + c*y + 15 = 0, 5*y + 0 - 12 = 4*w. Are w and -6 non-equal?
True
Let z be (-6)/(1*(-4)/(-4)). Let d be (-74)/(-6) - z/9. Let a = d + -11. Which is bigger: a or 1/2?
a
Let r(c) = -52*c + 58. Let d be r(7). Are -308 and d non-equal?
True
Let z = -20 - -36. Let h be (z/(-12))/4*9. Let i be (-12)/42*h/(-3). Is i at most 3?
True
Let c be 9 + ((-27)/24 - -6). Which is greater: c or 15?
15
Let m = 58 - 57. Is 78/11 at least as big as m?
True
Let m = -1.629 - -0.259. Let k = m - -0.37. Are 2 and k unequal?
True
Let c be (-5700)/26865 + -3*(-8)/108. Which is greater: 0 or c?
c
Let w(q) = -q**2 - 7*q - 4. Let o be w(-6). Let r = -145751/8 + 18220. Which is smaller: o or r?
r
Let f = 28 - 28. Are f and -0.14 nonequal?
True
Let v = 6 - 37. Let n(i) = -9*i + 15. Let l be n(5). Is v bigger than l?
False
Let m(j) = j - 19. Let p be m(10). Let t = p + 9. Which is bigger: -3/22 or t?
t
Let c = 215.2 - 194. Let f = 145 + -124. Let k = c - f. Which is greater: 0 or k?
k
Let c(v) = 15*v + 44. Let n be c(-3). Which is greater: -9/61 or n?
-9/61
Suppose -19 = -4*p + 49. Let a be p/6 + 4/24. Let r be -3 + (-3)/18 + a. Is -3/2 at least as big as r?
False
Let h(m) = m**3 + 2*m**2 - 3*m - 3. Let i be 4*2/6*-3. Let c be h(i). Is c <= -23?
True
Let l = -90 + 89. Is l greater than or equal to -5/113?
False
Let y be (-15)/20 + 1 - (-6)/8. Suppose -3*m - w + 7 = -4*m, 2*m + 38 = -4*w. Let a be (40/m)/(-2) - 2. Is a > y?
False
Let w(z) = 3*z**2 + 29*z + 29. Let d be w(-21). Is d at least as big as 743?
True
Let m be 2 + -20 + -1 - 1. Let z(t) = 5*t + 49. Let o be z(-9). Suppose -o*b = -3*f + 74, -24 = -2*b + 3*b + 2*f. Is m equal to b?
True
Let f(a) = a**3 + 5*a**2. Let g be f(-4). Let n be 12/g*(-46)/(-6). Which is greater: n or 7?
7
Let z = -58 - -61.4. Which is bigger: z or -1?
z
Let i(r) = r**2 + 3*r - 4. Let m be i(-4). Suppose m*f - 15 = 5*f. Let w(s) = -2*s - 1. Let d be w(0). Which is greater: f or d?
d
Let u(h) = h**2 - 12*h + 30. Let s be u(7). Which is smaller: 1/6 or s?
s
Let m = -315.9 - -316. Which is smaller: -2.32 or m?
-2.32
Let w(i) = -3*i - 5. Let u be w(-4). Let c = -5 - -8. Suppose 4*h - 22 = -5*l, 2*h = c*l + 2*l + 26. Which is bigger: u or h?
h
Let a(w) = w**3 + 23*w**2 + 21*w + 4. Let x be a(-22). Suppose -x = -4*k + 54. Is k < 21?
True
Suppose 9*n + 40 = 14*n. Is n > 41/6?
True
Let o(k) = -34*k**3 + k**2 + 2*k - 2. Let m be o(1). Let g = -29 - m. Suppose 12 = -2*t - g*t. Is -2 != t?
False
Suppose 19*q = -26*q - 360. Let g(z) = -z + 4. Let i be g(9). Are i and q non-equal?
True
Let f(p) = -p**2 + 2. Let a be f(0). Let o be -2 + (-4)/(1/1). Let t be 4/o*(-18)/4. Is t <= a?
False
Suppose 2*c + 238 - 680 = 0. Are 220 and c equal?
False
Suppose 45*r + 35 = -39 + 29. Let l = -26 + 105/4. Is l not equal to r?
True
Suppose 9*p + 33 - 177 = 0. Is 11 at least as big as p?
False
Let f = 25 - 31. Are f and -6 non-equal?
False
Let q = -39 + 44. Suppose q*u = 24 + 46. Which is greater: u or 13?
u
Let z(v) = v**3 - 29*v**2 + 50*v + 102. Let l be z(27). Is -8