s smaller: b or -292/17?
b
Let b = -29 - -34. Suppose 4*l = -4*p + 6*l + 6, 0 = l - b. Let j = 11 + -6. Which is smaller: p or j?
p
Let t be (-15)/3 + (110/(-4))/(-5). Which is smaller: -1/26 or t?
-1/26
Let v = 209/24 - 77/6. Which is smaller: -5 or v?
-5
Let o = -719/3 + 239. Which is smaller: o or 0.46?
o
Let y = 3.593 + 0.277. Let g = y - 10.95. Let z = g - -7. Is z bigger than -0.2?
True
Suppose 3*j + 55 = -2*j. Let t = j - -13. Suppose t*f = 4, 0 = -4*v - v + 5*f + 30. Is v not equal to 8?
False
Suppose 0 = -11*k + 7*k - 8, k - 592 = -2*z. Is z less than 297?
False
Let n be -1 + (-3 + 3 - 3). Let y(v) = 2*v**2 + 7*v + 4. Let h be y(n). Are -0.2 and h non-equal?
True
Let b be (-41)/(-8) - ((-52)/(-32))/13. Suppose -b*r - 3*h + 64 = 0, 3*r + r - 50 = -3*h. Does r = 15?
False
Let t = 5/7 - 3/14. Let v = 73.63 - 72.73. Which is bigger: t or v?
v
Let c = 457.9 + -458. Let m = -33 + 17. Let n = 15.89 + m. Which is smaller: c or n?
n
Let y = -14706 + 1926501/131. Let a = y + -2047/15589. Is -1 smaller than a?
True
Let z = -13 - -208. Suppose 0 = 7*v - 12*v + z. Is 39 greater than or equal to v?
True
Suppose 18 = 6*m - 6. Suppose -s = -m*s. Is -2/27 at most s?
True
Let v = 79/14 - 11/2. Let j be -9*(4 - 340/75). Let a = -77/15 + j. Which is smaller: v or a?
a
Let v be 2/(-3) + ((-5632)/(-4206))/2. Which is greater: 0 or v?
v
Let t = -23 + 103. Let c be 256/t - 0*2/(-4). Is c <= 2?
False
Suppose 3*w = 2*t + 10, 2*w + 1 = -3*t - 1. Let j be (-4)/(-33)*12 - w. Are -2 and j equal?
False
Let m = 1.751 + 0.249. Is m > -0.73?
True
Let c(i) = -i**3 - 4*i**2 - 5*i - 6. Let l be c(-3). Let o be l/(2/(4 + -5)). Is 1/2 at least as big as o?
True
Let x(g) = -9*g - 1. Let c be x(17). Is -152 less than c?
False
Let a be 2/5 + (-56)/(-10). Suppose 0*p = a*p - 120. Is p <= 18?
False
Suppose -z + h + 4*h - 7 = 0, 3*z - 39 = -5*h. Let m be (z/30)/(3/(-36)). Which is smaller: -2 or m?
m
Suppose -676 = 104*x + 2028. Is x at most -29?
False
Suppose -137*z + 5*z = 17952. Which is greater: -140 or z?
z
Let h = -5140/21 - -49/3. Let v = h + 227. Which is greater: v or -2?
v
Let d be -2*(2/(12/(-21)) + 4). Which is bigger: d or 1/65?
1/65
Let u = -1393 - -1313. Are u and -83 unequal?
True
Let s(y) = -5*y - 8. Let h be s(-14). Let x = h - 49. Which is bigger: 5 or x?
x
Let a be (-2)/(-4) - (-162)/(-4). Let w = 43 + a. Which is greater: 1 or w?
w
Let m be 1 + ((-28)/13 - -1). Suppose -q - 17 = -180. Let r = q - 163. Are r and m nonequal?
True
Let y be (-2)/(-7) + (-50)/28. Let x be ((-14)/21)/(142/(-6)). Let s = 128/497 + x. Is y at most as big as s?
True
Let x = 40 - 36.6. Let w = x - 3.3. Is -112 greater than w?
False
Let x = 250/11 + -22. Let r = -54 - -82. Let a = r + -27. Which is smaller: x or a?
x
Let d = -0.085 - 24.915. Let c = -53 - d. Which is bigger: c or 1?
1
Suppose -5*y = -6*y + 3. Let x be 4 - (96/3 + 1). Let r = x + 29. Which is smaller: r or y?
r
Let f = 142 + -143. Is f at most -10/13?
True
Let q = 8.31 + -1.21. Let g = 9.6 - q. Do g and -1 have different values?
True
Let d = -40 + -4. Let u = 45 + d. Is u at least 11/7?
False
Suppose 8*l = 3*l. Suppose -5*y + 2 - 2 = l. Let f be (-2)/6*(-24)/(-20). Is y at most as big as f?
False
Let l be (-274)/8 + (7/(-4) - -2). Let f be (38/(-8) - 1)/(l/(-136)). Does -22 = f?
False
Let q = -292 + 291. Is 6/19 at least as big as q?
True
Suppose 7*y = 17*y - 10. Is y at most as big as 2/765?
False
Let i(p) = -9*p**2 + p - 1. Let a be i(1). Let j = 7 + a. Let u = j - -1. Which is smaller: -5/9 or u?
u
Suppose -14*u - 1567 = -4465. Suppose -6 = -2*h, 0 = 5*x - 5*h + h + u. Is x greater than or equal to -39?
True
Suppose k + 4 = -13. Let i = 9 + k. Let o(y) = 8*y + 168. Let b be o(-22). Are i and b equal?
True
Let j be (-45)/20*(-48)/9. Suppose -j*p = -8*p. Which is smaller: p or -2?
-2
Suppose 3*y - 14 = -d, 3*y - 1 = 5*d - 17. Let v = d - 5. Is -1/38 less than v?
True
Let i = -214 + 397. Is 183 at most i?
True
Suppose 3*j = j + 5*z - 6, j + 3 = 4*z. Let v(y) = y**2 + 4*y + 4. Let n be v(j). Is 2/11 at least n?
False
Suppose 0 = 4*w + 5*o - 11 + 44, w = -4*o. Let a be (w/24)/((-2)/(-12)). Which is greater: -4 or a?
a
Let m be ((-99)/(-88))/(3/1258). Let v = m + -478. Which is smaller: -5 or v?
v
Let y = 661 + -840. Which is smaller: -178 or y?
y
Let p = -144 - -144.2. Let i = -1.2 - 7.4. Let w = 1.6 + i. Which is bigger: w or p?
p
Let u = -160 - -176. Let y = 0.5 - 0.4. Is y at most u?
True
Suppose 4*q + 3*x = -0*x + 3, 2*x = 3*q + 2. Suppose 4*o - n - 33 = q, 5*o - 9*o + 3*n = -43. Is 0 smaller than o?
True
Let q be 6*2/(-4) - 101. Let d be q/(-10) - (-12)/20. Suppose -7*x = -d*x + 8. Do x and 2 have the same value?
True
Let t(d) = d**2 + d - 33. Let j be t(11). Are 97 and j equal?
False
Let m(r) = -r - 5. Suppose -4*s + 6 = -s. Let b be (1 - 3)*s + -2. Let t be m(b). Which is smaller: t or 2/3?
2/3
Let f = 8.1 + -9.16. Let k = f + 0.96. Which is smaller: k or -7/5?
-7/5
Let o(z) = -114*z**2 - 6*z - 6. Let b be o(-3). Which is greater: -1015 or b?
b
Let m = -638 + 8290/13. Which is bigger: m or -1?
m
Let m = -52 - -56. Suppose m*d = -t + 91, 0*d = -d + 2*t + 16. Are d and 24 non-equal?
True
Let s be 7/(252/(-8)) + 32/(-18). Let j be s/7 + 275/595. Which is smaller: j or -1?
-1
Suppose -4 = 2*g - 2*f - 0*f, -37 = -4*g - 5*f. Let u(k) = -89*k + 5*k**2 - g*k**3 + 91*k + 2*k**3. Let v be u(4). Which is smaller: v or 23?
23
Let c = 14.55 - 11.55. Let f be 40/18*21/(-56). Which is bigger: c or f?
c
Let k be 5 - -49 - (5 - -1)/(-1). Which is greater: 65 or k?
65
Let z(k) = -k**3 + 13*k**2 - 13*k - 18. Let o be z(12). Suppose g - 2*g - 24 = -n, 0 = -5*n - 25. Is g greater than o?
True
Suppose -5*y = 7*h - 9*h - 575, -2*y - 4*h = -230. Which is smaller: 114 or y?
114
Let l = -475 - -539. Does 62 = l?
False
Suppose 5*l + 2*u = -1, 3 - 2 = 3*l + 2*u. Is l smaller than 0.2?
True
Let c = 0.14 + -14.14. Let t = 6 + c. Let u(z) = z**2 - 9*z - 2. Let p be u(9). Which is greater: t or p?
p
Let v = -62.9593 + -0.0407. Is v bigger than 0.1?
False
Let z(f) = -10*f**3 - 27*f**2 - 20*f - 26. Let k(v) = -v + 9 + 3*v + 9*v**2 + 3*v**3 + 5*v. Let o(d) = 7*k(d) + 2*z(d). Let a be o(-8). Is 3 equal to a?
True
Let b = -34 - 237. Which is bigger: -270 or b?
-270
Let u = 2 + -2. Let r = 2579 - 1603. Let d = -12698/13 + r. Which is smaller: u or d?
d
Let d(f) = -f - 32. Let k be d(-38). Which is smaller: k or 112/19?
112/19
Let n be 0 - (-1*24/(-3) - 3). Is 0.26 bigger than n?
True
Let g = -1473 - -2521. Let q = g + -80700/77. Which is bigger: q or 1?
1
Suppose 15 = -3*q - 5*b, 16 = -4*b + 4. Suppose 0 = 5*a + 20, q*a - 16 = 2*z + a. Is z < -5?
True
Suppose -29 = 3*j - 3*l + 82, l - 163 = 4*j. Which is greater: -9 or j?
-9
Let i = 5 + -2. Let j be -4 + i + 6/3. Let r(q) = q**2 - 6*q - 10. Let g be r(7). Which is smaller: g or j?
g
Let k(x) = -5*x - 29. Let j be k(-13). Let a = -29 + j. Does a = 9?
False
Suppose -15 + 5 = -3*u - 5*s, 3*s - 6 = 4*u. Let f(g) = -29*g + 9. Let w be f(-5). Let h be 16/w + (-10)/35. Which is bigger: u or h?
u
Suppose 6*v - 110 = 8*v. Let g = v + 78. Let o = -17 + g. Which is greater: 8 or o?
8
Let b be (4 - 2)/(-2 + -12). Let m be -3 - (0 + -3 - 0). Do b and m have the same value?
False
Let y be 2 - (0 + 48)/3. Let o = y - 10. Is -24 bigger than o?
False
Let q be 0 + (-6)/33*-164. Let l = 30 - q. Let a = -82/3 - -28. Is a != l?
True
Let a be (-4)/3*((-132)/(-14) - -3). Is a smaller than -16?
True
Let x = 2.1 + -13.1. Let p = x - -8. Which is bigger: p or 1?
1
Suppose s - 9 + 10 = 0. Let b be (-5)/85 + -1 - s. Let u = -3 - -4. Is u less than or equal to b?
False
Let w(s) = 7*s + 62. Let o be w(10). Which is smaller: 131 or o?
131
Let a = -4.92 - -5. Let c = -31.92 - a. Let g = -47 - c. Is 0 less than g?
False
Suppose 2*q = 2*p + 2*p - 14, -14 = 5*q - 3*p. Let y = 354 + -10265/29. Which is greater: q or y?
y
Suppose d + 5*k + 41 = -3*d, -3*d - k - 28 = 0. Let i = d + 19. Suppose 2 = -h - 2, 0 = 2*s - h - i. Are -0.3 and s unequal?
True
Let k = -15.4 - -15.37. Let a be ((-12)/(-16))/((-2)/(-52)). Let u = a + -20. Which is smaller: u or k?
u
Suppose 7*t = -29*t. Is t > -2/39?
True
Let o(s) = s**2 - 1. Let f be o(-2). Let l be 4 + (-1 - f - -1). Let v be -2 + (-2 - l - -7). Is 2 >= v?
True
Let s = 39 + -20. Let v = -18 + s