ler than k?
True
Let o = 124 + -119.98. Let i = 22.02 + -22. Let z = i - o. Which is bigger: 0.3 or z?
0.3
Let d be 268/(-56)*(-25)/(-20) + (0 - -6). Let k(t) = -t + 2. Let i be k(1). Which is bigger: i or d?
i
Let b = -262/11 - -24. Suppose 5*x = -q - 3, 5*x + 0*q = 3*q - 11. Let m be 0 - 1 - x*1. Which is bigger: b or m?
b
Let x = -213 - -340. Suppose 9*a = 4*a - o + 118, 4*o = -5*a + x. Is a smaller than 23?
False
Let j = -74 + 85. Suppose -j*p - 353 = -23. Is p bigger than 0?
False
Let n(q) = q**2 + 3*q + 2. Let d be n(-3). Suppose 6 - d = -u. Which is greater: u or -5?
u
Suppose -297 = -5*t - 0*c + 4*c, t + 4*c = 45. Do -2 and t have the same value?
False
Let k(r) = -r**2 - 9*r - 10. Let f be k(-7). Let p = 7.67 - 7.7. Is p at least as big as f?
False
Let f = 120 - 119. Let b be ((-16)/(3 - 1))/(714/(-63)). Is b greater than f?
False
Suppose -t - 3*h - 127 = 0, 3*t - h = 3*h - 446. Which is bigger: -2 or t?
-2
Suppose 0 = 8*m - 14*m - 1056. Is m greater than -177?
True
Let b be (9/(-27))/(2/24). Let y = 8 + b. Suppose -3*j = -4*u - 116, y*j = -0*j. Which is bigger: -28 or u?
-28
Let u = 208 + -205. Is 0.4 less than or equal to u?
True
Let v = -992 + 992. Is -29/28 >= v?
False
Suppose -3*w - 8*r - 18 = -3*r, 4*w + 2*r = -10. Is w greater than -790?
True
Suppose 2*n - 5*c = 42, n - 5*c - 31 = -0*c. Suppose m = -0*m + 5*l + n, 0 = -4*l - 8. Is m at most as big as 4/9?
False
Let d(t) be the second derivative of t**3/3 - 17*t**2/2 - 7*t. Let k be d(7). Let v be (-3 - -3) + -1 + 0. Which is greater: v or k?
v
Let q be (-2)/19 - 10738/(-87932). Does 1 = q?
False
Suppose 6*l + 5*n - 1130 = l, 3*n - 455 = -2*l. Which is smaller: l or 222?
222
Let l(q) = -q**2 - q + 59. Let x be l(7). Which is bigger: x or 30/11?
x
Let g be (-1)/(-10) + (-286681)/(-590). Does g = 485?
False
Let g be ((0 + -1)*41)/(1 + -2). Suppose 7*p - 4*p = -2*t - g, -3*p + 69 = -3*t. Is -22 <= t?
True
Let g = 736 - 4427/6. Which is smaller: -2 or g?
-2
Let b(h) = 60*h + 240. Let n be b(-4). Which is bigger: n or 1396?
1396
Let s = -42637 + 16625. Let v = -1950788/75 - s. Let f = v + 8/75. Which is greater: 2 or f?
2
Let h = 7 + -106. Let s be (3/h - 0)*(-9)/(-12). Is s greater than 0?
False
Suppose 5*w - 10*w = 4*k - 908, -190 = -w - 5*k. Which is bigger: 182 or w?
182
Suppose -3*t - 26 = 2*j + 255, -4*t = 2*j + 282. Let q be j/(-21) - 10/35. Let m = -37 + 42. Which is greater: m or q?
q
Suppose -6*z + 11*z + 25 = 0. Let d = -167/3 - -55. Which is smaller: z or d?
z
Let g be (-6 - 0) + 0 + 1. Suppose -4*o + 15 = -5*j, 5*j - 3 = -3*o + 6*j. Let x be o/(-1 - (-5)/g). Are x and 5 nonequal?
True
Let w = -30.7 + 30. Let t = w - -1.7. Let s = -0.7 + t. Which is smaller: s or -3?
-3
Let g = -23 - -21.7. Let v = -1.3 - g. Let z = 0.5 + -0.1. Which is greater: v or z?
z
Let b = -366 + 5488/15. Let n = 0 + 0. Which is smaller: b or n?
b
Suppose 656*m - 661*m = 95. Suppose 0 = 4*j - 2*c + 78, -2*c = j + j + 30. Is j equal to m?
False
Suppose -4*w + 12 = r, 3*w + 35*r - 34*r - 10 = 0. Let p(i) = -i**2 + i + 2. Let h(q) = q**2 + 2*q. Let c be h(-2). Let a be p(c). Is w at least as big as a?
True
Let m = 0.375 + -33.575. Let a = -33 - m. Which is smaller: a or 0.8?
a
Let d = -54.745 - 0.255. Which is smaller: d or -4?
d
Let o be 3 + (0 - (-20)/(-5)). Let t(k) = -k**3 - 7*k**2 - 3*k + 3. Let z be t(-6). Let x be (5/z)/(o/4). Which is smaller: 0 or x?
0
Let h = 2245 + -199807/89. Is h > 1?
False
Let n = 2.5 - 5. Let c = 8.2 + -10. Let k = n - c. Which is smaller: k or -3/5?
k
Suppose -3*f + 31 = -4*z, 4*f + 4*z = 3 + 1. Let q(s) = s**2 - 7*s + 7. Let d be q(f). Let v be ((-12)/(-16))/((-2)/4). Is v at least as big as d?
True
Let d be (-4820)/(-22095) - 2/9. Let r = -547/13748 - d. Is r smaller than -1?
False
Suppose 0*j = 3*j - 0*j. Which is greater: j or -2/53?
j
Let i = -930959/105 + 8868. Let w = 13/7 - i. Let j be (-4)/(-24)*-3*-2. Which is greater: j or w?
j
Let l be (22/(-10) + -1)/((-2)/85). Is 136 less than l?
False
Let j(p) = -p**2 - 13*p + 1. Let g be j(-12). Suppose 0 = -4*c - 4*r - g - 7, -2 = r. Which is smaller: c or -4?
-4
Let d = -40 - -119/3. Let j = -1168 + 1123. Is j equal to d?
False
Suppose -62*c + 49*c = 0. Suppose 3*s + 2*s = 4*k - 3, k = 2*s. Let u = c + s. Which is greater: -3/8 or u?
u
Let i be 1 + -4 - (1 + -47). Let y be ((-84)/(-5))/((-100)/(-250)). Is i at most y?
False
Let m = 33.3 - 34. Let h = m + -0.3. Which is smaller: h or 0.4?
h
Let x be (308/(-20))/((-2)/10). Let v = x - 1929/25. Which is bigger: -1 or v?
v
Suppose 5*q = -d - 39, -q = -4*d - 58 - 98. Let b(g) = g**3 - g - 38. Let s be b(0). Which is greater: s or d?
s
Let c = -7.75 + 8. Let b = -1.35 + c. Let x = -3.1 - b. Which is bigger: -1 or x?
-1
Suppose -4*v - 7 = -5*q - 0, -3*q + 3 = -2*v. Is -7/25 at most q?
False
Let y(g) = 28*g**3 - 2*g**2 + 4*g - 14. Let q be y(3). Is q greater than or equal to 735?
True
Suppose 0 = 2*h - 4*h - 10, -3 = -2*u + h. Let k be u/4 - (-195)/12. Let p = -14 + k. Is 2 at most p?
True
Let s be -4*1*(-1)/1. Let w(y) = y**3 - 4*y**2 + y - 5. Let q be w(s). Let v be 3*q + (-56)/(-20). Which is smaller: -1 or v?
-1
Suppose -4*y - 55 = y - 3*f, -5*y - 30 = 2*f. Let c be 1/((-4)/(-144))*(-2)/y. Is 9 greater than c?
False
Suppose -2*p = 4*n + 10, -7 = -5*p + 2*n - 20. Are p and 27 equal?
False
Suppose -5*y + 4*y - 24 = 0. Let t be ((-32)/y)/((-12)/14). Let l = 8/9 + t. Which is smaller: -2 or l?
-2
Let u be ((-8)/3)/4*-18. Let s = 15 - u. Suppose -i = i - s*d - 18, -4*i - 3*d = -18. Is 9/2 <= i?
True
Suppose 0*s - s - 3 = 0. Let p = -16 - s. Is p equal to -16?
False
Let g(p) = p - 11. Let k be g(6). Let r = 7 + k. Suppose 6*w = 4*w - r. Which is smaller: 1 or w?
w
Suppose 3*w - 31 + 25 = 0. Suppose 11 = 3*o + k - 14, w*k + 6 = 2*o. Which is smaller: 5 or o?
5
Let i = -62 - -62.026. Let b = 3.974 + i. Which is greater: b or 2/11?
b
Let z be 30/(7 + -2) + -9. Is z less than -2.3?
True
Let x(k) = -11*k**2 - 6*k + 4. Let m be x(6). Let w be m/798 + (-84)/(-147). Are -1 and w equal?
False
Let i be 474/(-660) - (-5)/((-165)/6). Let c = 7/5 + i. Which is greater: 4 or c?
4
Suppose 4*n - 2*n = 0. Let k be (-22)/(-70) + 13/(-39). Which is greater: k or n?
n
Let q be -1*1143/6*-4. Let c = 3844/5 - q. Which is greater: 8 or c?
8
Let z(j) = -49 + 4*j**2 - 5*j**2 - 10*j + 51. Let w be z(-7). Is w less than 23?
False
Let d(p) = p**3 - 12*p**2 - 10*p - 23. Let w be d(13). Is 47/3 less than w?
True
Let q be (-4)/(-3) + (-22)/(-33). Suppose -42 = -3*h + q*l, 0 = 3*h + 5*l - 14 - 28. Which is smaller: 15 or h?
h
Let v be ((-190)/(-42))/(-5) - (-48)/(-112). Is v at most 0?
True
Let f be (-1)/(-2)*(1 + 1). Let j be (-10)/(-15)*3/(-6)*f. Is j >= -5?
True
Let h = 34 - 30. Let l be 3/h + 75/(-108). Is l equal to 1?
False
Suppose -4*q + 4 + 0 = 0, -2*x - 91 = 5*q. Let o = -47 - x. Are o and 8/5 non-equal?
True
Let w(u) = 92 - 115 + 0*u**2 + 13*u - u**2. Let i be w(11). Which is smaller: i or 2/9?
i
Suppose -4*f = -5*l + 114, 72 + 68 = -5*f + 5*l. Let a = f - -23. Let r be 36/516*2/a. Which is smaller: r or 1?
r
Let m be 0/(6/(-21)*-7). Let v = -31192/31 - -1006. Is v less than m?
True
Let a = 192 - 213. Let g = -50229/2450 - -2/1225. Is a less than g?
True
Suppose -4*t - 2*i - 3 = -7, -t + i + 1 = 0. Suppose -4*j + 55 = -9*j. Let a = j + 26. Which is bigger: a or t?
a
Let h = 52 + -48. Suppose -3*j = f - 2 - 2, 22 = h*j - 2*f. Is -3 less than j?
True
Let f be (-25 - -3) + -1 + 0. Let w = -34 - f. Is w greater than -10?
False
Let u = 14.6 + 0.4. Let p = 14.9 - u. Is p <= 4?
True
Suppose -r + 0*r = -1. Let f = -1.33 - -102.33. Let b = 100 - f. Are b and r nonequal?
True
Let o(g) = g**2 + 2*g - 3. Let j be o(2). Let f(m) be the second derivative of 2*m**3/3 - 5*m**2/2 - 10*m. Let u be f(3). Which is greater: u or j?
u
Suppose -37*p - 28*p = -65. Is p smaller than -1/491?
False
Let j(n) = n**3 + 4*n**2 + n - 2. Let p be j(-3). Suppose -3*a - 1 = -3*u + 2, -u + 26 = p*a. Let i be (-16)/u + (-6)/9. Are i and -2 nonequal?
True
Let o = 21 - 11. Suppose -2*c = 3*c - o. Let q be 22/(-8) - ((-50)/56 - (-29)/203). Is q smaller than c?
True
Let n = 82 + 10. Let i = 81 - n. Are i and -1 non-equal?
True
Let o be 1*(-1 + 2)*5. Suppose 0 = -4*z + 1 - 45. Let f be 1/o - z/20. Is 5 less than f?
False
Let t be ((4 + 