5 = 4*q. Suppose 5*r - 2 = -o, -15 = 2*o + h*r - 4. Suppose -4*c = 4*x + 2 + 54, 3*x = -c - 42. Which is greater: o or x?
o
Suppose 144 = 3*r - 57. Is 336/5 at most r?
False
Let k(g) = -7*g + 77. Let n be k(12). Is n <= -7?
True
Suppose 285 = j - 3*k, -2*j - 3*k - k = -570. Let a be j/(-10)*4/(-3). Which is smaller: a or 40?
a
Let r = -6/353 + 114749/1412. Is 81 at most r?
True
Let m be 1/((-3)/(-3))*-32. Let f = -33 - m. Is -2/107 less than or equal to f?
False
Suppose 0 = -9*a + a + 232. Suppose -4 = a*f - 25*f. Suppose 3*z = -z. Is f less than or equal to z?
True
Let l = 68 - -96. Which is smaller: -1 or l?
-1
Let g be 34/4*(-8 - -2). Suppose 0 = 2418*w - 2416*w + 10, -t = w + 55. Is t at most as big as g?
False
Suppose 0 = -6*f + 4 - 40. Let s be (-2 - -4) + -4 + f/(-6). Is s at most as big as 68?
True
Suppose -48*u + 43 = -47*u. Let k = -35 + u. Which is bigger: k or 11?
11
Let g be (42/(-24))/((-1)/4). Let c = g - 2. Let f be (-8)/3*(-9)/6. Which is smaller: c or f?
f
Let s = -0.024 - 42.976. Let j = 30 + s. Which is smaller: -1/4 or j?
j
Suppose 0 = -5*f + 4*b - 12, -f + 6 = 5*b - 3*b. Suppose d + 3*w + 22 = 0, 4*d + f = 5*w - 20. Is d <= -12?
False
Let m = -2.31 - -2.48. Which is smaller: m or -2/13?
-2/13
Suppose -3*n + 6*d + 23 = d, 0 = -n - 3*d + 3. Suppose -5*c + 5*y = -4*c - 22, -c = -2*y - 13. Is n != c?
True
Let m be 1 - (-1 - 135/279). Is m at least 2?
True
Let q be 1*0*3/9. Let l be -2 - (0 - (-3 + 2)). Let r be (2/(8/(-6)))/l. Is r at most as big as q?
False
Suppose 0 = -a - x + 17, -5*a = 3*x + 10 - 101. Are a and 21 nonequal?
True
Suppose 64*h - 74*h - 10 = 0. Which is smaller: 9/115 or h?
h
Let j be 2/(-40) + (-4389)/(-86900). Which is smaller: j or 0?
0
Let f = 2/1841 + 224/1315. Suppose -11*u = 6 - 17. Is f <= u?
True
Let y = 139.89 + -139. Let c = 3.11 - 3. Let r = y + c. Which is smaller: r or -0.3?
-0.3
Let f(i) = -i**2 + 24. Let u be f(13). Let b = -167 - u. Is b less than or equal to -19?
True
Suppose 3*a - k = 31, 0*k - 6 = -3*k. Let l be (-2 + (-20)/(-5))/1. Suppose l*t - 7 = 9. Does t = a?
False
Suppose 2*n - 13 = -6*i + 3*i, -2*i + 27 = 3*n. Suppose n + 1 = 3*h. Let b = 21 - 18. Which is smaller: b or h?
b
Let l(t) = t**3 - 45*t**2 - 89*t - 234. Let f be l(47). Which is smaller: f or -198?
-198
Suppose 5*m - 97 = 118. Let i = -43 + m. Is i at most -6?
False
Let w be (-2 - -30)/4 - 175. Is w less than -169?
False
Suppose 7*f + j = 2*f - 82, 0 = 5*f - 4*j + 72. Let m be 4/f - (-22)/24. Is -1 at most as big as m?
True
Let d = 2914 - 2924.028. Let p = d + 0.028. Which is smaller: 1/4 or p?
p
Suppose 58 = -2*l - 66. Let n be (-1828)/(-30) - (-7)/7. Let u = l + n. Which is smaller: u or -1?
-1
Let m(f) = -10*f + 8. Let q be m(-6). Is q at least as big as 70?
False
Let g(z) = z**3 + 2*z**2 - 9*z - 1. Suppose b + 2 = -2. Let k be g(b). Is k at most as big as 9/4?
False
Let j be -2 + 14*4/(-8). Let x(k) = -k**2 - 8*k + 12. Let n be x(j). Let z be n*20/12*2. Is 10 at least z?
True
Let s be -3 - (-5 + -2) - -4. Let r = -5 + 7. Is r not equal to s?
True
Let r = 1.97 - -0.03. Let t(u) = u**2 - 7*u - 20. Suppose 6*c + 2 = 3*b + c, 5*b - 65 = -4*c. Let z be t(b). Is r smaller than z?
False
Let j be (-60)/50*1940/16. Is -145 != j?
True
Let v = 56 - 19. Let y = 36.9 - v. Is y greater than or equal to 45?
False
Let d be ((-16)/(-4 + 2))/(-2). Let w be (-3)/((-30)/d) - 18/5. Is -9 less than or equal to w?
True
Suppose 0 = g + 3*g - 4. Let v(s) = -6*s - 6. Let m be v(-5). Let l be 10/m - 5/(-20). Which is bigger: l or g?
g
Let i = -337 - -1607/4. Which is bigger: i or 65?
65
Suppose -s = -3*i + 7, 5*s - 37 = 4*i - 7*i. Let h = 364 + -362. Is h <= i?
True
Suppose -223*u = -192*u. Which is bigger: u or -4/791?
u
Let w(o) = o**2 + 6*o + 6. Let t be w(-3). Let b(m) = -m**3 + 8*m**2 - 2*m - 9. Let p be b(5). Let k be (-81)/p - 3/7. Is k at most as big as t?
False
Let n = -2 + 10. Let m be n/(-8)*(-23)/1. Suppose 0 = 4*v + z + m, -7*v + 4*z = -2*v + 13. Is -2 smaller than v?
False
Let f(w) = -w + 18. Let h be f(6). Which is greater: 11 or h?
h
Suppose 0 = 7*f - 8*f - 225. Let b be (4/14)/(f/(-63)). Is b bigger than 0?
True
Let f = -0.212 + 0.106. Let u = -0.006 - f. Which is bigger: -1 or u?
u
Suppose -1361*f = -1345*f + 5408. Which is greater: -337 or f?
-337
Suppose -9 = 4*o - 89. Suppose -21*n + 5 = -o*n. Let j be (-3 + 4)*1*4. Is n less than or equal to j?
False
Suppose -27*m + 202 = -338. Is 18 < m?
True
Let i = 1115 - 1191. Which is greater: i or -79?
i
Let v = 1031 + -1353. Are -321 and v unequal?
True
Suppose 155 = 3*m - 5*b, 0 = -3*m + 3*b + 64 + 83. Let s be (-1011)/(-21) + 120/(-105). Which is smaller: m or s?
m
Let d be ((-98)/21 - -8)*21. Which is smaller: 66 or d?
66
Let u(l) = 2*l**2 - 10*l + 4. Let d be u(5). Let z be d/(-10) + (-5)/(75/879). Do z and -58 have the same value?
False
Suppose -5589 - 13671 = -3*v. Let s be ((-30)/v)/((-2)/8). Suppose 2*n - 2*y + 4*y = 6, 0 = -3*n - 4*y + 11. Which is smaller: s or n?
s
Let u be (-28)/2*12/154. Let k(h) = h**2 + h - 76. Let o be k(9). Let w(m) = 3*m - 43. Let b be w(o). Is u at most as big as b?
True
Let t = 19.26 - 17.26. Is -17 < t?
True
Let c be 503/45 - 2/(-18)*2. Let d = c - 451/40. Which is smaller: d or 0?
0
Let t = -25933/30956 + 94/109. Is -1 != t?
True
Suppose 13*o = 7*o + 4464. Suppose 3*q = -y - 160, -o = 5*y + q - 0*q. Is -148 at most y?
True
Let c = 705 - 744. Which is bigger: -16 or c?
-16
Let y be (-1042)/10 + 32/(-40). Let z be (5/y)/((-7)/(-9)). Which is smaller: 0 or z?
z
Let i = 1.0156 - 0.0156. Let o = 7 + -3. Suppose 21 = -o*b - 31. Which is bigger: b or i?
i
Let f be ((-52)/6)/(4/(-258)). Let q(x) = -3*x + 38. Let y be q(10). Let s be 6/y - f/468. Which is greater: 0 or s?
0
Suppose 4*t - 119 = 97. Is t equal to 161/3?
False
Let f = 0.2 - 0.131. Let m = 17.031 + f. Let p = 17 - m. Which is greater: p or 2?
2
Let g = 273 + -694. Is g smaller than -421?
False
Let x(b) = 2*b - 2*b - 3*b + 11. Let m be x(13). Let s be 2 + 2/(8/m). Is s greater than or equal to -5?
True
Suppose -p - 5 - 19 = 0. Suppose f = -39 + 15. Is p less than or equal to f?
True
Let t = -46 + 31. Let b = -15.1 - t. Let u = -976/4473 + -2/497. Which is smaller: u or b?
u
Let f be -82*(-9)/(-12)*(-2)/(-3). Let a = -439/11 - f. Suppose g + 2*g = 3. Which is bigger: g or a?
a
Let k = -0.051 + -21.949. Let n = 13.9 + 4.1. Let z = k + n. Is z at least as big as 1?
False
Let m(b) = -b**3 + 5*b**2 - 2*b + 6. Let l be m(5). Let a be 1/(l/3 + 1). Let h be (-4)/10*-2 + 24/(-180). Which is greater: a or h?
h
Let m = -18 - -2. Let o be ((-4)/(-16))/((-34)/m - 2). Let x be (-72)/(-160)*(-25)/(-6). Is x not equal to o?
True
Suppose -4*n = -4*m, n = m + 3*m - 6. Let w(z) be the third derivative of z**5/30 - z**4/8 + 20*z**2. Let i be w(m). Which is bigger: 1/6 or i?
i
Let s be 18/12 + 294/4. Let l = -33 + s. Are l and 42 unequal?
False
Let x = -9.42 + 9. Let h = x - -0.42. Is h equal to 8?
False
Let s(n) = 4*n + 56. Let i be s(-14). Which is smaller: i or -3/10?
-3/10
Let k = -0.0781 - -96.0781. Which is smaller: k or 0?
0
Let o(q) = -66*q - 474. Let w be o(-8). Which is bigger: w or 57?
57
Let b be (-8)/10*20/(-8). Suppose 0*p + p + 4*d + 8 = 0, d - b = 0. Is -16 <= p?
True
Let x = 0.017 - 0.467. Let h = 0.25 + x. Are h and 1/2 unequal?
True
Let n = 1961 - 5960/3. Which is greater: -25 or n?
-25
Let r be (-2 + 16/12)*3. Let q be (-1 + 0)*(28 + r). Let f be (3 + q)/(3/(-3)). Which is smaller: f or 22?
22
Let f = 62 - 57.9. Let u = 5 - f. Let k = -1 + u. Which is smaller: 9 or k?
k
Suppose 0 = -p - 4*v + v + 22, 4*p - 4*v - 24 = 0. Let m be (11*p - 3)*-1. Let b = m + 524/5. Is b not equal to -2?
True
Suppose -1 = -w - q - q, 2*q + 5 = 5*w. Let a = -1 + w. Let r = 3/544 - 2741/3808. Are r and a unequal?
True
Let t = -5/17 + 69/119. Which is bigger: -0.02 or t?
t
Let f(z) = -z**2 - 14*z - 4. Let g be f(-12). Let i = g + -11. Let l be (7 - 4)/(i/(-24)). Which is smaller: -7 or l?
l
Suppose 3 = m + x, -4*x - 3 = 3*m - 9. Let c(f) = 2*f**2 - 2*f + 1. Let z be c(1). Let k be ((-3)/4)/(z/(-8)). Are k and m equal?
True
Let v be ((-36)/(-15) + -2)/(2/20). Let j(o) = o**3 - 8*o**2 + o - 8. Let i be j(8). Suppose 3*c + 0*c - 9 = i. Which is greater: v or c?
v
Let f be 15/(-105) + (-278)/14. Let t(s) = -19*s**