 - 85. Let d = -2136 - -2140. Is v <= d?
False
Let g be 3/4 + (-57)/12. Which is smaller: -65/12 or g?
-65/12
Let s be (-16)/(-6)*81/648. Is s less than or equal to 1049?
True
Let y = 93 + -91.89. Let b = y + -1.03. Which is bigger: 0.3 or b?
0.3
Let h = -20 - -29. Let r be -2*1/h + 7/18. Which is smaller: 1 or r?
r
Let t = -293 + 294. Which is smaller: t or 0.28?
0.28
Suppose -2*v = -3*h + 83, 2*h - 6 - 36 = 4*v. Suppose 0*w - 2*w = -5*i + 158, -i - w = -33. Is i less than h?
False
Suppose -3*x = -3*p - 816, 4*p + 0*p - 520 = -2*x. Is x greater than 268?
False
Let g(c) = c**3 - 9*c**2 - 12*c + 7. Let m be g(10). Let q(w) = w + 15. Let y be q(m). Let u be 1 - 0*y/4. Is 1 at most as big as u?
True
Let c(i) = 24*i - 677. Let s be c(7). Which is greater: s or 1?
1
Suppose 0 = 4*j + 2*s + 26, -4*j + 2*j = -4*s + 28. Let d = 3 + j. Let q be d/(-3) + 6/(-9). Which is greater: 5/7 or q?
q
Suppose 2*u + 20 = 5*d - 1, 3*u - 21 = -3*d. Let s be ((-10)/u - -3)*-2. Suppose 2*r + 3*t = s, 3*r - 6 = -0*r + 4*t. Is 2 > r?
False
Suppose -38*k + 798 = 19*k. Which is smaller: 26 or k?
k
Suppose 4*j - 114 = 2*z + 6, -3*z - 181 = -5*j. Is z != -62?
False
Let o be 5 + -9*(-3)/288 - 5. Is o greater than or equal to 0?
True
Let v = -323 - -421. Which is greater: 100 or v?
100
Suppose 119 - 119 = 8*h. Is 33/26 at most as big as h?
False
Let s be (-3)/36*2 - (-106)/(-48). Let t = 73/24 + s. Is t < -1/12?
False
Let t = 59 - 31.4. Let v = t - 28. Let u = v - 15.6. Which is smaller: u or 0?
u
Let w be -3 + 0/(-4) - -6. Suppose -w*z = 2*z. Suppose 4*f = 3*i + 2*i + 39, z = -3*f - 12. Do -11 and i have different values?
False
Let h = -436 + 435. Is h at least as big as -721?
True
Let w be ((-1)/(-2))/(1/(-2)). Let l = 7.1 + -11.1. Let o = l + 5. Which is smaller: w or o?
w
Let w = -6.7 + 7. Let t be (-57)/60*-4*5. Is t less than w?
False
Let a be (3/(-12)*2)/((-20)/8). Let b = -14 - -13.98. Let i = -0.98 + b. Is i equal to a?
False
Suppose 4*w - 14*w - 2740 = 0. Is -273 at least as big as w?
True
Suppose 9 = 3*w, 4*x + 55*w + 1616 = 51*w. Which is smaller: -411 or x?
-411
Let y = -192 - -4428/23. Which is smaller: 2 or y?
y
Let l be (-7)/28 - 143910/(-88). Let x = l - 1630. Which is greater: x or 5?
x
Suppose -6*k + 4*k = -4. Suppose -k*y = 3*y. Which is greater: y or 3/4?
3/4
Let p(h) = h**2 - 7*h + 1. Let m be p(4). Suppose -509*v + 513*v + 32 = 0. Are m and v non-equal?
True
Let s be 11/(132/40)*-9. Let p(h) = h**2 + 32*h + 44. Let k be p(s). Which is smaller: -14 or k?
k
Suppose 0 = 205*j - 204*j - 915. Do 915 and j have different values?
False
Let w be -1 + 2 + 4/(4 + -6). Suppose m + z = -2 - 0, 5*z + 7 = -4*m. Let a be 34/72 + m/12. Is w <= a?
True
Let z = 2 + 6. Suppose -z = 6*x - 2. Let n be 12/36*1/9. Which is greater: n or x?
n
Let z be (121/2)/(4/(-8)). Let o = z + 204. Suppose -3*h = -5*b + o, -4*h - 1 - 3 = 0. Is 15 at most as big as b?
True
Suppose -211*u + 190*u - 21 = 0. Which is smaller: u or -1/45?
u
Let d = -647 + 751. Which is smaller: d or 103?
103
Suppose -22 = 3*s - 2*d, 4*s + 4*d + 6 = 2*d. Let z be (s + (-132)/(-32))*7. Which is greater: 2 or z?
2
Suppose 3*b + 35 = 5*n + 20, 0 = 4*b + 3*n - 9. Are -2/535 and b equal?
False
Suppose 0*t - 6 = -3*t. Let v(a) = -9*a**t - 6 + a**3 + a + 14*a**2 + 2*a**2. Let h be v(-7). Do -13 and h have the same value?
True
Suppose 4*q - 3*q + 17 = 4*t, 0 = -2*q - t + 11. Suppose -q*u = u. Suppose -4*a + 0*a = u. Which is smaller: 4/9 or a?
a
Let q be 2322/234 - (17 + -8). Which is greater: 0 or q?
q
Let n be (-2)/(-4)*(1 + 0). Let h = 42.89 + -43. Which is bigger: h or n?
n
Suppose 2*c - 41 = -3*i, -i - 2 = -3*i. Suppose -l + c = 15. Let m(h) = 4*h - 1. Let a be m(1). Which is smaller: a or l?
a
Suppose 7*y - 11 = -11. Is 5/44 < y?
False
Let v be -6*-1*8/(-12). Let p be -19*1/(-5) + v. Let c = -1.7 + 0.7. Is c greater than or equal to p?
False
Suppose -21*i = -17*i - 124. Suppose -9*x + 167 = -94. Is x at least as big as i?
False
Suppose -12*q + 10*q = -c - 16, 15 = -5*q. Let w be (-1)/(-1) - 2/2. Suppose -y - 4 + 3 = w, 2*y = a + 21. Is c greater than a?
True
Suppose 2*p - 26 - 16 = 0. Let j = p - 10. Suppose 14 = n - l - 2*l, -2*n + 5*l + 27 = 0. Is j > n?
False
Suppose -425*a = -422*a. Let m be 2/(-1)*4/296. Which is smaller: a or m?
m
Let a(k) = k**2 + 6*k + 1. Let p be a(-6). Let b be (0 - p)/((-9)/(-567)). Let y be 12/(-8)*(-4)/b. Which is smaller: 0 or y?
y
Let d be (-84)/(-30) + 2/10. Let y(s) = s - 4. Let j be y(6). Suppose -2*l = -3*l - 5*c + 6, -3*l + 5*c - j = 0. Which is smaller: d or l?
l
Let h be 1/2*(-18)/(-18). Which is smaller: -2/45 or h?
-2/45
Let w be (-15)/4*16/(-4). Is 15 less than or equal to w?
True
Let g be -1 + 4 - (-56)/4. Let l = g + -7. Which is greater: l or 11?
11
Let q(b) = -b**3 + 7*b**2 + 21*b - 17. Let n be q(9). Let k be (2/4)/((-2)/(-16)). Let w be 0/(k/n*5). Do -1/8 and w have different values?
True
Let o(r) = r**3 + 12*r**2 - 3*r - 18. Let g be o(-12). Let v be (g/55)/(4/(-20)). Is v smaller than -3?
False
Let j = 0.111 + -0.065. Let s = 0.054 + j. Which is greater: 59 or s?
59
Let y = -401/26 + 246/13. Is -56 at least as big as y?
False
Let l = -2.645 + 1.195. Which is smaller: l or 1?
l
Let j be -5*(0 + (3 - 4)). Suppose -35 = 5*u - j*l, 7*u + 2*l = 4*u - 6. Which is bigger: -3 or u?
-3
Let b = -9.36 - 1.54. Let a = -11 - b. Let z = a - 0.1. Is z greater than -3/2?
True
Let i = 0.04 + -0.04. Let z = -0.066 - -5.066. Which is greater: i or z?
z
Let x be -2*4/(-24)*-3. Let k be (1 - (-240)/(-242))*84/(-42). Is x at most as big as k?
True
Suppose h + 28 = k, -4*k + 27 = 2*h - 109. Suppose 4*g - 5*w = 5*g - 27, 5*w = 5*g - 165. Is g at least as big as k?
True
Let b be (2/(-4))/(-145 + 41). Which is bigger: b or -0.1?
b
Suppose 15*a = 17576 - 4826. Which is smaller: a or 849?
849
Let l = -335 + 344. Which is greater: 2/25 or l?
l
Let f = 8.6 + -3.5. Let o = -5.1 + f. Which is smaller: 1/4 or o?
o
Let k(p) = 146*p - 6. Let o be k(-8). Let r = o + 81008/69. Suppose -2*i + 3*i = 0. Which is smaller: r or i?
i
Let z = 1/80 + -71/2480. Which is smaller: z or 1?
z
Let u = -233 - 102. Let y = u + 11727/35. Which is smaller: 0 or y?
0
Let j = -150734/53 - -2844. Let y(w) = -w**3 - 5*w**2. Let c be y(-5). Which is smaller: c or j?
j
Let l = 36 - 33. Suppose 0 = -4*u - 3*f + 72, l*u + 6*f - 57 = 3*f. Is u at most as big as 15?
True
Let m = -22 - -24. Let w be (m + -4)/(14/(-4)). Let n = 7 - 5. Which is bigger: w or n?
n
Suppose -4*g = 3*z - 60 - 93, 5*z + 4*g - 255 = 0. Is 52 at most as big as z?
False
Let r be 2 - (-4)/((-12)/3). Let f be 2/105*(-3 + -2). Which is bigger: r or f?
r
Let x = -0.29 + 0.09. Let d = 134 + -133.947. Let g = d + 0.047. Is g at most as big as x?
False
Suppose -2*u + 4*u = 0. Let d be (-28)/(-2) + 4 + u. Let l = d - 37/2. Is l > 2?
False
Let x = -2 + 0. Let n be (-3 - 232/(-80))*12. Is n less than x?
False
Let f(j) = 8*j**2 + 10*j + 32. Let p be f(-14). Let w be (2275/p)/7 + 2/(-8). Does w = -1?
False
Let u(j) = -j**3 + 9*j**2 + 12*j - 2. Let h be u(10). Suppose -4*c - n = n, h = c - 4*n. Suppose -4 = c*k + 2. Which is smaller: -11/4 or k?
k
Suppose 58*p + 48 = 46*p. Are 213 and p non-equal?
True
Let r = -254 + 4320/17. Let l = 4/17 + 14/85. Which is smaller: l or r?
r
Let z = 22.38 - -1.62. Let b = -2479 + 2455.06. Let x = z + b. Which is smaller: 2/5 or x?
x
Suppose -18 = -4*m - 4*j + 6, 3*j = 4*m - 3. Suppose 3 = -m*d + 6*d. Let a be 3/(-20) - (-2)/(-8). Which is bigger: a or d?
d
Let i = 7.1 + -4.9. Let k = 0.2 - i. Which is greater: k or -0.12?
-0.12
Suppose q - 9 = 5*x, 3*q = 8*q - 2*x + 1. Do q and 4/363 have the same value?
False
Let w be (40/12)/(1/9). Let o = w + -34. Which is smaller: -3 or o?
o
Suppose 0 = -z + n + 4, 0*n + 44 = 3*z + 5*n. Let q be 0 - ((-9)/(-3) - z). Let r = -103/69 + 180/23. Which is bigger: q or r?
r
Let w = -119/36 - -5/9. Do w and -2 have different values?
True
Let g be ((-2)/(-4))/((-854)/188). Let s be 19 + -20 + (0 - 118/(-122)). Let p = s + g. Is p >= -1?
True
Suppose 4*q = 4*o - 384, -3*q + 12 = 2*o + 280. Let j be q/(-408) + (-5)/30. Is j != 3?
True
Let t be 0*(-4 + -1 - -6). Suppose -5 = -h, 3*a + 3*h + 21 + 12 = t. Is a at least -18?
True
Suppose 7 = 9*a - 8*a. Suppose a*l = 3*l - 4. Is l less than or equal to -3/28?