+ 18 = 2*h - 7*y, 5*h - 2*y = 12. Does h = 1/11138?
False
Let j be -58 + 11 - 11*-1. Suppose 15 = -3*s, 4*h + 2*s - 3*s = -231. Let n = j + h. Is n > -96?
True
Suppose 0 = -25*r + 23*r + 62. Suppose -r*k = -33*k - 152. Let h = -234 - -158. Are h and k equal?
True
Let d be (-24364)/10 - (-1348)/3370. Are -2438 and d non-equal?
True
Let b = 537/5 - 2213/20. Is 26 not equal to b?
True
Let j be (-5)/(-28092)*((-404)/505)/((-1)/(-5)). Is j < -1?
False
Let i(b) = 83*b - 58. Let k(q) = -28*q + 19. Let w(v) = 4*i(v) + 11*k(v). Let a be w(4). Which is greater: 75 or a?
75
Let u = 128 - 127.598. Let c = 0.032 - u. Which is greater: c or -2?
c
Let r = 4 + -4. Suppose -14*d + 15*d - 6 = r. Suppose y = -2 + d. Which is smaller: y or 21/4?
y
Let n = -8 - -11. Let s = 2.9 - n. Let q = -3319 + 3313. Which is smaller: s or q?
q
Let z be -2 - -3 - 352/(-56). Suppose -2*g + 8 = 4*i, 2*g + 3*i = 4*i + 13. Do g and z have different values?
True
Let x = 125.138 - 0.138. Let n = x - 208. Which is bigger: 1 or n?
1
Let w = -821 + 853. Let t(q) = -q**3 + 33*q**2 - 32*q - 1. Let o be t(w). Let g(s) = -s**3 + 4*s**2 - 4*s + 1. Let n be g(3). Is n less than o?
True
Let j(n) = -20*n + 1576. Let y be j(60). Let g be ((-3760)/(-30))/((-1)/(-3)). Is g bigger than y?
False
Let d = 1.75 + -2. Let a = -0.269 - d. Let z = -58198/5 - -11640. Is z not equal to a?
True
Let t(s) = -s - 4 - s - 6*s. Let u be t(-3). Let z(n) = 3152*n + 21. Let h be z(0). Which is smaller: h or u?
u
Suppose -2*t = 3*n - 6, t + 2*t + 21 = 3*n. Suppose -n*a + 0*a - 4 = 3*d, 3*a + 3 = -2*d. Suppose -158 = -5*q - x - d*x, -8 = 4*x. Which is smaller: q or 33?
q
Let j = 2353 - 2352.98. Is 197 at least j?
True
Suppose -3*v + 268 = -4*v. Let p = 265 + v. Which is greater: p or -19/7?
-19/7
Suppose -3*w = -3*n - 21834, -4*n + 43*w - 45*w = 29142. Which is greater: n or 0.1?
0.1
Let y = 8313/475 + -312/19. Suppose 0 = 5*v + 50, -4*o + v + 0*v = -117 + 107. Is y bigger than o?
True
Suppose -5*o = -3*c + 217, 0 = o - 9*c + 7*c + 42. Let l be 0/3 + (-160)/(-4). Let f = o + l. Which is bigger: -60/11 or f?
f
Let c = -374 - -195. Let v = 103 + c. Let n be 1 - (40/(-6))/(v/12). Is 0 smaller than n?
False
Let y be (204/(-20) - -9)*-3*(-10)/(-327). Let n(w) = -w**2 - 7*w + 1. Let d be n(-7). Which is bigger: d or y?
d
Suppose 320*x = 391*x + 2698. Which is smaller: x or -0.015?
x
Suppose 220 = -34971*l + 34949*l. Which is smaller: l or 538?
l
Let j(l) = l**3 + 2*l**2 + 33*l + 33. Let k be j(-1). Which is bigger: 14/249 or k?
k
Suppose -k + 345 = -379. Let x = 14336 + -13611. Is k > x?
False
Suppose -119 = -60*g + 67*g. Let r(a) = a**2 + 11*a - 7. Let l be r(-7). Let m = l - -19. Which is smaller: g or m?
g
Let p be (-2)/(-35) - (-371)/(-2205). Let s be (2/4)/((-5)/160). Which is smaller: p or s?
s
Let f = 12 + 8. Suppose -28 = q + 89. Let d be q/(-26) - (-4)/(-1). Is d less than or equal to f?
True
Let f = 7.331 + -8.331. Which is smaller: f or 576?
f
Let g be (2/(-4))/(-2 - 21255/(-10634)). Let r = g - 359. Do r and -1 have the same value?
False
Let d(k) = 19*k + 101. Let a(u) = -28*u - 146. Let c(n) = 5*a(n) + 7*d(n). Let q = -1 - 1. Let o be c(q). Is o at most as big as -6?
True
Let b = -0.227 + -94.773. Let y = b - -93. Let v = 0.11 + -0.41. Do v and y have the same value?
False
Let z = 612 + -606. Let u be ((z + 4)/(-5))/(4/47). Is -24 > u?
False
Suppose -31*g + 13*g + 36 = 0. Let a be ((-32)/(-12) - 4) + g + -2. Is -1 at most as big as a?
False
Let m = -149 + 182. Let y = m - 581/18. Is y > 2?
False
Let m = -25/11 + 1519/649. Let n = 725 + -719. Suppose 4*l = p + n*l - 5, 2*p - 4*l = -6. Which is smaller: m or p?
m
Let o be (-185)/1665*0/(4 + -2). Are 43 and o non-equal?
True
Suppose 228 = 12*b + 216. Which is smaller: -3/88 or b?
-3/88
Let x = 12 + -9. Let i = -125 - -119. Let j be 3*(36/(-11))/i. Which is smaller: x or j?
j
Let n = -1.9 + 2.1. Let r = -4.153 + 0.153. Which is smaller: n or r?
r
Let o = 48.2633 - -0.0367. Let n = 48 - o. Which is smaller: 8 or n?
n
Let b = 123132/7 + -17590. Does -1.2 = b?
False
Let p = 280/141 + 15250/1551. Which is bigger: 2/7 or p?
p
Suppose -1059 = 4*u - u. Let a(z) = 7*z**3 + 9*z**2 - 95*z - 430. Let k be a(-4). Which is bigger: u or k?
u
Let r be (-6)/((15/(-20))/(-1)) - -2276. Is 9069/4 equal to r?
False
Let p(y) = -3*y - 8. Let x = -10 + 6. Let q be p(x). Let w = 1213 + -1212. Which is bigger: q or w?
q
Let w be (-2)/(-4)*1*0. Suppose -f + 0*f - 6 = w. Let d = f + 7. Which is greater: -3/8 or d?
d
Let b be (4/3)/(81520/(-5100) - -16). Which is bigger: b or 70?
b
Let i(g) = -7*g + 110. Let q be i(15). Suppose 5*t = 2*y - 542, 2*y = -q*t - 778 + 220. Which is smaller: -108 or t?
t
Let l(b) = -b**3 + 2*b**2 - 26*b + 213. Let s be l(8). Are s and -379 unequal?
False
Let i be 44/(-20) + (-839952)/(-360). Which is bigger: 2329 or i?
i
Let v be ((-126)/4)/(1 - (-100)/(-112)). Let d = v + 317. Is -10 <= d?
True
Let x(a) = a**2 + 7*a + 5. Let w be x(-6). Let b = 152533/4 + -6173993/164. Let t = b - 487. Is w >= t?
False
Let g = -6083 - -6082.8. Is g <= -243?
False
Let w(x) = -x**2 - 13*x + 6. Let s be w(-13). Let m(g) = g**2 - 2*g - 23. Let p be m(s). Suppose p = -t + 5. Is t > 6?
False
Suppose 1104*m + 1599 = 1103*m. Which is smaller: -1597 or m?
m
Let w be (-44)/33*(-1 + -2). Suppose 8*n - 3*f = 4*n - 28, 4*f = w*n + 28. Which is bigger: n or -31/4?
n
Suppose 2*w + 5*m = -3*w - 10, -5*w + 4*m = -35. Suppose 0*y - 378 = -7*y. Suppose 0 = -8*a + 30 - y. Is a > w?
False
Suppose 4*f - 8*p = -5*p + 5, 2*p = -4*f - 10. Do -4/889 and f have the same value?
False
Suppose -w - 5*g - 9541 = 0, -2*w + 18*g - 13*g - 19022 = 0. Is -9520 at most w?
False
Let w = 41.157 - 41.8. Let h = -0.057 + w. Let v = h + 0.8. Which is greater: 2/7 or v?
2/7
Let p = 4841/5 + -937. Suppose -4*l + 3*u - 20 = -134, -2*u = 2*l - 64. Which is greater: p or l?
p
Let m be -2103*(3 - 8)/5*(1 - 2). Which is smaller: -2102 or m?
m
Let w = 8956 - 8924. Which is smaller: w or 33?
w
Let t be 1/(-4) - (-18)/8. Suppose -2*x - t*x = -20. Suppose 10*l + 85 = x*l. Is l bigger than -15?
False
Let m(g) = g**3 - 27*g**2 - 78*g + 3. Let x be m(-6). Is x less than -725?
False
Let a = -65 + 84. Let c = a + -80. Which is smaller: -62 or c?
-62
Let h = 112 + -100.4. Let v = h + -11.3. Let q = -2 + -2. Do v and q have the same value?
False
Let z(r) = 9*r - 113. Let n be z(14). Suppose -5*p + 16 - 48 = -4*k, 4*p + n = -k. Which is bigger: 50/17 or k?
k
Let a be ((-630)/120)/((-10)/88). Which is greater: a or 2/7?
a
Suppose a - 3*r = 2*r + 28, 0 = -5*a - 5*r + 50. Suppose 0 = 5*v + 2*i - 18, 2*v + 5*i = -10 + a. Suppose 0 = -5*o - 0*o + 20. Is o at most as big as v?
True
Let i = 109 - 112. Let p be (-178)/(-3) + (i - (-55)/15). Is 59 greater than p?
False
Let c(z) = -84*z + 23176. Let j be c(276). Let l(i) = -i**3 - 5*i**2. Let o be l(-5). Suppose 2 = -w, 3*k = -o*k + w - 25. Which is smaller: k or j?
k
Let b be ((-48)/18*30/20)/(3/2538). Which is smaller: b or -3385?
-3385
Let j = -8442 - -8576. Which is bigger: -5 or j?
j
Let n be 6 - (-1707 + -4)/(0 + -1) - -4. Is n less than or equal to -10205/6?
True
Let g = 18432 - 18653179/1012. Is g equal to 1?
False
Let v = 69911 + -69910.9. Let i be (8/150)/(2/20). Which is bigger: i or v?
i
Suppose 3*t = -9*b - 21, -t + 3 = 2*t - 3*b. Which is greater: 24 or t?
24
Let f be 1221/2035 + 377/5. Is 0.3 smaller than f?
True
Let h be (-15)/(-6546)*(-2)/80*-4. Is h > -1?
True
Let v = 295 + -307. Let l be 930/2736 + ((-32)/v - 3). Is l >= 1?
False
Let w = 804.3 - 750.3. Let l = 19 + -92. Let t = w + l. Which is greater: -2/3 or t?
-2/3
Let v(p) = 11*p - 93. Let b be v(9). Suppose -b*q + 48 = -12*q. Is q greater than or equal to -4?
False
Suppose 0 = -3*k + 1 + 2. Let y be ((0 - -2)*1)/(-2). Let d be y + -1 + 4 + (-3024)/1540. Is k greater than or equal to d?
True
Let v = -12.15 - -11.6. Let j = v + 6.55. Is j != -1/6?
True
Let t be ((-20)/5 - -3)/((-2)/4). Let f be (1*t/6)/((-28)/(-14)). Are f and 1 non-equal?
True
Let o be 1/(-4)*(-92115)/69. Which is smaller: o or 333?
333
Let v = -446 + 482.9. Let r = 46 - 9. Let i = r - v. Is 2/35 at least i?
False
Let h(a) = -4*a**2 + 61*a - 16. Let w be h(15). Is -15/371 at most as big as w?
False
Suppose 16*v - 4*l + 78 = 17*v, 0 = -5*v - 4*l + 262. Whi