s bigger: r or h?
r
Let c = -295.443 - -296. Let d = 0.827 - c. Is d at most -8?
False
Let h be ((-161)/(-483))/(1 + 0). Let m = 248 - 371. Are h and m equal?
False
Suppose 23*l - 25*l = -3*j + 7, 5 = 5*j - 2*l. Is j not equal to -12/85?
True
Let r = -275 + 262. Let m(a) = -a**3 - 14*a**2 - 17*a - 52. Let g be m(r). Which is smaller: -4/9 or g?
-4/9
Suppose s - 27 = -5*r, s + 13 = 2*r + 5. Suppose s*m + o - 5*o = 1060, 3*m - 1565 = o. Suppose -12*z + m = z. Are z and 39 nonequal?
True
Suppose 903 = -75*h + 96*h. Suppose 5*a + h + 12 = 0. Is a greater than 1?
False
Suppose 12 = 4*q + 2*y, -q + 5*y - 3 = 5. Let w be 2/(-4)*(0/1 + 132). Let v = -67 - w. Is v at most as big as q?
True
Let m = 1/8 + -7/8. Let y = 4266 - 4329.91. Let q = -64 - y. Is q < m?
False
Let d be ((-12588)/9)/((-220)/66) + (-2)/(-5). Is d less than 419?
False
Let k be (-594)/(-693)*(-83)/(-3). Which is bigger: 24 or k?
24
Let r(x) = 12*x + 2. Let u be r(6). Let s = -47 + u. Suppose s = -4*n + 23. Which is smaller: n or -3/35?
n
Let z be (-30)/40 + 323/36. Let n = z - 8. Let t = 7 + -21. Which is greater: t or n?
n
Let s be 3/((-1)/(1 - 4)). Suppose -l = s - 11. Let n(k) = -k**2 + 2*k + 4. Let v be n(l). Does 2 = v?
False
Let w be 3/(-66)*(-51 + 55). Which is smaller: 179 or w?
w
Let l = 62.3 + -5.3. Let t = l + -57.045. Let s = 0.055 - t. Which is bigger: -34 or s?
s
Let i = 44.969 - 44.96. Is i at most -4.7?
False
Suppose 0 = 27*z - 31*z + 20. Suppose 0 = -b - 2*t + z, 0 = -3*b + b - t + 1. Is b less than or equal to -1?
True
Let f(q) = q**3 - 42*q**2 - 235*q + 100. Let v be f(47). Is v greater than 91?
True
Suppose 3*v - i + 5*i + 20 = 0, 2*i = -5*v - 10. Let w(f) = f**3 + 2*f. Let k be w(v). Is k greater than or equal to 2?
False
Suppose 0 = -5*m - s - 543, -9*m + 2*s = -11*m - 214. Let f = m + 111. Let r be (3 - (-803)/(-234)) + f/13. Which is bigger: r or 1?
1
Let q = 147 + -147. Suppose q = 3*h + 5*s + 46, 2 = -h + 10*s - 15*s. Which is smaller: h or -20?
h
Suppose -113*t + 13957 = -5968 - 5387. Which is smaller: t or -8?
-8
Let q(h) = -5*h**2 + h + 34. Let t be q(11). Let g be 648/t + (-24)/(-28). Is 1 > g?
True
Let v = -1 + -1. Let s be v/(-6)*3/(-27). Suppose 146 = -26*u + 120. Which is greater: u or s?
s
Let a be (251037/27720 - 11) + (-2)/(-5). Let r = a + -1/616. Is r < -2?
False
Let i be (0 + -3 + 5)/((-9)/(-27)). Let d be (-2)/4 - i/(-12). Which is greater: d or 4/109?
4/109
Let j = 9.348 - 9.338. Is j not equal to -2/1461?
True
Let f be 0/((-1 - -13)/(-4)). Suppose 2*w + 3*g = 2*g + 2, f = -2*g - 4. Let z be ((-4)/w)/(-4)*2. Is z at most -3/17?
False
Let v be -3 - 14/(-3) - 39253/51. Which is bigger: -767 or v?
-767
Let r be -2 + 3 + 1 - 1. Suppose -15*h - 219 - 831 = 0. Let k be h/(-165)*(-1)/((-14)/(-4)). Is r smaller than k?
False
Suppose -12*x + 9992 = 9*x - 2860. Is 609 less than x?
True
Let t(v) = v**3 - 8*v**2 - 32*v - 14. Let k be t(11). Let d be 1 + 5 - (0 + k)*-2. Is -1/660 greater than d?
False
Suppose 0 = 22*a - 2*a - 280. Suppose -4*k + a = 2*c, -2*c + 2 + 5 = -3*k. Let m be 8/524 - (-2 - -2). Is k smaller than m?
False
Let j = 397 - 401. Suppose -8*d + 9*d - 18 = 0. Let f be (-13)/d - (-4)/18. Which is smaller: j or f?
j
Let g be (-6 + -4)*(-18)/10 - 4. Suppose -g*j + 840 = -42*j. Let b = -0.26 - -0.06. Which is smaller: b or j?
j
Suppose 170*s = 179*s - 450. Let l be ((-20)/s)/((-72)/(-690)). Which is smaller: 0 or l?
l
Let x be (-333 - 2)*6/((-6)/(-1)). Which is bigger: x or -328?
-328
Let s = 31 + -32. Let y = -18736/29 + 646. Is y equal to s?
False
Let n(p) = 56*p - 318. Let u be n(7). Suppose 10*j - 13*j = -4*t - u, -132 = -5*j - 2*t. Which is smaller: 31 or j?
j
Let z be -2 + (2 - -3) + 8. Let h be 6/(-33) + 112/z. Suppose -19 - 21 = -4*k. Is h greater than k?
False
Suppose 23*z = 26*z - 12. Suppose -4*y - z*g = -7*y + 24, -4*y - g = -32. Which is smaller: y or 10?
y
Let w = -1/123837840 + 2492744517889/1822185360. Let o = -1368 + w. Which is bigger: o or -1?
o
Suppose 2*q = 5*m + 5, 3*q + 3*m = 10 - 13. Suppose q = 4*h - 4*j + 48, -3*h + 9*j - 12 = 12*j. Let u = -7 + 2. Which is bigger: h or u?
u
Let q(z) = z + 11. Let h be q(-10). Let l be h - (-5)/(-4) - 406/(-56). Suppose 2*v = -2*v + 3*y + 36, 0 = 3*y. Are v and l nonequal?
True
Let o be (23 - 10132728/375288) + 12/(4 - 1). Is 1 greater than or equal to o?
True
Suppose 0 = -3*h - 3. Let w = 97 + -130. Let a be w/18 + 7 + -5. Which is smaller: a or h?
h
Let q be (22320/64)/(-31) + 12. Is 351 greater than or equal to q?
True
Let l be (-6 + 319/44)/(-2 - (2 + -35)). Which is greater: 1/2 or l?
1/2
Let g = 83999/55998 - 1/27999. Is g >= 96?
False
Suppose -3 - 71 = -l + 2*m, 4*l + 4*m - 296 = 0. Let y = l - 73. Let g = 0.7 + -0.61. Is y at most g?
False
Let t = -0.29247 + 2.29247. Which is smaller: t or 1613?
t
Suppose -553 + 13 = -2*z. Let y be (3/(-8))/(z/120). Are -16 and y unequal?
True
Let g = 321176/7 + -45972. Let a = g - -90. Is -11 smaller than a?
True
Suppose 5*u + 2 - 12 = 0, 2*g - 14 = -4*u. Let x = -15.3 + 2.3. Let q = -15 - x. Which is bigger: g or q?
g
Let j = 321 + -309. Let l be 1357/j + 3/(-36). Which is smaller: 114 or l?
l
Let l be -5 + (-225)/35 - (-13 + 63/7). Is -21 at most l?
True
Let i = 248 + -104. Let p be (i/(-480))/((-3)/4). Let s = -0.01 + -0.49. Is s greater than p?
False
Suppose -97*d + 166972 = -123*d. Which is greater: d or -6421?
-6421
Let d be (-56)/(-20) - 86616/20. Which is greater: -4330 or d?
d
Let y = -0.0046 + 0.1626. Let r = y - 0.058. Does -253 = r?
False
Let f = -168.65 + 3.65. Let r = 165 + f. Is r not equal to -71?
True
Let r = 19 + -15. Suppose -b + 6 = -m + 13, 0 = r*b - m + 22. Let k be (-18)/(-4)*(b + 260/48). Which is bigger: k or 1?
k
Let r = 6/7289 + 2587499/116624. Which is bigger: r or 21?
r
Let d = -161 + 159. Let x be (d + (-925)/(-465))/((-4)/(-66)). Which is bigger: x or 0?
0
Let u(s) = 9*s + 124. Let x = 198 + -192. Let y be u(x). Are 178 and y equal?
True
Let i be (1 + (-5 - 56))*1. Let q be (2/(-3))/(i/(-630)). Let m be (1/2)/((-4)/96). Which is smaller: q or m?
m
Suppose 5*h = -2*l + 27, 4*l - 2*l - h + 3 = 0. Is l greater than or equal to 4/19?
True
Let h be 60/4 - 0/((-21)/7). Suppose h*l - 22*l = -14. Which is greater: l or 18/13?
l
Let b = 0.512 + -0.312. Let s be 31 + (2 + -3 - 0). Let h be 111/s + 0 + -4. Which is greater: h or b?
b
Suppose -2 = -5*g - 5*p + 3, 0 = 5*g - 2*p - 26. Suppose 5*l + 7 = -2*l. Let v be (-8)/2 + (-1)/l. Which is smaller: v or g?
v
Let p = 16 - 26. Let r = 15 + p. Suppose 0 = -3*k + 4*u - 13, 10*k - r*k + 4*u = 21. Is k not equal to 10/11?
True
Let t be (81 + 163)/(2/14). Is 1709 less than t?
False
Suppose 3*m + 17 = -0*m + 4*n, -n = 1. Let x be 16/(4/(m + 5)). Let q be 0/((x/12)/(4/(-6))). Is q smaller than 8/19?
True
Let u = 6535 + -7604. Is u at most -4277/4?
False
Let p = 49 - 38. Suppose 15*m = p*m. Which is greater: -2/989 or m?
m
Let m = 1332.3 + -1332.3. Which is greater: m or 3594?
3594
Let f(n) = n**3 - 8*n**2 + 1. Let p be f(8). Let y be 3/(-1) + p/(5/791). Let g = y + -1287/10. Is g <= 28?
True
Let p = 11963.2 + -10779. Let s = p - 1323. Let w = -139 - s. Which is greater: w or 7/3?
7/3
Let g(w) = 12*w**3 + w**2. Let h be g(1). Let t be ((-42)/(-18) + -2)*3 + 2. Suppose -5 = -t*m + h. Which is smaller: 5 or m?
5
Let c = 5036 + -337404/67. Is 1 at least c?
True
Let m = -52 - -44. Let n be (1/(-8))/((-6)/m). Let k = 0.111 + -0.011. Is n >= k?
False
Suppose o - 4*o = -48. Suppose -2*x + 16 = -4*f + 3*x, 0 = -4*f - x - o. Let y be 4 + 12/f - -14. Is 17 <= y?
False
Let n be (19 - (-364)/(-20))*(6471/(-6) - -1). Which is greater: n or -860?
-860
Let i be ((-60)/54)/5 - 814/(-18). Let w be (-70)/12*(-1 + 27/i). Is w > 12?
False
Suppose 0 = 4*i - 5*w - 118, 0*i + 4*i + w = 130. Suppose v + 2*v = v. Let r be 28 + (v + -3 - (5 + -12)). Are r and i nonequal?
False
Let x = 8575 + -8576.01. Is 0.1 >= x?
True
Let u = 2521 + -2439. Which is smaller: u or 2/7?
2/7
Suppose 483109 = -423*c - 488459 + 62541. Are -2152 and c nonequal?
True
Let d be (48/(-6))/(-24) - (-5092)/(-3). Let y = -3763/2 - d. Which is greater: y or -185?
y
Suppose i = 17 - 6. Let u be (331/(-924))/((-14)/378). Let s = 6/77 + u. Which is smaller: i or s?
s
Let b be (-25)/(-5) - -1*(1 - 1). Suppose -b*g - 15 = -10*g. Let y be 