- 61. Let j = 0.3 + -1.3. Which is bigger: y or j?
j
Let n = 1439/18 - 80. Suppose -5*p - 2*t = 22 - 5, -5*p = -5*t + 45. Let f be 3 - (-20 - -5)/p. Is n less than or equal to f?
True
Let g(s) = -3*s**2 - 4*s - 67. Let x be g(0). Which is bigger: x or -70?
x
Let y = -1 + 0. Let a(v) = v**3 - 13*v**2 + 3*v - 18. Let j be a(13). Let u be (j/98)/((-4)/(-7)). Is y >= u?
False
Let f(b) be the second derivative of b**4/3 - b**3/2 - b**2 + 2*b. Let a be f(3). Let x be a/(-3) + 2/6. Is x less than or equal to -6?
True
Let t = -0.287 - -0.127. Let h = -0.4 - -0.38. Let f = t + h. Is -2/5 smaller than f?
True
Suppose 0 = -l - 2*t - 2, 0 = -2*l - 2*l - 2*t + 22. Let b be (-2)/l - 1/(-4). Let n = 383/6 + -63. Which is smaller: b or n?
b
Let b = 209 - 34. Suppose 6*w - w = b. Which is smaller: w or 34?
34
Let n = -24 + 69. Which is smaller: 43 or n?
43
Let g = 326 - 356. Is g at least as big as -37?
True
Let b = 567 + -2834/5. Which is bigger: b or 0.4?
0.4
Let g be 26/117 + (-250469)/117. Let s = 2139 + g. Which is smaller: s or -3?
-3
Suppose 167 + 23 = 2*i. Let q be 5 - (0 - (-480)/i). Which is bigger: q or 2/7?
2/7
Let q be 12/(-141) - 0/(-1). Is q at most 0?
True
Let h(y) = -y - 7. Let c be h(-6). Let f = -9 - -2. Which is greater: f or c?
c
Let g be (92/(-16) - -5)*3. Which is greater: g or -2?
-2
Let d = 19.783 + 0.217. Is d >= 3/10?
True
Suppose 4*s + v - 34 = 0, -v - 29 = -2*s - s. Suppose s = -5*w - 2*j, 5 + 1 = -3*j. Suppose 7*c + 4*h + 9 = 2*c, 0 = -3*h - 3. Is c equal to w?
True
Let m(f) = -f**3. Let d be m(-1). Let t be d/3 - (-299)/(-78). Let n = 0.04 + -1.04. Is n at least t?
True
Let u = 1463.9 + -1464. Which is smaller: -0.0651 or u?
u
Let m = 1 - 1. Suppose -5 = h - m. Let f be (81/72)/(9/4). Which is bigger: f or h?
f
Let q = -16 + 4. Let c = 11 + q. Let y be 1 + (c/2 - 1). Which is smaller: -0.2 or y?
y
Let c be (93/(-1))/(12/(-8)). Suppose 4*v + c = -2*s, -v - s - 29 = -5*s. Are v and -18 nonequal?
True
Suppose 3*r + 63*a - 67*a - 289 = 0, -4*a = -2*r + 190. Is 98 bigger than r?
False
Suppose -5*o + 3*u - 17 = 0, -o = -0*o - 4*u + 17. Let k = -5841/5 + 1120. Let r = 48 + k. Is r < o?
False
Let n be (2/4)/(1/(-5)). Let i(v) = -v**2 - 5*v - 8. Let l(z) = -z**2 - 10*z + 20. Let t be l(-12). Let g be i(t). Which is smaller: n or g?
g
Suppose 2*z + 4*p + 16 = 0, 0 = 3*z - 4*p + 9 + 15. Is z < -69/10?
True
Suppose -5*z + 4*t + t = 0, -16 = -4*z - 4*t. Is 16/31 at most as big as z?
True
Let p be -2 + -3 + 6 + (0 - 1). Let f(z) = z + 9. Let i be f(-6). Suppose -2*y - y - i = p. Is -3/14 smaller than y?
False
Let c(o) = o**3 - 23*o**2 + o - 24. Let q(w) = 2*w**2 - w - 5. Let y be q(4). Let x be c(y). Is x equal to -1/13?
False
Suppose -3*n = -4*s + 41, 2*n - 2*s + 28 = -0*s. Suppose a + 0*a - 2*t = -40, -2*t = -5*a - 160. Let o be n/a*(0 + 4). Which is smaller: o or 7/6?
7/6
Let w = -477 - -586. Does 108 = w?
False
Suppose 4*f + 19 + 18 = g, 2*f - 5*g + 5 = 0. Let a = f - -11. Which is smaller: -1/24 or a?
-1/24
Let z = -6.4 - -6.44. Let f = -0.06 - z. Is -12/5 less than f?
True
Let h(z) = -z**3 + 16*z**2 - 14*z - 11. Let o be h(15). Let t be 20/(-22) + o/2. Which is smaller: 2 or t?
t
Let m = 1 - 23. Suppose -4 = 5*t + 2*d + 1, -4*t - 4 = d. Is t not equal to m?
True
Suppose -15*n - 342 = 318. Is n at most -44?
True
Suppose 0 = -3*s + 33 + 3. Suppose 5*d = d - 4*a + s, -5*a + 25 = 0. Is d <= -17/11?
True
Suppose f - 52 = -3*f. Suppose -30*s + l - 52 = -34*s, s - 4*l = 30. Is f at least as big as s?
False
Let d = -0.8 - 1.2. Let p = -7 + d. Let y = -8 - p. Are y and 0.1 non-equal?
True
Let v(x) = -x - 12. Let p be v(-12). Suppose -28 = 4*t - p*t. Let d be 5*(t/5 + 1). Is d equal to -1?
False
Let f = -44 + 40. Let s be 3/6*30/(-3). Which is greater: f or s?
f
Let a(u) = u**3 + 12*u**2 + 33*u + 7. Let s be a(-8). Suppose -5*f - 20 = -9*f - 4*h, -3*f - 17 = -5*h. Suppose -f = -3*p + 2*p. Which is bigger: s or p?
p
Let d = 1 - -1. Suppose -v - 14 = -3*v. Let f = v + -6. Is f smaller than d?
True
Suppose -16*u = -23*u - 175. Which is greater: u or -26?
u
Let c(w) = 2*w**2 - w + 6. Let x be c(3). Suppose -14 = f + 4*z, 3*f + 0*z + 5*z = -x. Which is smaller: f or 3?
f
Let x = 5.05 + -5. Let y = -2.05 + x. Let v be (40/(-160))/(1 - 2). Which is greater: v or y?
v
Suppose -3*o + 32 = o. Let f = o + -4. Is f at most 5?
True
Suppose -197 = 3*o + 121. Let j = -105 - o. Is j <= -2/15?
False
Let l be (5/2)/((-11)/(-66)). Let k be (-3 - (-40)/l)*-3. Is k at most as big as 2/71?
False
Let w = 1.92 + -0.92. Which is greater: w or 8/41?
w
Let a be 0 - 0 - (5 + 2). Suppose -2*w + 5*t = -52, -4*w - 3*t = w - 99. Suppose w*i = 16*i - 25. Which is smaller: a or i?
a
Let i be -4 + ((-1)/2 - (-7670)/(-340)). Is i greater than -26?
False
Let t(b) = -b**2 + 4*b + 3. Let z be t(-5). Let i be z/14 - 4*1. Suppose -3*x = -0*g - 5*g - 25, -x = 4*g + 20. Which is bigger: g or i?
g
Let w = -431 + 395. Is w at least as big as -21?
False
Let d = 13 - 12. Let g(k) = 9*k**2 - 7*k**2 - 5*k + d - 3*k**2. Let h be g(-5). Which is smaller: -1/9 or h?
-1/9
Let a = 756 - 759.33. Let g = a + 0.33. Which is smaller: -4 or g?
-4
Suppose -4*p = i - 2, -2*i + 2*p + 3*p - 9 = 0. Let m(o) = -o**3 - 4*o**2 - 3*o. Let l be m(-2). Let b be (2 - (-1 - i))*l. Is b at most -0.6?
True
Let y be 2457/81*-1*(0 - 3). Are y and 90 equal?
False
Suppose -18 - 38 = 14*u. Let x be 12/2*(-4)/6. Is x < u?
False
Suppose -27025 = 55*q - 1175. Which is smaller: q or -469?
q
Let s be (0 - 1) + -21 + 2 + 0. Which is smaller: -27 or s?
-27
Suppose -q - 18 = q. Let u(v) = -v**3 - 9*v**2 + 2*v + 11. Let b be u(q). Let r = -25 - -18. Is r less than or equal to b?
True
Let c be 3/9 + 1/(-3). Is c at least 2/35?
False
Suppose -2*o - 10 = -26. Suppose -5*d + 33 - o = 0. Which is smaller: d or 1/2?
1/2
Suppose 5*s + 5*q + 60 = 0, 5*s - 2*q - 2*q + 42 = 0. Let b(v) = v**2 + 14*v + 15. Let z be b(s). Is -22 greater than z?
True
Suppose -5*h + 9 = k, -h = -3*k + k + 7. Let z be 35/(-21)*(h - 10). Suppose 5*q = 5*w + z, 0 = -0*q - 3*q + 3. Do -1 and w have the same value?
False
Let s(c) = c**2 + 22*c + 84. Let i be s(-17). Let l be ((-22)/6)/((-7)/(-3)). Which is bigger: i or l?
i
Let l be -20 + 8/28 + 15/21. Is -6 less than l?
False
Let a be 5/(-70)*-692 - 12/(-21). Is -4/7 at least a?
False
Let z = 4520178/415 - 10892. Which is greater: z or -1?
z
Let t(c) = c**3 + 8*c**2 + 8*c + 5. Let i be t(-7). Let b = 1433 + -1434. Does b = i?
False
Let g = 0.334 - -0.046. Let o = -0.18 + g. Which is smaller: o or -19?
-19
Suppose -15 = -10*y + 5*y. Let n be -13 + 0/y + 4. Let t = 13 + n. Which is smaller: -0.5 or t?
-0.5
Let l be 0*(15/(-6) - -3). Do l and -2/111 have different values?
True
Suppose -4 = -50*x + 54*x. Let u(z) = 6*z**2 - 1. Let g be u(1). Let a = -5 + g. Which is bigger: a or x?
a
Let t be (90/(-7))/(2776/(-560) + 5). Does -300 = t?
True
Let k = 68 - 22. Let x = -8 - k. Which is greater: x or -53?
-53
Let p be 31/((-93)/(-6))*1/(-3). Which is smaller: 0.7 or p?
p
Let c = -98892/7 + 14104. Which is greater: -24 or c?
c
Let n = -75 + 751/10. Is n < 0.5?
True
Suppose 0 = 4*r - 11 - 5. Suppose r*n - 67 = 117. Suppose 5*c - 5*l - 80 = -0*c, -4*c - 2*l + n = 0. Which is smaller: 14 or c?
c
Let k = 198 + -199. Are -10/17 and k non-equal?
True
Let z(l) = -l**3 - 5*l**2 + 8*l + 9. Let t be z(-6). Let f be 9/((4 + t)/1). Let b be 0*(-1 - f/(-6)). Is 2/25 > b?
True
Let i = -19 + 29.9. Let p = i + -10. Let b = 1.9 - p. Are 1/4 and b equal?
False
Let o be ((-70)/37)/(-2) - 1. Let l = -119 - -107. Let g = -12 - l. Is g at least as big as o?
True
Let n = 19 + -15. Suppose -n*s = x - 24, 0 = 3*s - 5*x - 18. Let c(l) = -l + 19. Let f be c(s). Is 13 greater than f?
False
Suppose 3*v - 2*r + 20 = 3, 2*v = -2*r + 2. Let q be 0/(8/(-12)*v). Let h be (1*(q + -4))/1. Is -5 smaller than h?
True
Let m(h) = -h**3 - 9*h**2 + 9*h - 23. Let p be m(-11). Let v = -598/5 + p. Which is smaller: v or -4.1?
-4.1
Suppose 0 = -0*n - 5*n - x + 13, -14 = -2*n + 4*x. Suppose 2*j + n*h - 10 + 2 = 0, 0 = -5*h + 10. Which is smaller: 2/51 or j?
2/51
Let z = -1/15 - -9/145. Which is bigger: 1 or z?
1
Let o be 4/(-10) + 219/(-15). Let u be (-54)/(-36)*(-460)/45. Is o smaller than u?
False
Let t(c) = c**3 + 7*c**2 + 6*c + 2. Let v be t(-6). Suppose -23*f = -2