q or 10/3?
10/3
Suppose -5 = 2*r + 3*l, -3*r = -4*l + l - 15. Suppose -2*s = -0*s - u + 3, -5*u + 27 = r*s. Is s greater than or equal to -2/167?
True
Suppose -3*h + 162 = -0*h. Let a be (-5)/(-3)*h/(-9). Is a at least -7?
False
Let p = -305 + 241. Is -60 at most p?
False
Let d(o) = o**3 - 6*o**2 + 7*o + 4. Let n be d(5). Suppose -4*y = -7 - 9. Let i be y/n + -6 + 6. Is 2/7 at most i?
True
Let m be 27190/100854 - 28/182. Let f = 2/431 - m. Is f != 2/5?
True
Suppose 3*m = 8*m + b - 171, -m = 2*b - 27. Suppose -v + 8 = -i - 2*v, -v - m = 4*i. Let u be (i/(-14))/(33/44). Is 2 equal to u?
False
Let o = 36.1316 + -0.1316. Which is bigger: o or -0.06?
o
Let j = 0.6 + 0. Let r = 0.6 - j. Let u = 0 - r. Which is greater: 9 or u?
9
Let b = -9/65717 - -116060857/33844255. Let z = 3/103 - b. Which is smaller: z or -4?
-4
Suppose -31 + 156 = 5*b. Let r be (-10)/b - 26/(-40). Are r and -0.2 equal?
False
Let n be -3 + (-2 - -3) - -1. Let r be 3/(108/8996)*6/5. Let w = 300 - r. Which is smaller: n or w?
n
Let o = 20132/61 + -330. Let c be ((-7)/2)/(11/(-22)). Suppose f = -6*f + c. Is f <= o?
False
Let c be -26 + 2 + 0 + -6. Which is smaller: -26 or c?
c
Let p(v) = -2*v + 37. Let a be p(19). Which is bigger: 2/3165 or a?
2/3165
Let j = 60.4 - 42.4. Which is smaller: j or 0.03?
0.03
Let q = -1740 + 1739. Which is smaller: q or 11/64?
q
Let m = 0 + -6. Suppose -7*v + 2*v - 30 = 0. Is v less than or equal to m?
True
Let u(q) = -q - 3. Let x be u(-6). Let z = 1.3 + -1.32. Let f = z - 0.98. Which is greater: x or f?
x
Let g = 0.3 + -4.5. Let n = g + 10.2. Is n >= 2?
True
Suppose 20 = 5*c - 0. Let q be (c/4 + 1)/7. Suppose 2*z = -z - 3. Is q greater than z?
True
Let n be 88/(-6) - 1/3. Let d = 36 - 15. Let x = n + d. Is x less than or equal to 6?
True
Let l(m) = -5*m**2 + 63*m + 28. Let k be l(13). Is -0.212 at least as big as k?
False
Let k be 2/6*(-7 - -1). Let r(l) be the first derivative of -l**3/3 + l**2/2 + 2*l + 12. Let a be r(0). Which is smaller: k or a?
k
Let z = -1011 + 1021. Let g(y) = -3*y + 1. Let o be g(-1). Let w(x) = -x**3 + 4*x**2 + 2*x + 3. Let r be w(o). Is r smaller than z?
False
Suppose 53*f - 68 = 54*f. Let m be 536/f - 14/119. Which is greater: m or 2?
2
Suppose -4*i - 6*c = -3*c + 591, 744 = -5*i - 2*c. Let l = -157 - i. Which is smaller: l or -1?
l
Let v = -143 - -3286/23. Suppose -39*a + 46*a = -7. Which is smaller: v or a?
a
Let j(o) = 2*o**2 + 15*o - 4. Let q be j(-8). Let h be (450/q)/5*10/(-30). Is -7 at least as big as h?
True
Let l = -1.1 - -0.3. Let c = -6.8 - l. Let i = 5.6 + c. Is i < 1?
True
Let a be (-11)/(-11) - (50/(-3) + 0). Which is smaller: 1 or a?
1
Suppose -45 = 3*c - 6*s + 9*s, -5*c + 2*s - 47 = 0. Is -11 >= c?
True
Let t = 11.1 - 12. Let k = t + -0.1. Let c = -110/7 + 16. Which is greater: c or k?
c
Let g = 2/4595 - -813311/9190. Which is smaller: g or 89?
g
Let r(i) = -5*i - 44. Let y be r(-26). Do y and 85 have different values?
True
Suppose l - 13 = 2*l. Let g(w) be the second derivative of w**4/12 + 2*w**3 - 13*w**2/2 - w. Let v be g(l). Is -4/7 >= v?
False
Let s(x) = 4*x + 99. Let d be s(23). Is d < 3?
False
Let g = 13 - 8. Let u = -514 - -511. Is g >= u?
True
Let z = -13 - -34. Let s = 21 - z. Let r(n) = n**2 - 13*n + 19. Let p be r(11). Which is smaller: p or s?
p
Suppose 3*g = -4*c + g + 574, 2*g = 3*c - 448. Which is bigger: 145 or c?
c
Let g = -105.9 + 106. Let x = -2.3 - -2.25. Is x smaller than g?
True
Let w be (-22)/176 + 1/((-504)/(-111)). Is w at most 38?
True
Let u be (26 - (-3)/(-1))*-1. Let x = u + 32. Let g be 28/273*x/(-2). Which is greater: g or -1?
g
Let y be 2/2*(-8 - -12). Suppose -y*c = -c + 9. Let j be (-1 - c)*(18 - 19). Which is smaller: j or -3/2?
j
Let b(y) = y**3 + y + 1. Let l be b(0). Suppose -m = -l + 5. Let z be (-10)/(-15) - m/(-15). Which is smaller: z or 0.3?
0.3
Suppose -1 = -5*o - 31. Which is smaller: o or 22?
o
Let v be 2/(-5) - 68/(-20) - 138. Which is bigger: v or -134?
-134
Let u(j) = 2*j**2 + 20*j - 55. Let l be u(-14). Is l < 57?
False
Let o = 37.53 - -0.27. Let t = 37 - o. Do -0.1 and t have the same value?
False
Let l be (-894)/(-16) + 2 - -1. Let y = -59 + l. Suppose -5*r + 2*o = -9, 3*r + 0*o + 1 = -2*o. Which is smaller: y or r?
y
Let y(h) = 32*h + 94. Let o be y(-12). Is o > -292?
True
Let g = 3 + -1. Suppose 0 = 3*b - 0*b - 12. Suppose i + 2*i = u - 5, b*i = -4*u - 12. Is u != g?
True
Let p be (-1)/3 - (-8)/(-6). Let f = -58/55 - -47/55. Do f and p have the same value?
False
Suppose 5*k - 4*p = -11, 2*k + 10 = -0*p - 4*p. Let l(o) be the first derivative of o**3/3 + o**2/2 - 6*o - 2. Let w be l(k). Which is smaller: -7/6 or w?
-7/6
Suppose -2*k + 10 + 4 = g, -3*k = 5*g - 35. Suppose -2*v + 4*s = 16, s + g*s - 20 = v. Suppose -3*o - 3 - 6 = v. Which is bigger: o or 2/3?
2/3
Suppose 0 = -3*x - 1438 - 65. Let u = 235 + x. Let f = u + 4787/18. Which is smaller: f or 1?
f
Let y be (-2)/(-6) + 2/(-4). Let i be 5/(-2) + 1 - 3/(-6). Which is bigger: y or i?
y
Let c be 63/28*32/6. Suppose 4 = 8*r + c. Which is bigger: 2 or r?
2
Let n = 0.18 - -6.82. Let z = -718/3 + 240. Which is bigger: n or z?
n
Let t = 3 + 3. Suppose -t*p = -3*p + 6*p. Are -4/13 and p nonequal?
True
Let u = -1720 - -1762. Which is greater: u or 40?
u
Suppose 2 = -63*a + 62*a - y, 0 = a + 3*y + 10. Is 24/17 > a?
False
Let g = -140 + 124.03. Let q = -16 - g. Do q and 0 have the same value?
False
Let l = -437 + 444. Is -2/13 >= l?
False
Let f(t) = -3*t**2 + 57*t - 1. Let g be f(19). Is g at least as big as 5/77?
False
Suppose 5*p = -2*z + 2058, 2*p + 6*z - 2*z = 836. Is p <= 409?
False
Let x be ((-4)/(-6))/(1 + 100/(-30)). Which is smaller: 78 or x?
x
Suppose -17*m = -45*m - 28. Is 4/321 at most m?
False
Let i be 3 + ((-68)/11)/2. Let c = -31/22 + i. Let m = 0.25 - 0.05. Which is greater: c or m?
m
Let h be -1*(0 + 1) - 2. Let m = 1252 - 1252. Which is smaller: h or m?
h
Let i be 1/(-3) - 8/(-384). Let x = 940 - 939. Is i greater than x?
False
Let q(n) be the first derivative of n**3/3 - 7*n**2/2 + 3*n + 1. Let b(s) = -s**3 + 9*s**2 - 8*s + 7. Let p be b(8). Let w be q(p). Which is smaller: w or 11/5?
11/5
Let w(x) = 12 + 28*x - 14 - 2*x + 0*x. Let c be w(-2). Which is bigger: -53 or c?
-53
Let u be -2 + (-10)/(-2) - 8. Which is smaller: u or -7?
-7
Suppose -24*s - 858 = -57*s. Let x be (54/(-10))/(3/(-15)). Which is smaller: s or x?
s
Let q = -0.56 - 0.34. Is -0.3 less than or equal to q?
False
Let t = -6 - -4. Let w(h) = h**3 - 11*h**2 + 11*h - 12. Let v be w(10). Is v less than t?
False
Let d = 408 + -1244/3. Is -8 at least as big as d?
False
Suppose 3 + 17 = 5*r, t + 20 = 5*r. Let y be 2 - (0 + 20/14). Is t at least as big as y?
False
Let h(j) = -6*j**2 + 3*j - 3. Let l be h(3). Let o = l - -33. Which is greater: o or -13?
-13
Suppose -h = 2*h + 21. Let p = -1538 - -1528. Which is smaller: p or h?
p
Let i be 1/(-30)*(-4)/(-2). Let v = i + -4/15. Suppose -2*m = 4, 9 = x - 6*x - 2*m. Do x and v have the same value?
False
Let n = -27 + 28. Suppose 3*l + 5 = -4*a, -l + 4 - n = -a. Which is smaller: 1/7 or l?
1/7
Suppose g - 7*g + 402 = 0. Suppose g = 5*z - 103. Is 34 bigger than z?
False
Let u(o) = -2*o + 135. Let y be u(-36). Does 207 = y?
True
Let u = 1507 - 1508. Is 138 bigger than u?
True
Suppose 25*d = -159 + 2534. Is -1/4 < d?
True
Let i = -5/493 - 7763/12325. Let l = 158/325 + i. Which is greater: 0 or l?
0
Suppose -4*j + j + 2175 = 0. Let v = j + -1879. Let d = v + 51932/45. Which is smaller: 1 or d?
d
Let d = -14605/109 - -134. Which is smaller: d or 0?
0
Suppose -4*f = -6*f + 2. Let h be ((-3)/6)/f*-26*1. Is h greater than or equal to 12?
True
Suppose 4*h + 2*n - 2 = -0, -4*h + 2*n = -6. Let w be (-2)/(h - (-13)/(-15)). Suppose -6*p - 80 = -p. Is p not equal to w?
True
Let z be ((-40)/(-16) - 4) + 189/2. Which is smaller: z or 95?
z
Let n be 9/(10/36 - 14/(-63)). Let v be ((-12)/n)/(6/45). Is -9 at most v?
True
Let u = -37 - -37. Suppose 5*z = u, 3*b + 7 - 1 = -2*z. Suppose 0*n = -5*n + 5*t + 10, 6 = -n - 3*t. Is n smaller than b?
False
Let a = 21 + -10. Let l = 8 - a. Let r = -519927/8 - -64989. Is l > r?
False
Suppose 11*p = -84 + 722. Is p > 59?
False
Suppose 0 = 5*w - 0*v - 4*v + 32, -13 = w - 3*v. Let y be (w/(-80))/((-8)/(-180)). Is 1 at least as big as y?
False
Suppose -5*g + 3*k + 405 