i
Let m(w) = w - 14. Let b be m(12). Which is smaller: 0 or b?
b
Suppose -10 = -4*q + 2*q. Suppose h + q*x = 22 + 21, -4*h - x + 153 = 0. Let r be h/(-57) + (-8)/6. Which is smaller: -12/5 or r?
-12/5
Let f be 2*(-16)/40*10/(-12). Is f smaller than 34.5?
True
Let h = 29.69 - -0.31. Let u = h - 31. Is u at least 1/3?
False
Suppose 14 = 2*z - 18. Suppose 3*c + z = r - c, -3*c = -r + 15. Let w be (r/6)/(1/4). Which is greater: 0 or w?
w
Suppose 4*k - k = 5*b + 20, 2*k = 10. Let y be 0/(-1 + b/1). Suppose 3*l + 3*q = -y*l, 4*l = -q + 12. Is l > 9/2?
False
Let f = 30 + -30. Suppose -6*z + 5*z + 5 = f. Is z less than 3/4?
False
Let g = -0.08 + 0.01. Let p = g - -0.33. Let u = p + 2.74. Which is bigger: 6 or u?
6
Let m = 23.6 - 20. Let n = -3.1 + m. Is n smaller than 3?
True
Let l = -40 - -38.05. Let g = -0.07 + 2.07. Let h = g + l. Is h > -1/3?
True
Suppose 11*v = 13*v - 8. Is -1 smaller than v?
True
Let v(j) = -j + 10. Let x be v(10). Let a be (-4)/(-14) - 232/910. Let d = 3/65 + a. Which is smaller: d or x?
x
Suppose 367 - 82 = 3*n. Is 97 greater than or equal to n?
True
Let x = 6038 + -42188/7. Which is smaller: 10 or x?
10
Let r = -25 - -41. Let c = 219 - 218.9. Which is greater: c or r?
r
Let n = -0.439 - 3.561. Which is smaller: n or -0.73?
n
Let z(p) = 5*p - 6. Let y be z(2). Suppose 4*a - 15 + 3 = y*n, -2*a = n. Which is smaller: a or 4/5?
4/5
Let r = -343/12 - -113/4. Let y = 0.15 - -0.1. Let c = y + -0.1. Is r != c?
True
Let l be (5 + 28/(-7))*3. Let h be (-2)/5 + 17/5. Suppose 2*x + h*x = -l*y - 3, 0 = -3*y - 4*x. Is y at least 1?
True
Let i be ((-4)/11)/2 - 0. Let h = 117 - 132.8. Let p = -12.8 - h. Which is greater: i or p?
p
Let p be (-3 + -21)/(-2 - 4/(-8)). Does 192/11 = p?
False
Suppose -2*t - 133 = -c, 5*t + 400 = c + 2*c. Let z = -168 + c. Is z at most -31?
True
Let i = 231 + -234. Which is bigger: i or -13/4?
i
Let q = -0.278 + 0.208. Is -5 greater than or equal to q?
False
Suppose -2*q - 4*k = -0*q - 34, 4*q + 4*k - 48 = 0. Suppose 0 = -l + q*l. Let w = 16/25 + -187/175. Which is smaller: l or w?
w
Let d be -2 + (-6 + 3 - (-80)/5). Let o be (d/44)/((-5)/(-4)). Let f = 1 + -2. Which is bigger: o or f?
o
Let y = 1867 + -1867.1. Let z(k) = k**2 + 2. Let b be z(-4). Is b at most y?
False
Let f(j) = 54*j**3 + j**2 + 6*j + 6. Let r be f(-1). Which is smaller: r or -54?
-54
Let k = 15766/11 - 1432. Suppose 5*d + 5 = -2*m, 0*m - m + d = -1. Which is smaller: k or m?
m
Let z(x) = -x**3 + 12*x**2 - 15*x + 12. Let a be z(11). Let v = a + 52. Suppose v = 5*o, 5*l + 8 = o + 64. Are 12 and l unequal?
False
Suppose -5*i + 3*c = -1, -4*c + 9*c - 17 = -i. Suppose -2 = i*w - 14. Which is smaller: w or 4?
4
Let p = -344 - -346. Which is smaller: p or 0?
0
Let v be (0 - -2) + 15*15/(-9). Which is bigger: 1 or v?
1
Suppose 3*c = -29 - 40. Let v be (-116)/8 - (-1 + 8). Are c and v non-equal?
True
Let j be (12/(-272))/((-36)/32). Do j and 1 have different values?
True
Let a be ((-5)/25)/(12/1847770). Let i = a - -30889. Let m = i - 93. Is 0 <= m?
False
Let z = 25 - 6. Suppose -z = -4*w - 7. Suppose -4*j + 4*p + 0 = 16, -w*j = 2*p + 2. Is j less than or equal to -2?
True
Let t be (((-48)/40)/(-3))/(12/4005). Is 135 < t?
False
Let o be (16/470)/((-24)/15 - -2). Which is smaller: o or -1?
-1
Suppose -v - 4*f + 11 = 2, 0 = -3*v + 4*f + 59. Suppose -t = 2, -4*k + 4*t - v = -9*k. Suppose 0 = k*o - 0*o - 4*i - 31, 4*o - 5*i = 23. Does 6 = o?
False
Suppose -26 = 6*q - 32. Let o(s) = -16*s - 6. Let i be o(q). Which is smaller: -21 or i?
i
Let v(k) = k**2 - 13*k - 30. Let a be v(15). Which is bigger: -2/83 or a?
a
Suppose -2*j = -6*j + 5*b - 4, -4*b = 3*j + 3. Are 0 and j equal?
False
Let r be (108/1296)/(1/3). Is r bigger than 105?
False
Let h be (2 - 214/4)/(8/16). Let f = 96 + h. Which is greater: f or -3/7?
-3/7
Let c(j) = -j**2 - 13*j + 19. Let i be c(-12). Suppose 3*h - i + 34 = 0. Are h and -2/59 equal?
False
Let m be 16/(-3014)*3/(-12). Which is bigger: 1 or m?
1
Let h = 4.47 - 4.3. Let l = -126 - -126.17. Let m = l - h. Is m > 5?
False
Let r be (-3 - 1*-91)/1. Let g be (r/29 - 4) + 1. Let m(l) = -l + 4. Let d be m(5). Is g equal to d?
False
Let q = 74 + -70. Suppose b = -m + 3, 4*b + 14 = q*m + 2. Are b and 2/29 nonequal?
True
Let w be (-1621)/4 + ((-7)/4 - -1). Is w less than or equal to -405?
True
Let d be (212/(-530))/(-29 + 1). Which is smaller: d or 1?
d
Let t be (-172024)/(-58656) - (3 + 0). Let u = t - -3/188. Let m = u + -3/26. Is m equal to -1?
False
Let p(d) = -82*d + 111. Let c be p(7). Is -463 equal to c?
True
Let r = 21.2 + -3.2. Let l = 0 + r. Which is smaller: 0 or l?
0
Suppose 2*g - 142 = 130. Suppose g = -10*m + 6*m. Are m and -33 equal?
False
Suppose -104*v - 131*v - 2342 = 5648. Let u(o) = -4*o**2 - o + 1. Let w be u(-3). Which is smaller: w or v?
v
Let k be 496/(-10) - (-16)/(-40). Which is smaller: -48 or k?
k
Let f = -0.0782 + -1.9218. Is 16/9 at most f?
False
Suppose -2*b = -b. Let t be -1 - -1 - 2/240*3. Which is smaller: b or t?
t
Let a = 4.67 + 89.43. Let k = -94 + a. Is -57 smaller than k?
True
Suppose -18*k + 434 + 988 = 0. Are 83 and k unequal?
True
Let m = 550 + -549. Let y be (-19)/(-28) - (-1)/(-4). Is y > m?
False
Suppose 18 = 4*q + 2. Let y be (2/10)/((-4)/(-380)). Suppose -5*t + y = q. Is t at least as big as -2/5?
True
Let x be 48/21 + (-8)/28. Let j be (3 - 4)/((-1)/5). Suppose -k - 3*d = -10, -j*k - d = -23 + 1. Is k less than or equal to x?
False
Let f be (3/(-6))/((-3)/6). Let c be 6352/55 - 8/20. Let h = -115 + c. Is h less than f?
True
Suppose 0 = u - 2*x - 10, -u = 5*x + 9 - 5. Is 63/13 at least u?
False
Let a = 2067 - 2067. Let t = -1692 + 137050/81. Is t <= a?
True
Let p be ((-61770)/(-90))/((-1)/(-3)). Which is smaller: p or 2060?
p
Let i(l) = 2*l + 14. Let x be i(-9). Let r be (2 - 190/105)/(x/6). Are -2/7 and r nonequal?
False
Let a = -179/3360 - -5/84. Is a equal to 1/3?
False
Let t be (1116/126)/((-2)/14). Is t greater than -58?
False
Let p = 32/95 + -22/95. Let r = 0 - -2. Let w be r/((-1)/(3/(-15))). Is w > p?
True
Suppose 2*z - 5*z = 0. Suppose x - q + 1 = -x, -3*x - 3*q - 6 = z. Let o be 3/(-78) - (-3 - -3)*1. Is x at most as big as o?
True
Suppose 2*j - 166 = 4*t, -7*j + 8*j + 2*t = 63. Which is smaller: j or 74?
j
Let x = 27 - 27. Suppose x*t + 2*t + 4 = 3*d, -5*d + 11 = t. Is d at least as big as 2?
True
Suppose 10241 = -71*h - 3675. Does h = -196?
True
Let q be (-2 - (-1)/(-4)) + 2. Let y = -0.31 - -1.88. Let z = -1.48 + y. Which is smaller: q or z?
q
Let w be (3360/(-415))/4 + 2. Suppose 5*h - 3*f + 10 = 0, 12 = 4*f - 8. Is w > h?
False
Let t = -70 - -140. Suppose 5*x + t = 200. Suppose -j - 2 = 3*r + 6, r = -5*j - x. Which is greater: -2/67 or r?
-2/67
Suppose o = 8 - 3. Suppose -5*t + 2*h - 41 = 0, 5*h - 39 = o*t + 2*h. Let c(x) = -8*x + 1. Let y be c(1). Which is bigger: t or y?
y
Let q = 190.1 + -190. Is 31 not equal to q?
True
Let d be 1 + 20/14 - 3. Let x(v) = v**2 - 12*v. Let z be x(12). Let s be -1 + -2 - (-1 - z). Do s and d have different values?
True
Let l = -43/8 - -723/136. Let w = -4 - -4. Is w not equal to l?
True
Suppose -5 = -4*t + 3. Let k(l) = 6*l + 2. Let z be k(0). Is z less than t?
False
Let r be 8/(4/(3 - 1)). Suppose 0 = f - 2*f - r. Let a be f/(-25 - (-2 - 1)). Is a > -1?
True
Let x(b) = b**3 - 11*b**2 - 15*b + 43. Let z be x(12). Which is smaller: 22/3 or z?
z
Let c be 4/(-26) - 870/(-78). Let z(s) = 13*s + 6*s + s**3 + 8*s**2 - 14*s - 3. Let l be z(-7). Is l <= c?
True
Let f be (-1)/(1/(-1)) - -2. Suppose -f*g - 3*h = 2*g + 14, 3 = -h. Let l be (342/23655)/(6/10). Is l at most as big as g?
False
Let s(z) = 46*z**2 + 47*z - 135. Let q be s(3). Which is bigger: 419 or q?
q
Let d = 30 - 30.26. Let f = d + 0.06. Suppose 5*j - 7*j = -5*l, -4*j - 20 = 0. Which is greater: l or f?
f
Let i = 28 - 15. Suppose -i + 63 = -5*w. Let z(b) = -7*b**2 + b. Let v be z(-1). Do v and w have the same value?
False
Suppose m + 5 = -4*y - 2*m, 3*y + 9 = -4*m. Let p = 0.94 + -0.44. Which is greater: y or p?
y
Let v = -12.55 + 2.47. Let p = -9.81 + -0.19. Let o = v - p. Which is smaller: -1/2 or o?
-1/2
Let x be (-13586)/(-39) - (-52)/(-78). Let u = x - 348. Let r be -1 - (0 + (-5)/7). Is r at most as big as u?
False
Suppose -2*o - 41 = 9. Which is smaller: o or -121/5?
o
Let f be -9 + 11