/323?
1/323
Let w be 3/(126/294 - 166/28). Which is bigger: 0.067 or w?
0.067
Let z = 64.4 + -65.4. Is -293 less than z?
True
Suppose 3*k - 18 = 2*v, 2*v - 5*v - 9 = 0. Let z = -342 + 345. Is k bigger than z?
True
Suppose -2*m + 4*m + 5*u + 124 = 0, 5*u - 92 = m. Let s be 0 + 0 - (-4)/m. Let c = -2 + 2. Is s <= c?
True
Let t be (-2)/(-6 + (-2)/4*-8). Is 24 >= t?
True
Let j be 417/105 - 147/(-343). Let x = 6 - 1. Which is bigger: j or x?
x
Suppose 5*i - 35 = -0*i. Let a be (i/(7/(-2)))/1. Let n be 2*(a + (-33)/(-6)). Which is bigger: n or 5?
n
Let p = -538 + 3229/6. Is p at least 1?
False
Suppose 2*n - s + 2*s = 0, n = 5*s + 22. Suppose 0 = -5*b + n*g - 78, 7*b - 4*b + 47 = g. Which is smaller: -15 or b?
b
Let f = -44 + 44. Let u = 10.27 + -10.3. Does u = f?
False
Let c = -659/9 + 73. Let t = 231 + -229.99. Let y = 0.01 - t. Is y at most c?
True
Let q = -2 - -8. Suppose 0 = 2*z + 31 - 47. Which is smaller: z or q?
q
Let g(s) be the third derivative of -s**5/60 + s**4/12 + 10*s**3/3 - 55*s**2. Let r be g(6). Which is smaller: 3 or r?
r
Let m = 1 - 1. Let w = 1 - m. Let x be (-52)/(-26) + ((-351)/60)/3. Is x > w?
False
Let n(f) = -f**3 - 6*f**2 - f - 2. Let i be n(-4). Let g = -46 - i. Let q = -3 - g. Is 14 smaller than q?
False
Let u = 46 - 50. Let p be ((-2525)/(-2090) - 1) + u/22. Is 1 != p?
True
Suppose -m + v = -v - 1, -m - 4*v + 13 = 0. Let y be -8 + 119/(-7 - -14). Which is smaller: m or y?
m
Suppose -75*a + 810 = -57*a. Is a less than or equal to 43?
False
Let x = 21.8 + -22.8. Let o = -0.3 - 0. Let w = 0.2 + o. Is x less than w?
True
Let f be (-629)/185 + 4/10. Is -9/4 less than or equal to f?
False
Let z be 0/(-8) + (-109)/5. Let w = z + 223/10. Which is greater: w or 0?
w
Let s = 4212 - 930850/221. Is s != 0?
True
Suppose 8*k = -c + 11*k + 228, -3 = -k. Is 235 at least as big as c?
False
Suppose 5*v - 3002 = 3*j, -3*v - 251 = -j - 2053. Which is smaller: 602 or v?
v
Let u be (-6)/12*6/6. Does 32.1 = u?
False
Let f = 36/17 - 203/136. Let r(o) = -o**3 - 3*o**2 - 2*o - 4. Suppose 2*d = -3*l - 1, -17 = -l - 5*d - 0*d. Let w be r(l). Is f >= w?
False
Suppose -3*i + 66 = -3*s + 6, 0 = -s - 4*i - 15. Which is smaller: s or -21?
-21
Let q = -24 - -49. Let x(c) = -c**3 + 15*c**2 - 14*c. Let f be x(14). Suppose -6*w = 6 - f. Which is bigger: q or w?
q
Let d = -585 - -4090/7. Is d > 0.1?
False
Let k = -25.14 + 25. Let t = k + -1.96. Let u = 2.2 + t. Is 3 at most u?
False
Let b be (-5420)/(-13) + 43/559. Which is greater: 416 or b?
b
Let b = 0.22 - 0.98. Let p = b + 0.9. Let v = -5.14 + p. Is 1/2 > v?
True
Suppose r - 2*v = -0*v + 32, 4*v + 190 = 5*r. Suppose -5*i + r + 18 = 0. Let k = 0 + i. Which is bigger: k or 14?
14
Let c = 8 + 5. Suppose -6*o = 5 + c. Suppose 2*h = -10 + 2. Which is bigger: o or h?
o
Let s = -0.046 - -2.146. Let q = -2.5 + s. Is 0.3 less than q?
False
Let t(w) = -w**3 + 7*w**2 - w + 10. Let n be t(7). Let i be (86/74)/(n/1). Let k = i + -2/37. Which is smaller: k or 0?
0
Let k be (-43)/1 + 3*(-2)/3. Let i = k - -48. Is i < -2?
False
Let u = -83/517 - 1/47. Is u smaller than 18?
True
Let i be 5 - 80/(-4)*85/10. Does i = 173?
False
Let y be (-4)/(-24)*(-8)/14. Suppose -8 = -5*q + 2*m + 4, 0 = -q - 3*m + 16. Suppose 1 = -q*o + 3*o. Which is smaller: o or y?
o
Let z be (4/(-16))/((-6)/24). Let i = -16819 - -135089/8. Let v = i + -67. Which is smaller: z or v?
v
Suppose -5*p - 53 = -193. Let k(n) = n**2 + 3*n - 25. Let q be k(6). Which is smaller: p or q?
p
Suppose 3*t + 16 = p, -2*p - 2*t = -3*t - 42. Which is bigger: 40 or p?
40
Suppose 46 = -5*n - 4. Let i be (-4)/n - 9/60. Let w = 19381/5 + -3876. Is i at least w?
True
Let i = 1203 - 1203. Is 12/179 at least as big as i?
True
Let o(x) = 14*x**3 - 2*x**2 - 6*x + 3. Let t be o(3). Let r be (2 + -3)*(1 + 1). Let b be 145/t + r/6. Which is smaller: 0 or b?
0
Let w(y) = 841*y**3 + 20*y**2 - 21. Let s be w(20). Let d = -13236199042/1965 + s. Let x = d - -3/131. Which is bigger: x or -1?
x
Let v = -155 + 156. Let j be 60/4*2/42. Is j less than or equal to v?
True
Suppose 4*v + 2*o = 58, 2*o + o = -3*v + 45. Do v and 0.4 have different values?
True
Let g(m) = -m**2 - 5*m + 6. Let o be g(-6). Let k be -2 + (-4 - -9 - 3 - -2). Let x be 44/715 + k/5. Is x < o?
False
Let i be (10/4)/(-5)*34. Is -18 greater than or equal to i?
False
Let d be 1 - (1 + (-2)/5). Let n = -0.108 + -1.892. Which is smaller: d or n?
n
Let j = 13 + 17. Suppose -6*w = -0 - j. Let t be (-3)/9 - w/(-15). Which is bigger: -2/29 or t?
t
Let o be (3/2)/(-3) + (-100)/(-104). Let r = o + 15/52. Is r equal to -0.3?
False
Let l = -240/19 + 1124/95. Let c = 1 - 0. Which is smaller: c or l?
l
Let d be ((-3)/4)/((-6)/4). Let c be (-4)/20*2 - 54/(-10). Let x(z) = 5*z - 18. Let f be x(c). Which is smaller: f or d?
d
Let m = -43 - -30. Let d be ((-4)/(-9))/((-22)/3927). Let k = d - -80. Is m >= k?
False
Suppose 4*s - 5*x = -3*x + 730, 4*x = -4*s + 748. Is s at least as big as 183?
True
Let q = 0.77 - 2.07. Let f = -1.2 - q. Which is smaller: -10/7 or f?
-10/7
Suppose 4*w = 5*t, 0*t + t = -2*w + 14. Suppose -2*v = 5*l - 10, 20 = -l + w*v - 5. Let i = -82 - -903/11. Is l at most as big as i?
True
Let f(z) = -z**2 - 13*z - 16. Let q be f(-9). Let g = 21 - q. Which is bigger: 2.1 or g?
2.1
Let u = 290 + -306. Which is bigger: -21 or u?
u
Suppose -w - 10 = 11. Let p = w + 36. Let y be 51/p + 3/5. Is 0 less than or equal to y?
True
Suppose 4*j - 10 - 6 = 0, -3*x = -4*j + 34. Let z be -42 - (1 - x/(-2)). Is z less than -41?
False
Let a = 63.4 + -78. Let r = a - -14. Let q = 4.4 - r. Is q less than 0?
False
Let j = -385729/1729 + 2253/133. Let g = j - -206. Let k = -42 - -42. Which is bigger: g or k?
k
Let y = 1 + 16. Let r be (-8103)/(-511) + (-1)/(-7). Is y > r?
True
Suppose 0 = 5*q - 5 - 0. Let l = -1857/4 + 24145/52. Which is bigger: l or q?
q
Suppose -29*r = -27*r + 12. Let l(a) = -a**3 - 5*a**2 + 4*a - 19. Let s be l(r). Is s equal to 0?
False
Suppose -7*k + 0*k = -49. Which is greater: 56/9 or k?
k
Let l = 1307 - 155531/119. Let q(b) = b**2 - 15*b + 55. Let u be q(9). Which is bigger: l or u?
u
Let k be -3 - -6 - (1 - -3). Let n be (-10 + 1)/3*k/(-5). Is 0 greater than n?
True
Let p = -1601 - -1701. Which is bigger: p or 99?
p
Let c(u) = -u**2 - 3*u + 12. Let k be c(-9). Let d = 24 + k. Let a be 4/d - 8/(-36). Which is greater: a or -2/7?
a
Let x be ((-2)/4)/(8 + 2184/(-272)). Does x = 16?
False
Suppose -1 + 10 = 3*u. Let x be u*((-84)/(-75) + -2). Let s = 26/25 + x. Which is smaller: s or -3?
-3
Let w = -1992 + 1991. Which is smaller: 0.1951 or w?
w
Let j = -17219 - -18131609/1053. Is j at least as big as 0?
True
Let r(x) = -x. Let i be r(-3). Suppose 17*a = a - 64. Let f = a + i. Is 2/49 >= f?
True
Let u be -11 + 16 - (2 + 9). Let g(v) be the third derivative of -v**5/30 - v**4/24 - 5*v**2. Let l be g(-2). Is l at most as big as u?
True
Let q be (34/1)/(6/15). Let r = q - 44. Which is bigger: r or 42?
42
Suppose 0 = -3*q + 15. Suppose 0*k + 3*k - o - 67 = 0, 100 = q*k - 4*o. Let r = -21 + 45. Does r = k?
True
Let v be (12/(-6) - -4)*(-6 + -101). Which is greater: v or -216?
v
Let s = -666970496/7049 + 1798476/19. Let g = s - 262/7. Is g equal to -1?
False
Let b be 265*9/810*2. Which is greater: 6 or b?
6
Suppose -57*a = -63*a - 12. Let h be 1/(-3) - 5/3. Let q be (-1*2)/(-2)*h. Is q <= a?
True
Let c = -20 - -20. Suppose d - 3 = -c*d. Let z be d + 4/((-8)/14). Which is smaller: -6 or z?
-6
Suppose -7*p = -9*p + 120. Let k = -29 + p. Which is smaller: 30 or k?
30
Let n(f) = f**2 + 5*f + 10. Let o be n(-4). Let p be (-16)/6*(-6)/(-4). Let d = p + 10. Do d and o have the same value?
True
Suppose i + 45 = -4*m, 64 = 2*m + 54. Do i and -127/2 have the same value?
False
Suppose 219*x + b + 209 = 214*x, 3*b - 129 = 3*x. Do -31 and x have the same value?
False
Let o = -1.2 - 0.8. Suppose -2*q + 63 = -3*q. Let h be (-4)/2 - 144/q. Which is bigger: h or o?
h
Let n = -84 + 48. Let s = n + 39. Is s at least as big as -4?
True
Let a be (0 + -1)*(-1)/(-5). Let i = 2.324 + -2.424. Does i = a?
False
Let q = -36 - -34. Let k be q/(-6) - 34/120. Is k bigger than 1?
False
Suppose -221 + 209 = -6*s. Which is smaller: 36/11 or s?
s
Let j = -9 + 12. Suppose 0 = 3*s - j*p - 59 - 817, p = 3*s - 884. Let t = 3258/11 - s. Which is smaller: 1 or t?
t