
False
Let u = 3.9585 + -3.873. Which is greater: u or 2/3?
2/3
Suppose -11*l = -4*l - 1078. Let h be ((-46)/(-6))/(l/(-66)). Is h smaller than -3?
True
Suppose 6*r - 3680 = 2*r. Let d be (5/r)/(2/52). Let o = -9/23 + d. Do -0.06 and o have different values?
True
Let s = 268 + -268.194. Let g = s - 0.806. Which is bigger: g or 81?
81
Let q be 46*3 + 4/(-2). Suppose -4*c - m - 327 = -886, -2*c + 2*m = -272. Suppose c*u = q*u. Is u < 2/13?
True
Let k = 4.03 - 2.16. Let l = k - 0.87. Which is bigger: -2/297 or l?
l
Let g = 3922 + -14916. Is -10994 less than g?
False
Let l = 478/21 + -4097/168. Is -3 equal to l?
False
Suppose -579*q - 29106 = -612*q. Is q at least as big as 882?
True
Suppose 3*t - 19 = -7*s + 5*s, 4*t + 2*s - 28 = 0. Let w be (-3)/t*(85 - 0 - -2). Is w equal to 7?
False
Let x = -1.5813 - -660.5813. Which is smaller: x or 2/3?
2/3
Let f = -2927 - -2927. Do f and 10/63 have the same value?
False
Let w be (1/(-2))/(46/(-16)). Let j be (-9509)/(-629) + 2/(-17). Suppose 5*d = -2*l - j, -8*l + 2*d = -10*l - 6. Which is smaller: l or w?
l
Let z = 73 - 375. Let g = 2415/8 + z. Is 0 at least as big as g?
True
Let j be (1 + 25)*(-6)/4 - -1. Let f = j - -38. Let m = 2.519 - 0.119. Do m and f have the same value?
False
Let j = 4 - -2. Let r(s) = -6 + 60*s**2 + 7*s - 61*s**2 + 1. Let n be r(4). Are j and n nonequal?
True
Let u = 6815 + -8209. Is u smaller than -1394?
False
Suppose -173*a + 233 = -174*a - 4*v, 0 = a - 2*v + 275. Which is greater: -294 or a?
a
Let l be (0*26/(-572))/(-1 + -2). Which is greater: -394 or l?
l
Suppose 2*j + 0*x + x - 47 = 0, 6 = -2*x. Let c = j + -83. Let o = c + 58. Which is smaller: 1/5 or o?
o
Suppose 8*b = 76 - 38 - 38. Is b less than 10/107?
True
Let w = 160.3 - 179.3. Let b(h) = -h - 18. Let g be b(-16). Which is bigger: w or g?
g
Suppose -4044 = -17*t + 5510. Is t <= 563?
True
Let y = 2512 + -2516. Which is smaller: 4 or y?
y
Let j be 78/65 + 642/15. Let y be -2*(6 - 4)*-11. Is j at most as big as y?
True
Let t(w) = -29*w - 109. Let x be t(-4). Let h be x - 6/(-558)*-471. Is 3 at most h?
False
Let f(s) = -90*s + 389. Let t be f(5). Let b be -3 + -63 + 0/1. Let h = t - b. Is h != 6?
True
Suppose 3*q - 2*z = 8*q - 632, -12 = 3*z. Let o = 129 - q. Which is greater: o or -47/5?
o
Let g be 13 - 18 - (1*-3 - 0). Let n = 229 + -193. Let i be (-4)/3*n/(-8) - 3. Is g not equal to i?
True
Let x = 57 - 55. Let t be (-7 - 808/(-120))/((-2)/(-3)). Which is bigger: t or x?
x
Let b = 209 + -168. Let r = -0.091 + 44.091. Let k = b - r. Is 11 equal to k?
False
Let i = 4434/5 + -106241/120. Let t = -17/8 + i. Is -1 greater than or equal to t?
False
Suppose 172 = 5*j + 13*j + 172. Does 4614 = j?
False
Suppose g + 6 = -0. Suppose -t + 621 = -10*t. Let n = t + 62. Is g bigger than n?
True
Suppose 2*r - 70 = 5*b, -b - 42 = 2*b - 2*r. Let t(m) = 8*m + 57. Let u(j) = j. Let d(q) = t(q) - 4*u(q). Let h be d(b). Which is greater: -0.037 or h?
h
Let u = -5.97 + 6. Let c = 1830.47 - 1831. Let q = u + c. Is 6 less than q?
False
Suppose 5*f - 526 - 94 = 5*u, 121 = -u + 2*f. Let v = u - -1649/13. Which is greater: 0.084 or v?
0.084
Suppose -4*g = 13*g - 816. Suppose -g*u + 55*u = 0. Is -112 > u?
False
Let z = -604 - -551. Let b be (z/(-159))/((-1)/(-645)). Are 215 and b nonequal?
False
Let p = -7277/6 - -2523/2. Suppose 0*q + 5*q - l - 240 = 0, -157 = -3*q - 2*l. Which is greater: q or p?
q
Let k be 0 + (1/7)/(66/462). Which is greater: k or 5/901?
k
Let i = 39 - 61. Let l = 83 + -101. Let a = l - i. Is 5 > a?
True
Let q = 78595/39 - 2015. Let k be 28/(-56)*((-2 - -4) + -2). Which is smaller: q or k?
k
Let k be 8/(-6) + ((-76)/(-12) - 3). Suppose -131 = 5*g + 4*z, 2*z + 14 = k*g + 70. Is g >= -25?
False
Let d = 140 + -246. Let t = d - -106. Is t < 0.35?
True
Let i = -46.54 + -100.16. Let o = -3.13 - -142.13. Let z = i + o. Is z at most -1?
True
Let d be (-492)/(-100) + 2/25. Suppose -d*n = -4*v + 1349, -v - 2*n - 1699 = -6*v. Which is smaller: v or 340?
340
Let c(h) = h**3 - 10*h**2 - 2*h + 5. Let d be c(10). Let j(w) = w**2 + 16*w - 6. Let r be j(d). Let o = r + 27. Is o > 0?
True
Let t = 341 + -5117/15. Let q = t - -1/20. Is q bigger than -17?
True
Let x = 12584 - 151009/12. Is 10 at least as big as x?
True
Let c = -54 - 101. Let r = c + 155.24. Is r at least 0.3?
False
Let m = -1052 - -1533. Let k = -8112/17 + m. Which is smaller: 3 or k?
3
Let o be -2*(-208847)/744*16/4. Which is bigger: o or 2245?
o
Let p be (73*6)/3 - (-5 - -5). Suppose 19*l - p = 6. Suppose -4 = -t + 6. Are l and t nonequal?
True
Let f be ((-12)/(-10))/(-3)*315/96. Let z = f - -1061/784. Which is greater: z or -2/5?
z
Suppose p + 4 = 5. Suppose -m + 127 = -4*f - 0*f, f = 2*m - 261. Let g be 2 + m/(-66) + 0/(-2). Is g less than or equal to p?
True
Let c be 6/(-21) + 10/(-112). Suppose 0 = -30*g + 44*g - 56. Let d(z) = -2*z**2 + 13*z - 20. Let r be d(g). Is c less than r?
True
Suppose 23*m + 498 + 514 = 989. Let x be (-3 - -2)*3/1. Let c be (-3)/(0 - x/2). Which is greater: c or m?
m
Let y be 5302/171 - (176/(-418))/4. Is 32 at least as big as y?
True
Suppose -2*z - 60096 = 4*u + 18718, z + 59111 = -3*u. Let y be (6/u)/((-5)/(-20)). Is 1 equal to y?
False
Suppose 2*f + 61 = w, -17*w + 19*w = -6. Which is smaller: 17 or f?
f
Let a be (-4551)/984 + 6/(-16). Which is bigger: -1677 or a?
a
Let b be (-251937)/235445 + (-6)/(-7). Is 1 > b?
True
Let x = 2676 + -2559. Let h be ((-2)/12)/((-3)/9). Which is bigger: x or h?
x
Let d = -2434237/237 - -10271. Which is smaller: d or 0?
d
Let m be (10 - (3 - 1))/(6/(-346)*-18). Is m >= 25?
True
Let x = -1.833 - 0.067. Let z = x - -0.9. Which is greater: z or -5/12?
-5/12
Let z = 0.13532 - 0.03532. Which is bigger: -3.995 or z?
z
Let s = 10515 - 11968. Which is bigger: -1454 or s?
s
Let g(i) = 4*i**2 - 5*i - 15. Let w be g(9). Suppose -3*c = -2*a - 8*c + w, -c = 5*a - 614. Is 123 != a?
True
Suppose -3*p - 6*a + 14 = -10*a, -3*p - 2*a = -2. Suppose -16 = -3*m - 7. Suppose -2*q = -8, m + 1 = -l + p*q. Which is greater: l or 7?
7
Let u(y) be the first derivative of -3*y**4/4 - 14*y**3/3 + y**2 - 11*y - 16. Let o be u(-5). Suppose 0 = -4*v + 5*w - 11, -15 = -o*w - w. Are v and 4 equal?
False
Let c(z) = 2*z**2 - 2*z - 1. Suppose 4 = -2*a + x + 12, 3*a + 2*x - 26 = 0. Let s be c(a). Is -2 >= s?
False
Let x be (-1 - (-4 - 15/(-6)))*24. Let t be 6 + -3 + (2 - x/3). Which is bigger: t or 1/99?
t
Let a = -120/187 - -165106/257873. Which is greater: 1 or a?
1
Suppose -14*w + 38877 = 9*w - 6088. Is 1957 greater than or equal to w?
True
Let w = 1614 + -1617. Which is greater: w or 1/66?
1/66
Suppose -22153*l = -22135*l - 126. Suppose -3*q + 3*t + 3 = 6, -9 = 4*q - 5*t. Let o be q/10 - (-54)/15. Which is smaller: o or l?
o
Suppose -77 = 22*j - 11. Is j equal to -27/17?
False
Let g be (8/(1600/(-12)))/((-15)/20). Let o = -461/126 + 45/14. Which is bigger: g or o?
g
Let x = 193 + -189. Suppose -b + 8*b = x*b. Is b > -6/19?
True
Suppose l - 5 = -4*l. Let y = 1852.5 - 1963.5. Which is greater: l or y?
l
Let b = -215582 + 215585. Let g = -163/8 - -911/40. Which is greater: g or b?
b
Suppose -5*l = 57 + 103. Suppose 2376 = 76*v + 780. Let c = l + v. Is -11 <= c?
True
Let i(r) = -r**3 + 11*r**2 + 5*r + 85. Let z be i(12). Let b be -52*12/2016 - z/(-6). Is 1 bigger than b?
True
Let h(k) = -13*k + 118. Let u be h(8). Suppose u*f = 35*f + 21. Is 2/239 at least as big as f?
True
Let p = 54 - 40. Let x be 61/7 + 4/p. Is x < 16?
True
Let f(s) = -11*s + 134. Let d be f(6). Let i be 9/d - (-150)/1275. Is i bigger than -42?
True
Suppose -3 = 92*b - 91*b. Let z(c) = 2*c**2 + 6*c - 2. Let j be z(b). Is j less than or equal to -25/11?
False
Let m be 2370/(-24) - ((-5)/4)/(-5). Let y = 0.176 - 0.076. Is y at most as big as m?
False
Let m = 149.01 - 150. Let t = -1455 - -1447.41. Let u = m - t. Which is smaller: u or 0.1?
0.1
Let j be (-2 - (-1 - -2)) + 1650/5. Let t = j - 327. Is t less than or equal to 2/779?
True
Let a be ((-4)/10)/(2/(-20)). Suppose 3*s + d - a*d + 6 = 0, 10 = s + 5*d. Let k = -1619/34125 + -2/11375. Do k and s have the same value?
False
Suppose -3*a = 4*g - 70, -2*g + 5*g + 63 = 3*a. Let x(l) = l**3 + 93*l**2 - 204*l - 1322. Let s be x(-95). Is a != s?
True
Let h be (3 - 3)/(1*(0 + 2)). Suppose -2*b = -192 - 144. Let q be 6/21 - ((-393)/b - 