 s?
-1
Suppose m + 11 = 3*u + 3*m, 20 = 5*m. Suppose f - u = 5*h, h + 14 = -3*f + 17. Is h >= -12/89?
True
Let h be 6*-1*(-2)/4. Let j(q) = 95*q + 13. Let m(n) = -79*n - 12. Let x(u) = -5*j(u) - 6*m(u). Let k be x(h). Do k and 6 have different values?
True
Let d(g) = -2*g**3 - 14*g**2 + 12*g - 26. Let y be d(-8). Which is smaller: y or 123/22?
123/22
Let c(m) = -2*m + 14. Let v be c(8). Let q be 1*(28/36 + v/(-9)). Are q and 6 equal?
False
Let f = -0.00675 + 0.03475. Which is bigger: f or 2/27?
2/27
Let g = 97 - 57. Let u = 29 - g. Let h = 24739 - 74216/3. Which is smaller: u or h?
u
Suppose -26*n + 4487 = -4353. Let w be ((-2)/(-9))/(n/(-51)). Let f be (-2 - -2)*(-1)/(-2). Which is smaller: f or w?
w
Let o(k) = -29*k - 381. Let j be o(-25). Which is greater: j or 348?
348
Let p(m) = m**3 + 3*m**2 + 37*m + 111. Let r be p(-3). Suppose 4*y + 37 = -15. Which is greater: y or r?
r
Let d = 18310.29 + -18253. Which is bigger: d or 1?
d
Let q = 0.776 - 0.373. Let p = -16.403 + q. Which is bigger: p or -2?
-2
Let d(t) = 19*t + 255. Let w be d(-14). Let j(k) = k**3 + 11*k**2 - 3*k - 36. Let o be j(w). Let x = 0.2 + 1.8. Which is smaller: o or x?
o
Let y = 91 + -76. Suppose -9*u + y = -30. Suppose 0 = -2*z + 5*i - 119 + 304, 5*z = u*i + 470. Is 96 <= z?
False
Let r(o) = -o**3 + 22 - 22*o**2 - 8 - 4 + 16 - 20*o. Let c be r(-21). Suppose -5*j + 3*h - 3 = 7, -4*h = -c*j - 15. Which is smaller: 5/14 or j?
5/14
Let i be 6/(-30) - ((-26)/(-195))/(2/4287). Is -281 less than i?
False
Let z = -2306 - -2307. Is z != 11/68?
True
Suppose 829*q - 831*q = 64. Let x(f) = -3*f**2 + 4*f + 9. Let g(k) = k**2 - 6*k + 5. Let z be g(4). Let i be x(z). Which is smaller: i or q?
q
Let m be (((-12040)/(-110))/(-14))/5. Is m less than or equal to -2?
False
Suppose -j - h + 6367 = 0, -45*j + 42*j - 2*h = -19105. Is 6371 less than j?
False
Let t be -1 + (4 + 7 - 9). Let n = 519/305 + 6/61. Is n < t?
False
Let y = 3702 - 3697. Is y bigger than 86/5?
False
Suppose 78*q = 48*q + 150. Is 2/5 != q?
True
Let h be 97/(-5) + 36/(-60). Suppose 2*g + d = 1 - 0, -4*g + 3 = d. Let p be g + (42/(-10))/((-7)/(-35)). Is h greater than p?
False
Let q = 3147721/16 + -196584. Let w = q - 149. Suppose 5*u - 13 = -2*f, -33*u + 32*u + 6*f - 23 = 0. Which is greater: w or u?
u
Let r be (0 + 57)/(5 - 2). Let j = 58 - r. Let d = 39 - j. Is -3/14 <= d?
True
Let q be -10 + 10/1 - -10. Let w = -16 + 22. Is q at least w?
True
Let w be -845 - (22 + 54/(-6)). Does -858 = w?
True
Let o = -0.0458 + -100.1542. Let v = -0.2 + -1.6. Let z = o + v. Which is smaller: -1 or z?
z
Let g(l) = l**2 - 2*l + 7. Let w be g(-3). Let s be (w/18 - 26/117) + 49. Which is smaller: s or 48?
48
Let v(i) = -35*i + 2071. Let d be v(79). Is d < -696?
False
Let r = -37 - -37.5. Let q = 117.24 - 117. Are r and q equal?
False
Let g be 45/(-225)*(-25)/2. Which is smaller: g or -2.25?
-2.25
Suppose -19*o - 839 = -2701. Suppose 0 = -101*i + o*i - 192. Which is greater: i or -66?
i
Let y(v) = v + 8. Let k be y(-4). Let o(r) = 4*r - 16. Let a be o(k). Let m be (a + -6)/(-2)*(-4)/12. Is m less than 2/65?
True
Let h = 66.38 - 39.38. Which is greater: 2 or h?
h
Let o(b) = 9*b**2 - 138*b + 42. Let w be o(15). Which is bigger: w or -41/23?
-41/23
Let y(z) = 621*z - 164. Let p be y(5). Is p at least as big as 2942?
False
Suppose 0 = 2*i + 18 - 40. Suppose 4*f = -x - 116, -5*f + 58 = x + 173. Let w be (5/x)/(-1 + i/9). Which is smaller: 0 or w?
w
Let c(p) = 142*p**2 + 283*p. Let a be c(-2). Which is bigger: a or -230?
a
Let w(s) = s**2 + 12*s - 1. Let i be w(-11). Let z be 5*i/80 + 14/40. Is -15 equal to z?
False
Let i be (3 - (-1 - -8)) + (-4188)/(-1048). Let m = i - 2093/786. Let l = 15 - 18. Which is smaller: l or m?
l
Let t be 46/161*(3 - 771/6). Which is bigger: -35 or t?
-35
Let z be ((-888)/(-592))/((-3)/4878). Is z not equal to -2439?
False
Let s = 95 + -133. Let c be ((-128)/24)/(4/30). Which is smaller: c or s?
c
Let d = 26 - 102. Let x be 4 - 3 - (-2 - 2). Let m be 1/x - (-9)/(-45). Is d greater than or equal to m?
False
Let l = 4943 - 4942. Which is smaller: 292/35 or l?
l
Let g = -14257.9 - -14258. Let f = 4.4 + -3.51. Is g at least as big as f?
False
Suppose -28 = -x + 2. Let i be (-10)/(-6) + -1 + (-470)/x. Let y be (-3)/(-5) + (-56)/i. Which is smaller: y or 4?
4
Suppose 3*h - 2*h - 11 = 0. Suppose -15*s + 11*s = -8*s - 8. Let q be (12 + h)*(1 + s). Which is smaller: q or -21?
q
Suppose y = -3*a - 13, -3*y + 6*y - 3*a = -39. Let h be (0/1 - 4) + 456/57. Is y less than h?
True
Suppose -417 + 373 = -44*i. Which is smaller: 6/359 or i?
6/359
Suppose 234 = -2065*v + 2299*v. Which is smaller: 1/1306 or v?
1/1306
Suppose 9*u = 185 + 85. Let q be 69/(-18) + (-5)/u + 4. Let p be 123/25 + -3 + -2. Is q >= p?
True
Let f be (-14)/147 + 1894/42. Let a be 3 + -1 + f/1. Which is smaller: a or 50?
a
Let j(b) = 13*b**2 - 12*b + 1. Let t be j(4). Let z = t + -61. Suppose z*i - 96*i + 308 = 0. Which is smaller: -78 or i?
-78
Let b = 6.4 - -429.6. Let m = b + -435.9. Is -3/134 not equal to m?
True
Suppose 0 = 3*x - 141 - 63. Let r be 739/(-11) + 4/22. Let m = x + r. Is 8/5 greater than m?
True
Suppose g + 17 = 4*p, 5*p - 12 - 12 = 4*g. Suppose r + 16 = -6*y + 2*y, -4*y + 4*r = -p. Let h be 23/(-4) - (-3 + (-18)/y). Which is smaller: -9 or h?
-9
Let y(j) = -36*j**2 - 4*j + 28. Let c be y(3). Let n = 301 + c. Which is smaller: -34/5 or n?
n
Let a = -11407 - -11407.5. Let n = 0.21 + -0.2. Which is bigger: a or n?
a
Let b = 2 - -13. Suppose -z = -3*t - 4*z - 360, -5*z = -b. Let q = t + 127. Which is smaller: q or 9?
q
Let h = 47 + -52. Let p be (-1 + (-66)/(-68))/(h/60). Let f be 4/7 + (-55)/35. Which is smaller: p or f?
f
Let p = 87 + -81. Suppose 280 = -c - p*c. Let u be -1*-2*12/c. Are u and 0 unequal?
True
Let y be (-7 - -2) + 9 + -6 + 4. Let o be 16 - 10 - (578 + y). Is o <= -575?
False
Let x = 841 + -74851/89. Let n be 5/(-4) + (-5)/(-20). Are x and n equal?
False
Let y(u) = -u**3 - 10*u**2 - 2*u - 32. Let i be y(-10). Let w = 176 + -172. Are w and i nonequal?
True
Let m = 0 - -2. Let s be (m + (-4 - -2))/1. Let q be (136/816)/(-1*(-9)/(-2)). Is q less than s?
True
Suppose -7*j = 8 + 62. Let t be ((-171)/(-225))/(4/j). Is -3 at most as big as t?
True
Let w = -142 + 142.57. Let g = 72 + -71.43. Let a = g - w. Is a at most as big as 1?
True
Let f be 621/92 - (-3 + 10). Is 5/46 greater than f?
True
Let s = 637/8184 - -5/264. Which is smaller: s or -30?
-30
Suppose -h = 4*h + 5*o + 320, -h + 2*o - 73 = 0. Let u = -67 - h. Suppose 0 = 3*x - 7*x. Is u equal to x?
True
Let x = 51.86 - 50.86. Is 66/53 greater than x?
True
Let h(l) = -l**2 - 4*l + 2. Let u be h(-4). Suppose 1 = 5*b + 6. Let k be 12*(b + (-12)/(-9)). Is k less than u?
False
Let w be 3*2*5/(-60)*0. Which is smaller: 1/10734 or w?
w
Let k be 9348/40 - 2*(-4)/10. Let y = k + -226. Which is smaller: y or 10?
y
Suppose 3*w + 310 = -2*w. Suppose -3*y = -5*t + 4*t - 59, -2*y = t + 64. Let r = w - t. Which is smaller: -3/4 or r?
-3/4
Let x be 2 - (-6)/(-3) - -4. Let f = -297 + 642. Suppose f = -x*m + 9*m. Is 69 less than m?
False
Let g(p) = -p + 2. Let v be g(1). Let j be v/4*-79*-2. Suppose -226*o - 1722 = -268*o. Which is greater: j or o?
o
Let k = 0.188 - 16.588. Let q = k - -16.4. Which is bigger: q or -88?
q
Let a be -10 + 0 + (-90072)/(-8991). Which is smaller: a or 1?
a
Suppose 0 = -2*f - 4*a - 1796, 4*f - 344*a = -345*a - 3627. Are -905 and f equal?
False
Let u = -59 + 77. Let r(g) = g**2 - 18*g + 12. Let p be r(u). Is p less than 14?
True
Let w = -1963 - -2711. Is w less than 0?
False
Suppose 0 = -0*j - j + 15. Suppose 5*m = 7*u - 3*u - 160, 5*m - j = -u. Let r = 35 - u. Is r smaller than 2?
True
Let q = 69 - 47. Let g = -22 + q. Let t = 2200/18989 - -2/1117. Is t smaller than g?
False
Suppose 0 = -107*d - 3058 - 3469. Suppose 5*q + 5 = 0, -3*q + 7 = -4*z + 6*z. Suppose 3*r = 2*j + 3*j - 195, z*r - 3*j + 309 = 0. Which is smaller: d or r?
d
Let s(i) = -i**3 + 7*i**2 + 7*i + 7. Let n be s(8). Let z = 1473/5 + -31048/105. Let c = z + 10/7. Is n > c?
False
Suppose -5*p - 5 = 0, 5*x - 3*p + 13 = x. Let y = -4/777 - 7240/2331. Which is smaller: y or x?
x
Let x be ((-5)/(-20))/(78/(-5811)). Is x at least -18?
False
Suppose 0 = -4*t + 2*g + 140, 3*g = -2*t - 0*t + 62. Let p be (4 - -2)/1*t/44