hich is smaller: z or -1.2?
z
Let p(w) = 3*w + 237. Let z be p(-13). Which is bigger: 2/3 or z?
z
Let c(g) = 1 + 2 - 1 - 8*g - 1. Let k be c(-1). Is -2/9 at least k?
False
Let s = 7 - 4. Suppose p + a + 27 = 7, -2*p - s*a = 44. Let i be (-12)/10*(-21 - p). Is 7 at least as big as i?
True
Suppose -5*x + 9 - 31 = q, -36 = 3*q + 5*x. Let t = -220 - -429/2. Which is smaller: q or t?
q
Let v(h) = -h**2 - 6*h + 10. Let z be v(-7). Suppose 0*c + 2 = -y - 2*c, 0 = -3*y - 5*c - z. Is 14/5 at most y?
True
Let s = 117 + -115. Let j = s - 2. Is j not equal to 1/132?
True
Suppose 0 = -2*h - 11 - 17. Suppose 2*x - 3*c + 0*c - 7 = 0, 5*x = -c + 9. Let p be 48/(-4) - x/2. Is h greater than p?
False
Let r = -5 - -5.3. Let p = r - -0.7. Let y be ((5/1)/1)/1. Is y at least as big as p?
True
Let q be ((-4)/14)/((-4)/28). Suppose -q*y - 30 = 3*y. Which is smaller: y or -2?
y
Let h be 42/(-147) - 480/(-14). Is 450/13 at least as big as h?
True
Let s = -42/41 - -1888/1763. Which is smaller: s or -1/8?
-1/8
Let m be 4/23*63/(-9198). Which is smaller: 1 or m?
m
Suppose 2*m + 815 = 155. Let c = m - -556. Let x = c + -2032/9. Which is smaller: 1 or x?
x
Suppose 6*i = 24*i + 54 + 216. Let q(d) = -2*d. Let s be q(7). Let g be (s/5)/((-2)/(-10)). Is g greater than i?
True
Let w = -9.23 - -5.23. Which is bigger: w or -6?
w
Let m(t) = -t**3 - 12*t**2 + 2*t + 29. Let n be m(-12). Let f be (14/8)/((-3)/(-60)). Suppose s + 14 = 2*q, -7*q + 2*q + f = -3*s. Is n > q?
False
Let m = -4 - -6. Suppose -m*y - 3 + 1 = 0. Let k be 4 + (1/(-1) - y). Which is smaller: 2 or k?
2
Suppose -2 = q, 7*d + 4*q - 139 = 4*d. Let t be d/(-14)*2*1. Let u = -16 + 8. Is t at most u?
False
Let x = -1744 + 1743.9. Let q = 0.1 + -0.1. Which is bigger: q or x?
q
Suppose 2855 + 945 = -38*j. Is 2/9 at least j?
True
Let a = -199 - -201. Are a and 111 non-equal?
True
Let v be (311108/(-258))/7 - 4. Let q = 529/3 + v. Which is bigger: q or 0?
q
Let a = -12.1 - -12.3. Let f = -16 - -27. Is a bigger than f?
False
Let u = 2 - 2.4. Let l = 0.2 + u. Let f(s) = 3*s + 11. Let y be f(-4). Which is smaller: y or l?
y
Suppose 4*i - 2*g - 9 = -i, 3 = -5*i - 4*g. Let q be -3 + -11 - 0/i. Is -13 smaller than q?
False
Let v(k) = -3*k + 1. Suppose -t = 5*b - 16 + 1, -2*b = 3*t + 7. Let s be v(b). Let f = s - -5. Are f and -6 unequal?
False
Let a = -11163163/443 + 25199. Which is smaller: a or 1?
a
Let w = 1002 - 1005. Let t(k) = k**2 + 6*k + 4. Let l be t(-5). Which is smaller: l or w?
w
Let d = 4600 + -8729. Let b = -1110699/269 - d. Which is smaller: b or -1?
-1
Suppose -25 = -4*x - x. Let l be 15 - (11 + -17 - -13). Which is greater: l or x?
l
Let y(h) = -10*h - 11*h + 18*h + 35 + 13. Let v be y(16). Is v equal to 1/5?
False
Let v(a) be the third derivative of a**5/60 + a**4/6 + 2*a**3/3 - a**2. Let q be v(-2). Suppose -5*u + 7 = -3*r, u - 3 = r - q. Is u at least 0?
False
Let h = 2.1 + -2.3. Let o = 9 - 9.15. Let x = -0.05 + o. Is x > h?
False
Let x = -547 + 684. Is x bigger than 407/3?
True
Let j be (-1)/(2/558*-3). Is j >= 94?
False
Let r = -0.69 - -0.631. Let k = r + 0.049. Which is smaller: k or 4?
k
Let d be 4880/21825 + ((-10)/(-9))/(-5). Which is bigger: d or 0?
d
Let w = -665 + 435. Let s be (2/(-10))/((-12)/w). Let u = 149/42 + s. Is u > -3/2?
True
Let m = 5.4 + -5. Let f = 32.7 + -33. Which is bigger: f or m?
m
Let t = 229/3 - 73. Let j = -139 - -141. Is j smaller than t?
True
Let c(k) = 25*k - 197. Let i be c(7). Is i < 24?
True
Let h = -677 + 594. Is h greater than -81?
False
Suppose 285 = -10*n + 5*n. Let f = n - -59. Suppose -3*r = -2 - 1. Which is smaller: f or r?
r
Let t = 53.415 + -54. Let z = t + 0.055. Is z <= 1/3?
True
Let t be 2 + 14/35*10/2. Let y(b) = b**2 - 3*b - 3. Let w be y(t). Which is smaller: w or 1/74?
1/74
Let i be ((-2)/5)/((-3)/45). Suppose -4*l = -3*l - i. Let j be (l - 10)*1/18. Which is smaller: j or -0.1?
j
Let q = 19390 - 19391. Let b = -942/43 - 42966/559. Let h = -99 - b. Which is smaller: h or q?
q
Let w = -1684 + 1825. Is 150 equal to w?
False
Let w = 17.5 + -17. Let x = 10.2 - 10. Do w and x have the same value?
False
Let y = -98 - -122.2. Let f = -26 + y. Let t = 0.2 - f. Is t at most 0?
False
Let z = 154.1 - 153. Are z and 6 non-equal?
True
Let m = -11/1075 + -3/43. Suppose -4 = -4*n + 2*n. Suppose 0 = -n*w + w. Which is smaller: m or w?
m
Let b = -1.0184 - -0.0184. Let d be (-2)/7 + (-24)/(-63). Is d bigger than b?
True
Let i be (18327/164)/(1/4). Are 447 and i equal?
True
Let j = 8.81 - 8.91. Which is smaller: -1/17 or j?
j
Let n = 27/19 + -154/95. Let o = 172/3 + -58. Are o and n equal?
False
Let g be 6*(51664/25380 + -2). Let r = g + 2/235. Which is smaller: r or 0?
0
Let r = 22 - 22. Suppose 0 = u - 2*u + 113. Let x = -449/4 + u. Which is bigger: r or x?
x
Let x = -85 - -847/10. Let n = 320 - 319.7. Is n less than x?
False
Let v be -3 + (8 - -2) + -36. Let g = 2 + -33. Which is smaller: g or v?
g
Let l = -3415/152 - -624/19. Let w = l + -2123/200. Which is bigger: -2/3 or w?
w
Suppose 7 - 47 = -40*j. Which is bigger: j or -18/37?
j
Let q = 101 - 103.8. Which is smaller: -1/6 or q?
q
Let f be (-22)/10 - 75406/370. Is f equal to -212?
False
Suppose 0 = -2*a - 5*n - 10, 3*a + 4*n + 6 = n. Suppose 3*l - 8*l = a. Let p(s) = -2*s - 1. Let y be p(l). Is 2/13 at least as big as y?
True
Let z = 123798 + -20426566/165. Let j = z + 2/55. Is j at least as big as 4/17?
True
Let o = 981 - 981.17. Which is greater: o or 39?
39
Suppose -5*l - 25 = -75. Let v be -1 - 0 - (13 - 1). Let o = l + v. Are o and -1 nonequal?
True
Suppose 2*u = 4*u - l - 40, -3*u - 3*l = -69. Let s = u + -38. Is -17 greater than or equal to s?
True
Let d = 41351/77 - 537. Let r be ((-8)/16)/(1/(-4)). Suppose 0*o = -r*o. Is d smaller than o?
False
Let q be 22/(-30) - (-2)/5. Let s be ((-8)/(-3))/((-2)/3). Let m be s/(-10) - (-18)/30. Which is smaller: m or q?
q
Let w = -132 + 137. Let n be (-1)/(3/w) + 4. Which is bigger: n or 2?
n
Let m = 2.15 + -2. Let f = m + -0.2. Let i = 1181 + -1182. Which is bigger: i or f?
f
Let i be ((-62)/5)/(53/265). Which is bigger: -61 or i?
-61
Let h = -47 + 90. Which is smaller: h or 1?
1
Suppose 0 = -2*x - 1 + 3. Let n be -2 - (x + -2)*6. Suppose -15 = n*r + r. Which is smaller: -0.2 or r?
r
Suppose 0 = 4*m - v - 53, 3*m + 21*v - 23*v = 41. Which is bigger: -5 or m?
m
Let z = 221.558 - 0.558. Is -2/5 greater than z?
False
Let q(n) = n**3 + 10*n**2 + n. Let y be q(-9). Suppose y = 8*s - 4*s. Is s at most 18?
True
Let m = -407 + 5295/13. Let s be 12/(-15)*440/(-16). Suppose -2*u - 3*r - s = r, -5*r = u + 26. Which is smaller: u or m?
u
Let k = -2.08 - -2.2. Let c = 3491/7 - 499. Is c bigger than k?
False
Suppose -u + 2*z + 14 = u, 22 = 4*u - z. Suppose -4*h + 19 = 5*s - u*h, 3*h = -3*s + 15. Which is smaller: s or 13?
s
Suppose 3*y + 0*m = -m - 196, -3*y - 197 = 2*m. Let p be (-26)/y + (-27)/5. Which is bigger: -6 or p?
p
Let f(t) = -t**3 - t**2 + 1. Let k be f(1). Let b be 6/87*7 + 9/(-18). Which is smaller: k or b?
k
Suppose -5*m = -b - 54 + 6, 0 = -3*m - 3*b + 18. Let j be 90/648 - (-1)/m. Let t = -2 - -15. Which is bigger: t or j?
t
Let s = 177/1160 - 9/116. Suppose 9*o - 7*o - 2 = 0. Is o not equal to s?
True
Let a be 7074/(-3861) + 1/(-13). Are a and -3 nonequal?
True
Let z = 0 + 0. Let a be (z - -1)*(1 + 0). Let s be 1*40/(-176)*48/(-10). Is a at most s?
True
Let t = -24924 - -124099/5. Which is smaller: t or -104?
t
Suppose 5*a + 4*i - 58 - 68 = 0, a - 22 = -4*i. Suppose -7*q + 96 = -86. Is q >= a?
True
Let w be (-21)/28*64/(-104). Does -0.26 = w?
False
Let d = -7 + 11. Suppose 18 - 10 = d*a. Suppose 2*q = -a*q. Which is smaller: q or 3/11?
q
Suppose -3*b + 18 = -6*b. Let t(y) = y**2 - 21*y + 44. Let s be t(18). Which is greater: b or s?
b
Suppose 3*a = -2*w + 65, 84 = 4*a - w + 5*w. Suppose -a*u + 100 = -19*u. Let q = u + -26. Which is bigger: -4/7 or q?
-4/7
Let f(q) = -3*q + 14. Let g be f(6). Let i be 8/(((-32)/(-4))/g). Let v be (i/(-8))/((-15)/(-12)). Is v < -20?
False
Let g(z) = z**3 + 129*z + 17 - 122*z - 4*z**2 - 6*z**2. Let n be g(9). Is n <= -5/8?
True
Let f(r) = -2*r**2 + 15*r + 35. Let v be f(16). Does v = -237?
True
Let x = 2450 - 2448. Which is smaller: x or 58/49?
58/49
Suppose o - 4*p = -168 + 179, -5*o = -4*p - 7. Let x be ((-4)/45)/((-6)/15). Which is