 Which is smaller: t or p?
p
Let w be -5 - 111/6*(-10)/35. Which is smaller: w or 0.01?
0.01
Let q be 34*1*(-2 + -24 + 3). Let t = q + 8608/11. Is 1 at least as big as t?
True
Let p = -39 + 29. Suppose -3 - 9 = 3*v. Are v and p unequal?
True
Let p be (-7)/(-21)*336/1. Which is bigger: p or 2?
p
Let m = 26 + -27. Which is smaller: m or -1/41?
m
Suppose -4*d + 3*f = 4*f - 105, 120 = 5*d - f. Let t be (-86)/51 + d/15. Which is bigger: 1 or t?
1
Suppose 28*c - 2982 = 25*c. Let f be 9/((-567)/c) - 4/18. Is f less than -17?
False
Let x(n) = 6*n + 129. Let k be x(-20). Are k and 11 unequal?
True
Suppose -4*x = -1742 - 1130. Let b = x + -43079/60. Is b less than -1?
False
Let x(d) = -32*d**2 + 25*d + 6. Let i be x(3). Is i greater than or equal to -209?
True
Let z = 13 - 15. Let h be 3/((-1)/z - -1). Which is greater: 9/4 or h?
9/4
Suppose 89 = -6*n - 31. Let s(b) = -b**3 + 5*b**2 + 3*b - 3. Let x be s(5). Let f be (-2)/((-1)/(x/n)). Is f <= 0.2?
True
Let k = 66.6 + -66. Which is smaller: k or -4?
-4
Let w be 13/1*(9 - -13). Which is smaller: 284 or w?
284
Suppose -4*f + 25 = -35. Suppose -d - 13 = -f. Which is smaller: 1/2 or d?
1/2
Let w = 8 + -5. Let i = 180 + -707/4. Which is bigger: i or w?
i
Let y be (-43)/15 - (-6)/2. Let n = 109/530 + 5/53. Let q = n - y. Which is greater: 1 or q?
1
Let s be (-150)/(-160)*(-2)/10. Let f = s - -31/80. Let g = 2.9 - 3. Is g greater than f?
False
Let h = 509/5425 - 3/217. Suppose 11 = -3*z - 4. Let s = 6 + z. Which is smaller: h or s?
h
Let o be 422/(-408) - (-4)/16. Let j = -2/17 - o. Do 2/9 and j have the same value?
False
Let j = 1319 - 1312. Which is smaller: 99/16 or j?
99/16
Let z = 5428/13 - 418. Is z greater than 0.5?
False
Let v(b) = b**3 + 14*b**2 - 9*b + 91. Let r be v(-15). Which is bigger: r or 1/255?
r
Suppose 0 = 323*l - 332*l + 9702. Is l bigger than 1078?
False
Let m = -48 + 97. Let s = m + -50. Is s less than or equal to -0.2?
True
Suppose 2*r = 4*u, 4 = -4*u + 3*r - 0*r. Suppose -u*j + 5 = -2*n + j, n - 30 = -5*j. Is n smaller than 7?
True
Let n be (-1)/5 + (-68435)/1925. Let i = 250/7 + n. Which is bigger: i or 1?
1
Let h be -6 + 2 + (0 - (-5 - -2)). Let b = 3.9 - 4. Is b greater than h?
True
Let v be 1 - (-1*2 - -1). Let h be 41/(-21) - v/(-7). Let u be -4 + ((-26)/12)/((-37)/74). Is u at most as big as h?
False
Let l = 486 + -326. Do 2/9 and l have the same value?
False
Let b = 102 - -7. Let s = b + -109.2. Is -1 greater than s?
False
Suppose 0 = -0*w - w + h, 12 = 4*w + 2*h. Let d be 1/w*16*(-5)/(-4). Do d and 11 have the same value?
False
Let p(x) = x**3 - 9*x**2 + 9*x + 2. Let u(s) = s**3 - s**2 + 2*s + 8. Let h be u(0). Let l be p(h). Let m be 2/25*l/(-6). Are m and 0 unequal?
True
Suppose 0 = 9*d - 19*d + 6*d. Let j = 3 + -6. Which is bigger: j or d?
d
Let q = -1879/9 + 209. Let j = -0.32 - -5.32. Which is smaller: q or j?
q
Suppose -5*j + 5*h = 2*h + 4, -4*h = -12. Let i = -133/655 + 2/655. Is i < j?
True
Let t be (-8)/(-3)*6/26. Let l be (0*9/(-117))/4. Is t <= l?
False
Suppose 4 = -4*r - 2*q, -2 = 4*q - 3*q. Let d be (-278)/(-16)*2/(-3). Let v = 37/3 + d. Which is smaller: v or r?
r
Let o be (1 - -1) + 13/(-3). Let h be -2 + (-2 + -7)/(-3). Suppose u - 2*u - h = 0. Do o and u have the same value?
False
Let s = 35995649 + -32936028613/915. Let j = -6/305 - s. Is 12 > j?
True
Let m = 341 + -341.1. Is m at least 3/4?
False
Let t(m) = -1 - m - 1 + 3. Let g be 0/(3/(-3) + 0). Let q be t(g). Which is smaller: -1/6 or q?
-1/6
Let d be 7/(-4)*20/(-14). Suppose -4*j - 4*p + 21 = -p, 0 = 3*j + 4*p - 21. Do d and j have the same value?
False
Let w be 59/(-220) + (-2)/(-8). Let m = -968 + 967. Is m greater than w?
False
Let o be 3*1 + (-10)/5. Let r be -1*o/(1 + -2). Let g = 1607/7 + -230. Is g <= r?
True
Suppose 6*w - w - 16 = -3*j, -3*j + 4*w = 2. Suppose j*a + 2*a - 18 = 3*b, 3*b + 5*a = 9. Let c be (-1)/2 + 3/b. Which is bigger: c or 1?
1
Let n(b) = b**2 + 6*b + 7. Let d be n(-5). Let m be 0/(d*(-2)/(-4)). Let z be 608/(-192) - 7/(-2). Which is smaller: m or z?
m
Let j be 1*(-7 + (-1728)/(-296)). Is 0 < j?
False
Let z(f) = -11*f**2 + f + 25. Let p(w) = 4*w**2 - 8. Let h(y) = 8*p(y) + 3*z(y). Let o be h(5). Which is greater: o or 0.01?
o
Suppose 0 = -0*x + 3*x + 9. Let j(v) = v**2 - 9*v + 21. Let f be j(7). Suppose -4*z + 4*o = -4, -30 = -2*z + f*z + 2*o. Is x > z?
True
Let s(n) = -n**3 + 3*n**2 + 3*n - 3. Let x be s(4). Let h = -42 - -61. Suppose 4*l + k + h = l, 1 = -2*l - 3*k. Is x equal to l?
False
Let y = -1485 + 1373. Does y = 5?
False
Suppose 4*p + 11 = -5*u, -u + 5*u + 11 = -p. Is -1/1123 != p?
True
Let c(q) = q**2 - 6*q + 1. Let x be c(5). Suppose s - 4 = 4*j, -116 = 3*s - 8*s - 4*j. Let d = s + -22. Is x less than d?
True
Suppose -1821 = -n - 1786. Is 32 at most n?
True
Let n = -558 + 207. Let x = n + 329.1. Let v = -22 - x. Which is greater: v or -7?
v
Let n = 73.3 - 70. Let p = n - 3.2. Is 7 >= p?
True
Let j be -3 + (17 - 4) + 2 + -2. Let m be 10/(-3)*(-12)/j + 74. Which is smaller: 77 or m?
77
Let g = -221 + 883/4. Is -92 at most as big as g?
True
Let d = 0.1 + 0.1. Let c = 44.1 + 2.9. Let x = 43 - c. Which is smaller: x or d?
x
Suppose -4 + 0 = -2*h. Suppose 0 = h*v - v. Is -2/19 at least v?
False
Let w(p) = 7 - 3*p**3 + 7 - 13*p + 4*p**3 - 10*p**2. Let f be w(11). Suppose d + 1 + 7 = 0. Is f <= d?
True
Let k(j) = -2*j + 12. Let a be k(5). Is 5 equal to a?
False
Let p = -22/17 - -41/255. Let a = 147/40 - 23/8. Let y = a + p. Which is greater: 9 or y?
9
Let l = -166156/67 - -2480. Is 2 at least as big as l?
True
Let d be (-15 - -16)/(2 + -1). Let c(n) = 5*n**2 + 1. Let u be c(d). Let s be (-55)/20 + u/8. Is s bigger than 2/3?
False
Let i be 0 - (4 - (2 - -1)). Let o be i*(0/(-3) - -1). Let w be 2/(6 - 0/(-3)). Is o <= w?
True
Let y = -16 + 47. Let n = -30.9 + y. Is n != -20?
True
Let h = 0.458 - 0.48. Let b = 0.058 - h. Is b at most as big as 0.4?
True
Let y be 10 + -5 - (-626)/(-16). Do y and -33 have the same value?
False
Let j = 56 - 288/5. Let g be 3 - (3 - 2)*3. Suppose 5*q + 4*u = -0 - 10, g = u. Which is greater: q or j?
j
Let x be 1/(4 + 97/(-24)). Let h be (-5)/(-30) - 260/x. Let v = 11 + -1. Which is bigger: h or v?
h
Let a = 111 + -76. Let r be (-2286)/54 - 2/(-6). Let w be (-5)/(-7)*r/a. Which is smaller: w or -2?
-2
Let k = 44 - 42. Suppose 17 = k*o - 11. Which is smaller: 12 or o?
12
Let c be (2/(-4))/((-1)/(-24)). Let t = 37 + 54. Suppose t - 7 = -7*a. Is a < c?
False
Let x be (-36)/(-10)*(1 - 0)*-1. Let q(j) = -j. Let n be q(3). Do n and x have the same value?
False
Suppose 4*j = 21 - 1. Suppose -5*t + 10 = 5*v, 4*v - 15 = -j*t - 3. Is 8/3 >= t?
False
Let s be (17 - -19)*(-22)/4. Is s at least -199?
True
Suppose 0 = -24*y + 47*y + 6486. Which is smaller: -280 or y?
y
Suppose -3 = -3*k, q = 6*k - 3*k - 1. Let d = 41 + -45. Let w be ((-1312)/220 - d) + q. Do 1 and w have the same value?
False
Let v = 1.99 + 0.01. Let k = v + -0.8. Let n = k - 1. Which is smaller: 3/7 or n?
n
Let l = -36 + 47.4. Let n = 13 - l. Which is bigger: n or -1?
n
Suppose -77*x - 24 = -65*x. Which is smaller: x or -17/28?
x
Let a = 3.38 - 3.2. Let k = a + -0.18. Which is smaller: 1 or k?
k
Suppose -w = 4*w. Suppose -3*h = -w*z - 3*z - 21, -4*h + 13 = z. Suppose 0 = k + 4*q - 3, -5*k + 4*k - 3*q + 2 = 0. Is k != z?
True
Suppose -2*h + 2446 = -3*s - 228, 882 = -s + 3*h. Is -896 less than s?
True
Let j(m) = -m**2 + 6*m + 7. Let g be j(5). Suppose -2*d + 5*s = -117, -84 = -d - 2*s - g. Let q be d/(-20) - (7 - 10). Is -0.2 at least as big as q?
True
Suppose -82 = -3*s - 2*f, 3*s = s + 2*f + 38. Let n = s + -14. Suppose -r + 2 = -5*b, 0*b = 4*b + 5*r - n. Is 0 less than or equal to b?
True
Let m(c) = -4 + 0*c + 8 + c. Let r(k) = -k - 14. Let o be r(-10). Let d be m(o). Is d at most as big as 3/10?
True
Let p be (-860)/85*1/(-8). Let d = -4/17 - p. Let u = d - -31/18. Are -14 and u unequal?
True
Let n = 20419 - 60073/3. Let q = 398 - n. Is 4 less than q?
False
Let p(g) = g**2 - 15*g - 16. Let y be p(13). Let z be 3*3/21 - 24/y. Which is smaller: -5/6 or z?
-5/6
Let r = -0.02 + -5.98. Let f = -5.97 - r. Are f and 3 non-equal?
True
Suppose -5*a + 11 + 19 = 0. Let d(p) = -p - a*p + 5*p. Let w be d(-6). Which is bigger: 13 or w?
13
Let k = 3 + -2. Suppose 244 = -5*c + 269. Suppose -2*q + 11 - 15 = 