e 2*a + 32 + 32 = d, -d = 3*a - b. Suppose -3*v - d = 3*v. Is v at least -5?
False
Let y = -159.57 - -159.87. Let i be 1/(-1)*(1 - 6). Suppose -5*n = -v - 2*v - 17, 0 = v + i*n + 39. Is v less than or equal to y?
True
Suppose 19*g = -33*g + 116896. Do 2249 and g have the same value?
False
Let q = -2 + 1. Let x = -37096 - -37108. Which is smaller: q or x?
q
Suppose 0 = 24*c - 3*c - 126. Let a be (-184)/4 - -7 - c. Is a <= -185/4?
False
Suppose 437 = 6*q + 347. Suppose 16*b = 13*b + q, 1225 = 5*r + 5*b. Is r equal to 239?
False
Let n = -81 - -50. Let l = -327.6 - -327.2. Which is bigger: l or n?
l
Suppose -b = 2, 4*c - 444 = -c - 3*b. Let x = -88 + c. Let q be 16/24 + x/(-3). Which is greater: q or -4/35?
q
Suppose -13*x = 14*x - 28*x. Let t = 0.14 + 2.86. Let f = 14 - t. Are f and x unequal?
True
Let o = -0.4691 + 0.4627. Which is smaller: -2 or o?
-2
Let c = -477 - -352. Is c at least as big as -126?
True
Let j = 27.8 - 39.3. Let i = 12.5 + j. Are i and -9.9 equal?
False
Let m be 3/918*8*-3. Let p be 72/54*15/20. Is m bigger than p?
False
Let b = -24838 - -24808. Let j = 0.09 - 0.23. Does b = j?
False
Let b = 97 - 58. Let m = -36 + b. Let h be (m/12)/(-2 - 30/(-8)). Is h > 1?
False
Let h = 482 + -599. Let s = h - -115. Which is smaller: s or -7?
-7
Let f(b) be the second derivative of -7*b**4/12 - b**3/6 - 4*b**2 + 18*b. Let y be f(3). Is y < -74?
False
Let u = 49085/13 - 3781. Suppose 15*o = 14*o - 5. Which is greater: u or o?
o
Let c(s) = -36*s**3 + 5*s**2 + 3*s - 1. Let t be c(-1). Is 52 > t?
True
Suppose -16505 - 1082 - 12679 = -37*i. Which is greater: -12 or i?
i
Suppose 2655 = 2*g - k, 0 = 2*g + 6*k - 9*k - 2665. Which is smaller: g or 1324?
1324
Suppose 4*q + q - 5 = 0. Let d be (-5 - 1)*((-16)/2)/6288. Are d and q equal?
False
Suppose -18 - 114 = -88*l - 44. Is l equal to 2/5253?
False
Let l be (-6)/(-147724)*14*56/(-588). Is l smaller than -1?
False
Let p = 133713/8104 + 3/8104. Are p and 24/7 equal?
False
Let l = -1197604/7 + 170142. Which is smaller: -945 or l?
-945
Let f(z) = -z**2 + 8*z + 11. Let j be f(9). Suppose 4*p = 3*q + 10 + 4, 4*q = -5*p + j. Do q and -2 have the same value?
True
Let w = 767 - 721.1. Let n = 2.936 + -48.936. Let r = n + w. Which is smaller: r or 9?
r
Let y be 2*1/(-2) + -4. Let v be ((-12)/8 + 0)/((-1)/(-2)). Let a be (315/(-135))/((-1)/(v*1)). Which is greater: y or a?
y
Let v be (173 + 3)/(-16) - -10. Is v <= -49/171?
True
Suppose 2*z + 41 = 3*i, -z - 10 = 2*i + 7. Let k = -28 - z. Let y be ((-8)/456)/((-3)/k). Which is bigger: -1 or y?
y
Let z be (-7)/(-289)*(-2219)/1183. Let o = z + 8/289. Is o bigger than 1?
False
Let t be 89/(-9) + 57/(-513). Let j be (-2*4/t)/((-2)/50). Is j at least -20?
True
Let g = 89.9 + -90. Which is bigger: 0.05829 or g?
0.05829
Suppose -181*d + 5*x - 4912 = -179*d, -3*x = -6. Is d smaller than -2449?
True
Let c(o) = -2*o**2 + 16*o - 51. Let s be c(6). Let b = -0.04 - -0.08. Let v = b - -0.96. Which is smaller: s or v?
s
Suppose -2*s - p = 3, -3*p = 5*s - 5 + 15. Let g(x) = 55*x - 71. Let i be g(s). Let v = 26/45 + 4/45. Is i less than or equal to v?
True
Let l(p) = p**2 - 73*p + 402. Let j be l(6). Is j at most as big as -2/10491?
False
Let d(g) = g**3 + 37*g**2 + 44*g + 288. Let z be d(-36). Which is smaller: -395.3 or z?
-395.3
Let u = -10763 - -22870. Is u > 12107?
False
Let w = 182 - 171. Let a = 175 + -163. Is a at least w?
True
Let x be ((-33)/(-6))/((-132)/(-84)). Which is smaller: 225 or x?
x
Let s = -465 + 465. Suppose -3*d - 6 = -s, -3*i - d = 410. Is i at most as big as -136?
True
Suppose 4*s = 301*a - 304*a + 749, -2*s + 502 = 2*a. Which is bigger: 1017/4 or a?
a
Let y(d) = -15*d + 36. Let u be y(2). Suppose -5*m - 25 = 0, m - u*m - 505 = 2*n. Which is smaller: n or -239?
n
Let i be -1 + 0 - 318/(-316). Let a be ((-2)/(-6))/((-7)/(49/7)). Is a != i?
True
Suppose -u = 4*l + 157, 2*u + 404 - 105 = -3*l. Let c = -189 - u. Which is bigger: -45 or c?
c
Let u = -1575 - -2375. Which is smaller: 797 or u?
797
Let z be (224/168)/(1/(-357)) - 1. Which is smaller: z or -480?
-480
Let k be -2*(190323/38 - 15). Do -1/2 and k have the same value?
False
Let f be (-1*30)/(-6) + 3 + -4. Let y(n) = 24*n - 119. Let c be y(f). Let p be 1/((2*-1)/50). Is p not equal to c?
True
Let r = 69671 + -108338401/1555. Which is greater: r or 1?
1
Let h be (-2 - (-4)/2) + -2. Let b be -4 + 34/9 - (-16016)/(-15246). Is h at least b?
False
Suppose r - 62 + 63 = 0. Let g = -15 + -41. Is r less than or equal to g?
False
Let t = -119 - -63. Let k = -52.1 - t. Let o = k + -4.9. Is o not equal to 71?
True
Let o be (25/30)/(1035/276). Let t be (-7 + 4)*1/(-3). Is t at least o?
True
Let x be ((-2844)/(-45) + -8)/((-6)/90). Is x greater than -826?
False
Let q = 2843 + 897. Which is smaller: -1 or q?
-1
Let p = -558.5495 + 559. Let g = 0.0495 + p. Which is greater: -10 or g?
g
Let n = -0.047409 + 0.047409. Let v = 104.9 - 115. Is v smaller than n?
True
Let b = -358 + 330. Let k be ((-13)/26)/((-17)/b). Do 0 and k have different values?
True
Let x = -49 + 104. Let u = x + 48. Let k = u + -517/5. Which is greater: k or 5?
5
Suppose 5*v = -o - 16, -3*o + 10 - 1 = -4*v. Which is greater: o or 1/1006?
1/1006
Let r = -12253/2 + 6152. Is -6 != r?
True
Let l = 7 - 13. Let o = -1.38332 + 0.68332. Which is smaller: o or l?
l
Let x(y) = -153*y - 1003. Let w be x(-8). Which is smaller: w or 220?
220
Suppose 9*t + 9 = -0. Let m be 90/24*t/((-54)/(-16)). Let o be 5 + (4 + -11)*1. Which is smaller: m or o?
o
Let g be ((-126)/(-140) + 4/(-10))*(7660 - -8). Is g bigger than 3832?
True
Let k = 0.001 - 0.151. Let l = k - -0.03. Let w = 0.12 + l. Is 11 > w?
True
Let x be (-2)/(-9) - 114387/189. Let h = 604 + x. Which is smaller: h or 10/279?
h
Let r be ((-139)/16680)/(18/8). Which is bigger: 15 or r?
15
Suppose -4*z + 3 + 5 = 0. Let i be 0 + 6 - (0 - -3). Let t = -9 + i. Which is bigger: t or z?
z
Suppose 5*s - n + 5 = -0, -5*s = -4*n + 20. Let o = -49335/28 + 1762. Is s less than or equal to o?
True
Let b = -347 + 342. Let z = b - -11. Is -23 smaller than z?
True
Suppose 4*f - 2*b = -76, 0 = 5*f - 4*b + 65 + 24. Let n be (-33)/(-20)*f/(-28)*10. Is n greater than or equal to 11?
True
Let s be ((-5)/9)/((-10)/17120). Which is greater: 950 or s?
s
Let o = 58385/4 + -14329. Which is smaller: o or 268?
o
Let d = 3171323/53270 - 2084/35. Which is smaller: d or 0?
d
Let y be 9/(-81)*702/(-6). Let p be (-11)/10 + 12/8. Is y bigger than p?
True
Let h be 2334/(-18)*(1 - 4). Let c be 790/2 - (-1 - (-3 + -5)). Which is smaller: h or c?
c
Suppose 0 = 61*l - 51*l - 310. Suppose 0 = 2*f - 2*c + 32, 5*c = 3*f + 71 - l. Which is smaller: f or -17?
f
Let a be (-1 + 0)/((-2)/256). Let s be (-265697)/2072 + (-5)/(-40). Let p = s + a. Is p > -1?
True
Let m = -6887/4113 - -816/457. Suppose 5*v - s - 21 = 3*s, -s = 4*v. Is m less than v?
True
Suppose -d - d + 200 = 0. Let c be 4/d*15/(-6). Suppose 3*g - 5*g = j + 7, -5*g = -4*j - 15. Is g >= c?
False
Let h be ((-2)/(-775))/((-3872)/(-30008)). Let w(o) = -3*o + o + 4 + o. Let f be w(3). Is f bigger than h?
True
Let h(g) = 2*g**2 - 272*g + 8735. Let p be h(52). Let d be (-1 - -11)*40/(-475). Is p < d?
True
Let z(c) = -c**2 + 1. Let n be z(1). Let g = n - -5. Let x = 347 + -346. Do x and g have different values?
True
Let v(j) = 29*j**2 - j + 66. Let g be v(-8). Is 2 > g?
False
Let c(g) = 7*g**2 - 368*g + 2661. Let t be c(8). Let x(y) = 42*y - 2. Let v be x(4). Is v bigger than t?
True
Let x = -1234/376845 - -1/679. Does x = -1?
False
Let l = -13656 - -13658. Which is smaller: -1335 or l?
-1335
Suppose 4*d = 108 - 24. Let p(b) = -5*b + 104. Let i be p(d). Is -4/11 less than i?
False
Suppose 0*c = -o + c, 4*o = 3*c. Suppose -9*k + 6*k + 18 = o. Let f be (((-8)/k)/2)/(2/(-3)). Which is greater: f or 2/5?
f
Suppose -17*t - 3*p + 49 = -16*t, -75 = 5*t - 17*p. Suppose 4*l - 11 - 69 = 0. Which is smaller: l or t?
t
Let o be (4/(-10))/(9/(-15)). Let f be 426/(-990)*-5 + 2/11. Which is smaller: f or o?
o
Suppose -n = 2*v - 257, 3*v + n - 514 = -127. Is 1547/12 greater than v?
False
Let h(k) = -k**3 - 95*k**2 + 299*k + 3. Let a be h(3). Is a not equal to 397/23?
True
Let g be (-2)/1 - 1*-2. Let z = 11469 - 11197. Which is greater: g or z?
z
Suppose 31*j = 30*j - 3. Let v be (-10404)/3451 - (j + 0). Which 