ppose 4*j + z = -1708, -3*j + 5*z + 1264 = -6*j. Which is greater: j or -429?
j
Let d be 90/(-12)*(-4)/(-10). Let v = 18/17 + -606/187. Is d smaller than v?
True
Let l be -2 + (2 - 0/1). Suppose 3*n - 3*x + 4 = -2*x, n + 4*x - 16 = l. Let b(u) = -u**3 + 3. Let a be b(n). Which is smaller: a or 4?
a
Let i(h) = -17*h**3 + 2*h**2 - h - 3. Let k be i(-1). Suppose -16*p + k*p = 1. Is p smaller than 3/61?
False
Let x = 37.941 - 38. Let v = x + 0.159. Which is smaller: v or 2?
v
Let x = 3 - 2.3. Let m = x + -0.7. Let h = m + 0.1. Is h bigger than -0.01?
True
Let c = -1.455 - -1.355. Does 0.156 = c?
False
Let o be ((-16)/12)/((-2)/21*2). Let q(x) = -3*x + 3. Let z be q(5). Let b = 17 + z. Which is smaller: o or b?
b
Let t be (-2)/(-7) + 4154/(-3906). Is -1 >= t?
False
Let g be (5/10)/(3/282). Let u = g + -12. Let o be 28/u - 1*3. Which is greater: -1 or o?
-1
Let c = -55 - -156. Let j = c - 507/5. Do j and -1 have the same value?
False
Let k = 885 + -909. Is -24 smaller than k?
False
Let d(g) = -4*g + 25. Let q be d(6). Is q greater than or equal to 1/190?
True
Let d be (-14)/(-6) - (-6)/(-18). Let w be 2/d*(3 + -3). Suppose w*k + k = 0. Which is smaller: 1/5 or k?
k
Let r(f) = f + 5. Let u be r(7). Let y be ((-1)/2)/(6/u). Let h be (0/y)/(-2 + 1). Are h and 3 equal?
False
Let i be (-160)/(-2)*(-4)/(-10) + 4. Is i >= 6?
True
Let m(a) = a + 3. Let w be m(-3). Let j = 4253/13 + -326. Let p = j + -257/234. Is p != w?
True
Let p = 2 + -2. Let x = 130 - 134. Is x at most as big as p?
True
Let s = -2 + 0. Let f be 2/21*39/(-2). Is s equal to f?
False
Let u(n) = -n + 0 - 4 - 3 - 4. Let i be u(-8). Which is greater: i or -5?
i
Let o(c) = -c**2 + 5*c - 5. Let n be o(5). Which is smaller: -10 or n?
-10
Suppose 17 = 4*j - 5*b - 6, 4*j = -2*b + 30. Let s(v) = -3*v - 3. Let r be s(j). Let p = -25 - r. Are p and -1 non-equal?
False
Let x(c) = 2*c**2 + 16*c + 11. Let a be x(-7). Let l = -3 - -2.99. Let v = l - -2.01. Are v and a equal?
False
Suppose -4*d - 72 = 4*r, -4*r + 5*d + 18 = -5*r. Suppose -5*h - 54 = -2*h. Do r and h have the same value?
True
Let b = 160 - 127. Is b > 35?
False
Let t = 333 + 63. Let k be 3/t*(-63)/14. Is 0 smaller than k?
False
Suppose 6*m = 8 - 2. Is m less than 0?
False
Let f = 1043 - 1755. Are -713 and f unequal?
True
Let g = 0.13 - 8.13. Let l = 3 + g. Let c = 5 + l. Which is smaller: 1 or c?
c
Suppose 10305 = -64*m + 19*m. Is m greater than or equal to -229?
True
Suppose 18*q + 21 = 21. Which is bigger: -61 or q?
q
Let d = 0.2 - -0.8. Let i = 26 - 23.08. Let o = 2.8 - i. Which is smaller: d or o?
o
Suppose 0 = -3*s + 9, 67*v - 74*v = -4*s + 12. Let t = -2.68 + -0.02. Which is smaller: v or t?
t
Let l = 218 + -212.9. Is 2/11 less than or equal to l?
True
Let q = -20.5 - -18.24. Let r = q - -2.4. Let l = 0.14 - r. Which is smaller: -0.3 or l?
-0.3
Let o = 346 + -338. Which is bigger: o or 5?
o
Let n = -2 + 12. Let u = -167 + 182.1. Let j = u - 15. Is n greater than j?
True
Let r = -86 - -247. Suppose 27 = 3*t - 5*n, -3*n + 7 = -0*t + 4*t. Let l be (-2)/t - r/(-238). Which is smaller: 0 or l?
0
Let v = 48523/52 - 933. Is -1 > v?
False
Let j be (1 - (0 + 3)) + 6518/(-9). Let p = 727 + j. Is 1 less than or equal to p?
False
Let n be 4 + ((-11)/(-22))/(2/16). Let v be 0*(1 + 0)/1. Suppose -2*j + 0*h + 2*h - 8 = v, j + 5*h = n. Is -2 <= j?
True
Let h be -3 - (3 - 9)*-1. Suppose 0*s - 5*s + 80 = 5*f, -2*f + 3*s + 32 = 0. Let j = -25 + f. Is j smaller than h?
False
Let k be 54/66 - (-2)/11. Let z be (-3)/((-3)/11)*k. Let x = z - 11. Do x and 2 have different values?
True
Let b = 522 + -921/2. Suppose 0 = -4*x + 126 + 114. Let w = b - x. Which is smaller: w or 1?
1
Let u be (-1)/(155/160 + -1). Which is bigger: 31 or u?
u
Let x = -851 - -7660/9. Which is smaller: -1 or x?
-1
Let s = 381 - 472. Is s at most -1/4?
True
Suppose -6 = 2*b - 5*c, -4*b - 2*c + 0*c + 12 = 0. Let w(x) = -9*x + 1. Let t be w(-1). Let q = 12 - t. Do q and b have different values?
False
Let m = 84 + 84. Is -1 not equal to m?
True
Let x be (-12)/2 - (-108)/117. Which is smaller: x or 2?
x
Suppose 17*q + 34 = 17. Is -1/399 bigger than q?
True
Let f = 295 + -246. Suppose 4*i = 4, 2*i + 146 = 3*n + 4*i. Which is smaller: n or f?
n
Let z(d) = -6*d + 2. Let j be z(0). Is j != 10?
True
Let f(v) = v + 7. Let r be f(-6). Suppose -h = -r - 5. Let m be ((-3)/h)/((-2)/4). Which is greater: 0 or m?
m
Let n = -1508 + 1507. Is -0.93 greater than n?
True
Suppose h + 4 = 2, 0 = -3*c + 5*h + 43. Suppose c = -5*r - 6*r. Which is greater: -3/23 or r?
-3/23
Let f = -0.0736 - -0.0336. Let x = -40 - -121/3. Is x greater than f?
True
Let r = 142 + -101. Let j = 40.95 - r. Which is bigger: 0.3 or j?
0.3
Let x(c) = -c**2 - 9*c + 7. Let a be x(-9). Suppose -12*d + 5 = -a*d. Which is bigger: 3/8 or d?
d
Suppose 10*c + 11*c = -0*c. Is c smaller than 2/241?
True
Suppose 3*b - 133 - 827 = 0. Suppose 7*d - b = 11*d. Let q be 0 - 2 - d/34. Which is smaller: -1 or q?
-1
Let o be -1 + 1*(-14)/(-10). Let w(b) = -2*b**2 + 19*b - 43. Let f be w(6). Which is smaller: o or f?
f
Suppose 3*m + 0*a = a + 46, 44 = 2*m - 4*a. Let w be -4*(m/(-12))/7. Let f = -17.2 - -16. Is w != f?
True
Let r be 0 + ((-16)/18 - -1). Suppose 59*g - 39 = 20. Which is bigger: g or r?
g
Suppose 428 = 4*t - 6460. Is 1723 > t?
True
Let p(s) = 20*s**3 - s + 2*s**2 - 2*s**2 - 8*s**3. Let t be p(1). Let l be (88/(-6))/(-2)*18/12. Is t != l?
False
Suppose 2*p - 5*p + 3*l + 12 = 0, 3*p = l + 6. Let h = -392213119797/325228352 + 1/6136384. Let s = -1206 - h. Are p and s unequal?
True
Let z = -266725 + 493246. Let h = 2040712/9 - z. Let n = -225 + h. Which is smaller: n or -1?
-1
Let n be (-1 - 17/(-8))/(-3). Let g = 11 + -11.21. Let y = -0.01 - g. Is n at least y?
False
Let o = -13 + 13.13. Let l = -83.1 + 83. Which is bigger: o or l?
o
Let v be (150/84)/((-2)/(-7)) + -6. Which is bigger: v or 330?
330
Let r(w) = w**3 + 7*w**2 - 5*w - 32. Let h be r(-7). Let x be 3/3 + h - 19. Is x smaller than -13?
True
Let x = -2 - -2. Let a = -0.87 + 38.87. Which is smaller: a or x?
x
Let o = -19 - -18. Suppose 2*f - 50 = -3*f. Let g = -7 + f. Which is smaller: o or g?
o
Let f be ((-2397)/(-34))/((-27)/20). Which is smaller: f or -53?
-53
Suppose -10*v - 163 - 47 = 0. Which is smaller: v or -43/2?
-43/2
Let c be 57/(-18) - (-2 - 1). Let d(v) = -4 - 73*v + 3 + 71*v. Let k be d(-1). Which is smaller: c or k?
c
Let k = -0.128 - 3.872. Let p = 0.4 + -0.2. Let t = -0.3 + p. Which is greater: k or t?
t
Let b(k) = k**2 - 5*k + 10. Let n(d) = -5*d**2 + 21*d - 41. Let v(c) = -9*b(c) - 2*n(c). Let r = 2 - 7. Let q be v(r). Which is bigger: 3/5 or q?
q
Suppose -8*k = -p + 4, -3*p - 4*k + k - 69 = 0. Is -210/11 smaller than p?
False
Suppose -6*m - m = -196. Suppose 3*o - 4*z - 98 = 0, 4*o - 88 = -2*z + m. Is o < 28?
False
Let x = -45/43 - 119/215. Let a(i) = i - 4. Let d be a(2). Which is greater: d or x?
x
Suppose 0 = -0*m + m + 4*r + 5, 5*m + r + 25 = 0. Let a be ((-2)/(-6))/(3 + m). Is a bigger than -0.1?
False
Let c(a) = -a**3 + 19*a**2 - 17*a - 20. Let v be c(18). Let t be 2 - ((-5)/(-1) + 1). Which is smaller: v or t?
t
Let f = -188 + 183. Are f and -1/3 nonequal?
True
Let s(q) = -8*q - 30. Let w be s(-4). Suppose -3*a + 2*u = -w, -4*u = 2*a - a - 10. Let n be 2/(-8) - (-10)/8. Is a != n?
True
Let n(d) be the second derivative of -d**4/12 - 4*d**3/3 - 9*d**2/2 - 4*d. Let u = -44 + 38. Let i be n(u). Which is greater: 8/5 or i?
i
Let m = 31 + -21. Suppose 3*j + 33 = 6*j. Which is smaller: m or j?
m
Let n = -128 + 129. Is 4/37 > n?
False
Let g be 0*1/(0 - 2). Let q be 72/18 + (1 - g). Suppose q*f = -2 - 3. Is -10/13 greater than or equal to f?
True
Let w be -2*(2 + (-1 - 2)). Suppose -w*o - 4*z = -o, -2*o = 5*z - 3. Suppose 0 = -o*d - 20, d = -k - 5 + 2. Which is greater: k or -1?
k
Suppose -2*m + 3*h + 30 = -0*m, -2*m + 4*h = -32. Let z be -1 + (-82)/(-24) + m/(-72). Do 0.1 and z have different values?
True
Suppose -2*p + 0*p + 6 = 0. Suppose 2*m - p*m - 9 = -4*q, -q = -4*m + 9. Suppose y + 3*y = 4*j, -4*y = -j + q. Which is greater: y or 4?
4
Let o = 2513/5 - 503. Is -161 > o?
False
Suppose 0*l - 6*l - 108 = 0. Let v be (-416)/(-144) - (-4)/l. Which is bigger: v or -2?
v
Suppose 0 = -12*t - t - 858. Which is bigger: t or -67?
t
Suppose -v + 56 = 234. Is -178 le