et r be 1*1/2*36. Is v greater than or equal to r?
False
Suppose -4*k - 553 = 707. Let d = k + 201. Is -114 less than or equal to d?
True
Let v(f) = f**2 - f + 5. Let q(u) = u**2 + 6. Let x(t) = -2*q(t) + 3*v(t). Let j be x(3). Suppose -15 = 5*g, y - 9*g + 6*g - 6 = 0. Which is smaller: y or j?
y
Let m(c) = 2*c**2 - 3*c + 2. Let d be m(5). Suppose -d = 4*r + 23. Let x = r - -13. Which is smaller: -5/3 or x?
x
Let f = 0.49 + -1.49. Let n = 108.8 + -111. Is f less than n?
False
Suppose -4*l + 3 - 3 = 0. Suppose l = -3*o + 18 + 12. Let k = o - -45. Which is smaller: k or 54?
54
Let k = -3524.93 + 3543. Let p = k + -0.07. Let c = p - 18. Is c smaller than 2?
True
Let i = -121266/17 - -7137. Are 3/4 and i non-equal?
True
Let p be (-2)/4*2*-17. Suppose -4*y = 145 - p. Let x be y/10 + 8/(-10). Is x < -5?
False
Let r = -0.294979 + 0.094979. Let z = 0.07 - -15.73. Which is smaller: z or r?
r
Let o(b) = 16*b - 53*b**2 - 10 - 5*b + 54*b**2. Let k be o(-12). Suppose -k*l = 3*l + 70. Are -12 and l non-equal?
True
Let i = 108 + -97.1. Let b = 3.9 - i. Which is smaller: b or -0.2?
b
Let v = -844 - -159. Let p = v + 682. Is p < 0.028?
True
Let o be (-8)/12*3/5. Let m = 156.68 - 157. Let d = -0.08 + m. Is d != o?
False
Let b(q) = -2*q + 18. Let t be b(7). Suppose 0*o = -o + t. Let k be o/(-24)*-4*3/(-36). Is k greater than 0?
False
Suppose 5*q - 303*l + 301*l = 31658, -5*l + 12640 = 2*q. Do 6329 and q have different values?
True
Let g be (-2)/4 - (27/(-9))/6. Suppose -6*h + g*h = h. Is -3/101 greater than h?
False
Let z be (-2959)/1345 + (-40146)/20. Is z at most -2010?
False
Let c = 102 - 57. Let m = c - 42. Suppose 2*q - 5*q = -21. Do m and q have the same value?
False
Let j be (382/(-4584))/(10870/16). Is j at least 0?
False
Let y = -152 - -141. Let w = -12/7 - y. Which is greater: w or 10?
10
Let f be -30*(-3)/27*48/10. Let o be 552/15*40/f. Let y = o + -93. Is y >= -4/27?
False
Let r = -81 + 78. Let p = 0.027 - 82.227. Let v = 82 + p. Which is bigger: v or r?
v
Let o = -1026 - -1103. Suppose 0 = -2*j + 5*g - 11, -4*j - 2*g - 16 = -6. Which is smaller: o or j?
j
Let a = -8 - -41. Suppose -23*r - 310 = -1092. Is a != r?
True
Suppose 0 = 3*x + 3 - 0. Let p = 50.286 + -0.286. Is p less than or equal to x?
False
Let h be ((-9)/5)/(567/(-1350)) + -4. Is -0.01611 <= h?
True
Let b be ((-9)/((-261)/(-17806)))/(-1 - (0 - -1)). Which is greater: b or 322?
322
Let x be (4/(-8) - -1)*76. Let q be (31 + -27 - (1 + 6)) + 42. Which is smaller: q or x?
x
Let d = 699616 + -699617. Let q be ((-117)/(-3))/((-3)/(-2)). Let n be 1/(-3)*24/q. Is d at least n?
False
Suppose 0 = -12*n + 1753 + 2488 + 14599. Which is bigger: n or 1568?
n
Let x = 1513.9 - 1315. Let g = x + -199. Is g >= -2/161?
False
Let g(n) = n**2 - 101*n + 946. Let t be g(91). Which is smaller: 56 or t?
t
Suppose 18*z + 3 + 1 = 14*z. Are z and -860 unequal?
True
Let g = 131 + -175. Let x = -1.39 + -57.61. Let q = x - g. Are q and -2/3 non-equal?
True
Let v(t) = 11*t + 7. Let u be v(-5). Let q(p) = 930*p - 9348. Let i be q(10). Is i less than u?
False
Let l be (-15 + 1449/92)*8/(-6). Let h = -2/139 + -1364/1807. Is h > l?
True
Let r(b) = b**3 - 2*b**2 - 15*b + 27. Let o be r(5). Suppose 0 = -4*d + 8*d - 148. Suppose 0 = 4*k - 145 + d. Is k < o?
False
Let g = 7.7046 + -0.0846. Let y = 7.52 - g. Which is bigger: 0.322 or y?
0.322
Suppose -21*j - 30 = -219. Let v be 3/(-12) + 104/(-96). Is v less than or equal to j?
True
Let r be 40/36 - 68000/(-765). Suppose -182 = -3*k + k. Is k >= r?
True
Let u(l) = -l - 2. Let w be u(-2). Suppose -2*d + 320 = -d + 2*q, -5*q - 604 = -2*d. Let c be (-21)/(-56) + 267/d. Which is smaller: w or c?
w
Let t(c) = 8*c**2 + 203*c + 1578. Let z be t(-16). Suppose 0*o = o - 378. Is z < o?
False
Suppose 5*q - 1196 - 1294 = 0. Let v = -4480/9 + q. Which is greater: v or 0.143?
v
Let z be (3/(-10))/(1/2). Let b = 0.27 + -0.307. Let s = 0.163 - b. Is z at least as big as s?
False
Let o be 2 - 3/(21/23). Let f(u) = -u**3 + 12*u**2 - 10*u - 8. Let h be f(11). Suppose 3*i + r + h + 1 = 0, r - 3 = 4*i. Is i greater than or equal to o?
True
Suppose 0*y - 2*y = 4*s - 10, 3*s - 2*y = 4. Suppose -9 = -5*a - s*n, 3*a + 1 = 2*a + n. Is a equal to -14/47?
False
Suppose 77 + 13888 = 97*x - 2622. Is 174 at most as big as x?
False
Let t(z) = -2*z**3 - 2*z**2 - 4*z - 1. Let s be t(-2). Let v be ((-41)/(-8))/((-6)/(-12)) - -5. Is v less than s?
False
Let i be ((-43)/387)/((-1)/(-1191)). Let v = i + 4355/33. Is -1 < v?
True
Let y = 395 + -396. Is y < -2/43?
True
Let m be ((-18)/45)/((324/(-16410))/9). Let v = 75818672/57 - 1330335. Let d = m + v. Which is greater: d or -1?
d
Let b be (36/30)/(3/(-15)) + -1. Let x be b - ((-312)/32 + 3). Let y be 3 + -2 + 0 + -30. Which is greater: x or y?
x
Let k(p) = -p**3 - 24*p**2 - 24*p - 148. Let u be k(-23). Let r = u - -126. Is 32/23 < r?
False
Let w be 441/(-294) + 322/4. Is w != 39?
True
Suppose -3*r + 5*o = -20, -4*r = -8*r - 2*o - 8. Suppose 25 = -5*s - z + 182, -87 = -3*s + 3*z. Let y(b) = b - 54. Let n be y(s). Is n bigger than r?
False
Let f = 0.8 - 1.4. Let c = f + 0.7. Let o be (-4)/8*1350/15. Is c < o?
False
Let c be 8/(-3*2/(-3)). Suppose 5*s - 50 = 2*j, 3*j = -2*s + c*s - 20. Suppose 9*o = s*o. Is -6/5 at least o?
False
Suppose -3*m = 28983390 - 152071347. Let a = 2379809887/58 - m. Let w = a + -1886. Which is bigger: w or -1?
w
Suppose -72*b + 42*b = -37*b + 7. Which is smaller: b or 3/25?
3/25
Suppose -f + 8*y = 10*y - 63, 4*f = 4*y + 240. Which is greater: 63 or f?
63
Let z = -287 - -533. Let c = z - 247. Which is bigger: c or -27?
c
Suppose -3 = a - 2. Suppose 2*y = 3*b + 2, 8*y - 6 = 11*y. Let r be 9 - (-1 + (-60)/b). Do a and r have the same value?
False
Let d = 68 - 66. Suppose 2*q = 5*g + 64, -4*q + 0*g - d*g + 176 = 0. Let i be (-63)/q - (-2)/((-8)/130). Are -34 and i equal?
True
Let q = -2/605 - -6661/1815. Let l = q - 7/3. Suppose -y - 8 = c, -5*y - 8 = -35*c + 32*c. Is y equal to l?
False
Suppose 0 = -3*c + 7*c + 480. Let l = -12 + 190. Let i = l + c. Which is smaller: 57 or i?
57
Suppose 0 = -3*k - 6*m + 2*m - 23, 0 = -5*k + 4*m + 15. Let f = -118/9 + 772/63. Which is smaller: k or f?
k
Let l be (-1804)/968 + 8/22 - (-2134)/(-108). Is -22 <= l?
True
Let l = -0.026 - -22.026. Let u = -5976 + 5485.2. Let q = -491 - u. Which is bigger: l or q?
l
Let x be 1/4*18 - 2/4. Let v(f) = -f**2 + 7*f - 10. Let p be v(x). Suppose -p*c - 3*c = -5. Is -6/41 at most as big as c?
True
Let d(o) = -126*o + 268. Let q be d(3). Let m be 3/(-4 + q/(-30)). Are m and -46 unequal?
True
Let o be 3/(17 - -4) + (-26676)/630. Which is greater: -42 or o?
-42
Let q(u) = -2*u**3 + 38*u**2 - 27*u - 19. Let a be q(18). Is a equal to 136?
False
Let m(v) be the second derivative of v**4/12 + 11*v**3/2 + 5*v**2/2 + 153*v. Let q be m(-33). Which is smaller: q or 0.36?
0.36
Suppose -z - 53*q + 66 = -56*q, -z + 5*q = -56. Is z equal to 73?
False
Let x be (-36)/(-60)*(-10)/(-6). Which is greater: x or 1/1259?
x
Let c be (368 + (-3 - 0))*(-4)/(-20). Suppose c*x = 42*x + 3317. Does 105 = x?
False
Suppose 2*k - 11 = -7. Suppose -k*f - 16 = -32. Which is greater: f or 7?
f
Let r(m) = 33*m + 1375. Let n be r(-62). Which is greater: -669 or n?
-669
Let a = -3331 - -3277. Let t = -54.23 + -0.17. Let u = t - a. Which is bigger: -0.1 or u?
-0.1
Suppose -3*g - 3 = 0, 8*t - 4*t - 667 = -5*g. Is 169 at most t?
False
Let k = 41500/302031 + -46/333. Is k < 1?
True
Suppose 14*z + 48 = 6*z. Let c be (-6 - z)/(-9) + 0. Is c at most -9/67?
False
Suppose -2*r + 0*i + 2*i = 4, -4 = -r - 5*i. Let f = -2116/765 + 44/17. Is f bigger than r?
True
Let h(c) = 13*c - 18. Let j(l) = 54*l - 72. Let y(a) = -26*h(a) + 6*j(a). Let m be y(3). Which is greater: -2 or m?
-2
Let f = -18936 - -18935. Is 1/492 < f?
False
Let d = 22362/9305 + -6/1861. Is -0.089 less than d?
True
Let r(b) = b**2 - 5*b - 12. Let w be r(5). Let x be (-5)/((-20)/w) + 5. Suppose 3*a = 2*a - 2, x = k + 4*a. Which is bigger: k or 7?
k
Let m = -1917 - 1086. Is m at least as big as -3001?
False
Let q = 121715/477 + -4508/53. Is q at most as big as 171?
True
Let g(a) = -a**3 + 7*a**2 - a + 9. Let r be g(7). Let w be 14/(-3 - r/(-1)). Suppose 58*s = 105*s + 641 - 30. Which is smaller: s or w?
w
Let p = -8058 + 8122. Which is smaller: 58 or p?
58
Le