as big as r?
True
Suppose -18*b = -21347 + 3923. Which is smaller: 966 or b?
966
Let y be 7/(28/36) - 7164/798. Is 1 greater than y?
True
Suppose 5*z + 66 = x, 3 = 2*z - 5*z. Let r = 61 - x. Is -1/5 at most r?
True
Let o = 113.74 - 743.64. Let l = o + 630. Let h = -7 + 35. Is h at most l?
False
Suppose -o - o - 84 = 0. Let b be 12/o + (-16)/(-7). Suppose -10 = 3*n + b. Is -5 at least n?
False
Let u(c) = -5*c**2 + c + 1. Let y be u(0). Let j = -4719513/11 + 429393. Let k = j - 346. Do k and y have different values?
True
Suppose 144 + 636 = 13*o. Let t = -58 + o. Let i be (-411)/(-105) - t/7*-1. Is i less than 3?
False
Let k be ((-231)/14 - -17)*(3 + -3). Which is smaller: -123.7 or k?
-123.7
Let j = -33101 - -28750. Are j and -4347 non-equal?
True
Let k = -745 + 669. Which is smaller: k or 3?
k
Suppose 148 - 41 = 45*k + 62. Let z = -47/3 + 379/24. Which is greater: k or z?
k
Let t = 40.518 + -52.518. Let j = -5.1 - 0.9. Let f = j - -5.5. Is t less than f?
True
Let p(a) = a**3 + 11*a**2 + 13*a - 21. Let i be p(-10). Let w = i + 249/5. Do w and -1 have different values?
True
Suppose -4*s - 13*x + 6749 = -16*x, 4*x = 5*s - 8437. Suppose -85 + s = 10*c. Is c less than or equal to 160?
True
Suppose -3 = z, 2*z + 156 = 3*n + 5*z. Is n at most as big as 35?
False
Let v be ((15/52)/(-1))/((-86)/(-344)). Let t be 1*1/(-3 + (-8)/(-4)). Which is greater: t or v?
t
Let g be ((-4)/(-6))/(2/(-6)*2). Let q = 1 - g. Suppose 3*i = -5*j - 9, q*j + j = -i - 7. Which is smaller: i or 8/3?
i
Suppose -z - 263 = 4*y + 270, 635 = -5*y + 5*z. Let o be 2/327*y/22. Which is smaller: o or 0?
o
Let u = -36.38 - -37.38. Are 1773 and u equal?
False
Let y be 6/11 - 0 - (-2928)/(-16016). Is 1 bigger than y?
True
Let f = -34869 - -34870. Does f = -2/1395?
False
Let g = 8087485/361 + -22403. Which is smaller: 3/2 or g?
g
Suppose -26*v + 55 - 81 = 0. Let h = -6 - -10. Let o be (3/18)/(3/h). Is v at most o?
True
Let l = -139 + 245. Suppose 5*b - 52 - 50 = 3*t, t = -5*b + l. Let n = -34 + b. Is n bigger than -14?
True
Suppose -i + 5*g = -7 - 19, 4*i = -3*g - 11. Let h be (-2)/((-2)/i)*-1. Is h >= -1/23?
False
Let u = 48 + 27. Suppose u = 5*i + 2*h, 2*i - 3*h - 55 + 6 = 0. Let d = i + -15. Is d bigger than 0?
True
Let f be 346/(-6)*4/76 - -3. Let o = -36 - -31. Let a(d) = -8*d - 41. Let x be a(o). Which is smaller: x or f?
x
Let f(i) = -35*i + 507. Let t be f(5). Which is greater: 347 or t?
347
Let g = -1.48 + 3.48. Let n = -2.73 - -0.03. Let w = -2.4 - n. Which is bigger: w or g?
g
Let p be -1*((-24)/(-18) - 595/3). Suppose -p = -5*y + b, 4*b = 3*y - 4*y + 52. Let l = y - 43. Which is smaller: l or -4?
-4
Let o = 351 + -153. Suppose o - 58 = 5*t. Let v be (-62)/93*261/(-6). Is t != v?
True
Suppose -255*g - 6972 = -513*g + 270*g. Do -581 and g have different values?
False
Let r be (7 - 2) + (54 - 55). Let i be (-10 - 2)*20/(-78). Which is smaller: r or i?
i
Let y be (-1 + -248)*18/(-54). Let d = y - 61. Which is smaller: 21 or d?
21
Let c be 1/(8/(-24)) - 160. Let j = 151 + c. Which is smaller: j or -15?
-15
Let l = -1 - -1. Suppose 0 = -2*r - 4*y - 18, 5*y + 27 = -l*r + 2*r. Let i = 52/77 - 9/11. Is r bigger than i?
True
Suppose 109*z = 234447 - 16665. Are 1998 and z equal?
True
Let o = 0.3123 - 33.4043. Let v = 0.092 + o. Let f = v + 30. Which is greater: 2/11 or f?
2/11
Let r = -222 - -221.9988. Let i = -0.4988 + r. Which is smaller: -1 or i?
-1
Let b(u) = 3*u + 9. Suppose w - 20 = 3*l, -30 = l + 4*l - w. Let a be b(l). Suppose -2*c - c + 2*h - 31 = 0, 4*c + 38 = h. Which is greater: a or c?
a
Let q be 111/(-74)*(4 + (-50)/15). Is -15/97 less than q?
False
Let z = -156.9531 + 0.9531. Is 3 bigger than z?
True
Let l(a) = a**2 + 15*a + 18. Let b(v) = -2*v**2 - 31*v - 35. Let s(x) = 4*b(x) + 9*l(x). Let g be s(-14). Let p = -39 + g. Is p <= 25?
True
Let a = 27.4 - 26.561. Let b = a + 3.061. Is 2/5 at most b?
True
Let z(p) = -3*p - 22*p**3 + 1 + 47*p**3 + 0*p - 4*p**2 + 51*p**3. Let k be z(-1). Is k equal to -78?
False
Suppose 5*c - 14 - 101 = 3*p, 3*p = -3*c + 45. Suppose -c = 43*n - 41*n. Let l be (-8)/(-30) - ((-12)/n)/(-3). Is -1 smaller than l?
True
Let v(n) = n**3 - 6*n**2 - 17*n - 17. Let l be v(7). Which is smaller: 28 or l?
l
Let p be ((-6)/10)/((-12)/9). Let q be 1/(-4) - (306/(-120) - -3). Let c = p + q. Is -2.5 >= c?
False
Let x(n) = 3*n - 17. Let m be x(8). Suppose -3*t - 24 = 3*a, 2*t - 6 = 4*a + 20. Let v be a - 6824/(-952) - 2/m. Is v at most 1/2?
True
Let w(o) = -o + 7. Let q be w(7). Let y be -5 - (2 + 556/(-68)). Let a = y - 283/255. Which is smaller: a or q?
q
Let d(a) = -a**2 - 6*a + 17. Let g = -68 + 60. Let j be d(g). Let r be (1 + 2)/(j/(-1)) + -7. Is -9 >= r?
True
Let g be 7 + 342/(-48) + 3377/8. Suppose -2*o = 4*i - 712, -1484 = -3*o - 4*i - g. Is o bigger than 350?
False
Suppose -5*m - 37 - 73 = 0. Suppose 2*h - 40 = -2*h. Suppose -9*v + 21 = -h*v. Does v = m?
False
Let h = 1390 + -718. Which is smaller: 669 or h?
669
Let m = 2443/13 - 188. Let p = -8/67 + 66/1675. Which is smaller: p or m?
p
Let y(q) = 20*q**3 + 2*q**2 + 10*q + 6. Let a be y(-3). Do a and -547 have the same value?
False
Let m = 200/1439 + -3312827/94974. Let g = m + -25/33. Is -3 less than g?
False
Let o be (-3)/((-6)/10 - 1254/(-2365)). Suppose -b = -4*x - 78, -o = -b - x + 50. Is 90 > b?
False
Let u = 10246 + -10252. Which is smaller: -121/18 or u?
-121/18
Suppose -19*g + 21*g - 27994 = -4*d, 3*d - 5*g = 21028. Is 7000 less than or equal to d?
True
Let o = -4.13 + 200.13. Let k = -195.94 + o. Which is greater: k or -4?
k
Let g(y) = -51*y - 86. Let q be g(-2). Are 69/4 and q nonequal?
True
Let q = -0.311 + 1.981. Let b = 2.67 - q. Does b = -48?
False
Let h = -250 - -389. Let v = h + -136.6. Is v at most as big as 4?
True
Suppose -5*d + 15 = 0, -5*f + 3 - 2 = -3*d. Suppose 13*a + 39 = 8*a + 4*s, -f*a - 10 = 4*s. Is a greater than or equal to -84/13?
False
Let u(l) = 11*l**3 + 55*l**2 - 200*l - 5. Let k(g) = -7*g**3 - 37*g**2 + 134*g + 3. Let b(o) = -8*k(o) - 5*u(o). Let j be b(-24). Is j greater than -5/13?
True
Let q = -5320 - -5326. Which is bigger: 118/23 or q?
q
Let n(q) = 1522*q + 25. Let y be n(1). Which is greater: y or 1548?
1548
Suppose -3*s + p = 4*p + 132, 82 = -2*s - 4*p. Let o = s + 51. Let r = 5/116 - -599/232. Which is greater: r or o?
o
Let o = -0.01 + 0.51. Let b = -3.5495 + 0.0495. Do o and b have different values?
True
Let i(h) = h**3 - 7*h**2 + 8*h + 1. Let d be i(6). Suppose -d*b - 24 = -5*b. Let f be 88/66*1/b. Is 1/2 < f?
False
Let k be 3614*(-27)/(-2)*17/51. Is k bigger than 16263?
False
Let m be (1986/670 - 3)*(0 - -35) - -3. Which is smaller: m or 3?
m
Let c = 428 + -428. Which is smaller: c or -17/97?
-17/97
Let f = -1394 + 1277. Which is smaller: 1.6 or f?
f
Let s = -7 - -10. Let q(j) = -74*j - 1329. Let k be q(-18). Is k less than s?
False
Let m = 84 - 100. Let p be 27 + 0 + 2 + m/(-4). Which is greater: 29 or p?
p
Let o = 67 - 68.95. Let w = o - -2.15. Which is smaller: 2/67 or w?
2/67
Suppose -194 = -6*n + 1930. Suppose -y = 2*y - n. Let u = y - 828/7. Which is smaller: u or -17?
-17
Let k = -263726752/1727 - -152708. Which is greater: -1 or k?
k
Let o(s) = s**3 + 34*s**2 - 68*s - 702. Let b be o(-36). Which is smaller: b or -843?
b
Let j(z) = -23*z**3 - 2*z**2 + 33*z + 90. Let b be j(-3). Does b = 596?
False
Let i be ((-620)/3162*-119)/(-2 + (-131)/(-54)). Is -2/3 equal to i?
False
Let k = 0.69444 + 4.40556. Let h = 0.3 - 0.2. Let j = h - -0.9. Which is smaller: k or j?
j
Let h be 27*((-2 - 0) + 3). Let a = 15593/3 + -5170. Which is bigger: h or a?
a
Let k be 332/(2/(-2)) + -62 + 71. Are k and -323 non-equal?
False
Let b = -9 - -14.4. Let s = b - 10.11. Let h = s - 1.29. Which is bigger: 0 or h?
0
Suppose 880*l - 875*l - 160 = 0. Which is smaller: 336/11 or l?
336/11
Suppose -7971 = 37*n + 10973. Is -511 > n?
True
Let d = 148 + -140. Suppose -2*b - d - 30 = 0. Let x = 2 - 1. Which is bigger: b or x?
x
Let i(d) = d**2 - 16*d - 33. Let v be i(18). Let w = 11 - v. Suppose m = 3*n - w, 2*n + 17 - 44 = 5*m. Is m smaller than -2/7?
True
Let g be (-50)/250 + (-4 + 3)/5. Which is smaller: g or 3052?
g
Let u = 20 - 17.8. Let q = 8.8 + u. Let p = 1842 - 1844. Does p = q?
False
Let f(b) = -10*b - 76. Let u be f(-8). Suppose -4*l - u*l - 40 = 0. Let w be (1 + 1)*(-5