or c?
f
Let x be 41/(-6) - ((-8)/(-3) - 3). Which is bigger: x or -6?
-6
Suppose -49*a = -57*a + 352. Which is smaller: 40 or a?
40
Let g be (-48)/(-21) - (-2)/(-7). Suppose -79 = -5*r - 3*o, g*o - 6*o = 8. Let i = r - 18. Are 1/8 and i non-equal?
True
Suppose 5 - 1 = u. Which is bigger: 5 or u?
5
Let o = -9 - -5. Let a be 3/o*(-95)/38. Which is smaller: a or 3?
a
Let p = 0.1 + -0.1. Let y = 0.003 + 0.117. Let x = y - p. Which is smaller: x or 1?
x
Let k(w) = w + 4. Let s be k(-3). Let a = -8491/165 + 776/15. Is s equal to a?
False
Suppose 0 = 2*z - z. Let m = 63197 + -2085139/33. Let a = 120/11 - m. Do a and z have different values?
True
Suppose 6*k = -6 + 18. Suppose 0*a - 4*a + 11 = -3*b, 5*b + 27 = -k*a. Which is greater: 0 or a?
0
Let p = -145 - -179.7. Let u = 35 - p. Which is smaller: 0.2 or u?
0.2
Let x be ((-4)/(-10))/(336/60 - 12). Which is smaller: x or 0?
x
Let z be ((-10)/(-20))/(1/4). Let j = 102 + -91. Are z and j unequal?
True
Let p = 0.418 - 4.418. Which is smaller: -0.5 or p?
p
Let t be (13 + -1 - -3)*2. Let d be (-6)/4*(-8)/t. Let z = 33 - 32.98. Which is smaller: d or z?
z
Let c = -37 + 46. Suppose 3*t + 3*v = 9, -c = -2*t - 4*v - 3. Let o(u) = -u + 8. Let b be o(6). Is b less than or equal to t?
True
Let x = 9179/378 + -185/54. Is 20 < x?
True
Let k(w) = w**3 - 2*w**2 - 4*w + 4. Let j be k(3). Let a be 2 + (-6)/2 - -19. Let b be (-40)/a + 1 + 1. Which is bigger: b or j?
j
Let n = -8/17 - -10043/21233. Which is smaller: n or 1?
n
Let b(d) = -4*d**2 - 21*d - 6. Let w be b(-5). Let a = 1125/7 + -161. Are w and a unequal?
True
Let k = -592 - -83474/141. Which is greater: -0.02 or k?
k
Suppose -288 = 14*s + 790. Is s <= -77?
True
Suppose 0 = -14*i + 16*i + a - 6, -2*a = 2*i - 4. Which is bigger: i or 9?
9
Let z be (-1419)/(-2070) - 15/25. Let i = 1/69 + z. Let k be (-3)/4 - (-28)/16. Which is bigger: k or i?
k
Let x be 14/(-63) - 500/18. Let v be (-10)/x*(3 - 1). Which is greater: v or 2?
2
Let u(p) = -p**3 + 4*p**2 + p + 2. Let z be u(4). Let v be z/(-4)*(-76)/(-30). Which is greater: -3 or v?
-3
Let g be (1/2*12)/(4 + -17). Let k(m) = m - 1. Let f be k(-5). Let n(w) = w + 6. Let r be n(f). Are r and g nonequal?
True
Suppose 0 = 2*y - l + 9, 0*y + 2*l = 3*y + 16. Let r(v) = -6*v - 1. Let g be r(y). Suppose 5*q - n + g = 0, -5*q - n = -3*n + 7. Is q < -20/7?
True
Let l(c) = -5*c - 34. Let n be l(-7). Let g be n/49*(-5 - -6). Is g != -1?
True
Let g = 27 + -27. Let b = 233 - 2559/11. Is b equal to g?
False
Let a = 0.01 + -1.01. Let f be 3 - ((-1)/7)/(11/(-253)). Let h = f + 32/63. Which is greater: a or h?
h
Suppose 4*n - 65 = -3*p, -4*n = p + 35 - 94. Let b = -20 - -34. Is b greater than n?
False
Let n be (-58)/(-340) + 3/(-15). Which is smaller: 1/2 or n?
n
Let i be 443/(-2981) + 166/913. Is -1 not equal to i?
True
Let d be (-188 - 0)/(4 - 2). Is -471/5 at least d?
False
Let k(s) = -s - 7. Let p be k(-6). Let j be (p/3)/(10/15). Let g be (-38)/(-95) + (-9)/35. Is j at least as big as g?
False
Let t(a) = a - 3. Let h be t(0). Suppose -6*u = 530 - 98. Let j be 272/u + (-11)/9 + 1. Is h > j?
True
Let k(g) = -3*g - 7. Let l be k(-2). Is l < 0?
True
Let x be (-1*0/1)/(-19 - -17). Suppose -w + 2 = -2*w - 4*y, 4*y = x. Are w and -30/13 unequal?
True
Let r(a) = 2*a**3 + 2*a**2 - a - 1. Let c be r(2). Let b = -11 + c. Suppose -2*s - 12 + b = 0. Which is smaller: s or -5?
-5
Let f = -187/4 + 7285/156. Suppose 4*v - 2*t = 0, v + 5*t = -3*v + 14. Which is smaller: v or f?
f
Suppose -3*z + 4*z = 0. Let c be 24/(-378) + 2/(-9) + z. Which is smaller: c or 64?
c
Suppose 3 = -b + 11. Which is bigger: b or 66/7?
66/7
Suppose z = -3*z - 16. Let f be 3/36*3/z. Let d be (-6)/(-36)*-8*-1*(-3)/4. Is d bigger than f?
False
Suppose 0*f = 5*k + f + 187, 5*k + 193 = -4*f. Suppose c + 37 = 4*j - 21, 3*j - 167 = 4*c. Which is smaller: k or c?
c
Suppose -v = v - 8. Suppose -4*g + 112 = r, 0 = 3*r + 2*r. Suppose 9*p = 2*p + g. Is v smaller than p?
False
Let j(r) = 7*r - 17. Let f be j(12). Let v = 68 - f. Is -3/59 bigger than v?
False
Let s be ((-88)/10)/(156/390). Which is bigger: s or -43?
s
Let w be (-28)/(-3)*(-3)/(-2). Do w and 16 have different values?
True
Suppose -d + 129 = -0*d - 4*f, -2*f = -4*d + 502. Let n = -111 + d. Which is greater: n or 13?
n
Let f = 0.47 - 6.47. Let d = 19 - -34. Let j = d - 211/4. Which is smaller: f or j?
f
Suppose -3*a = y - 13, 13 - 3 = 4*a + 5*y. Suppose 16 = -3*m - m, -2 = a*i + 3*m. Which is smaller: i or 4?
i
Let g(n) = n - 7. Let f(o) = -1. Let z(u) = 4*f(u) + g(u). Suppose -t + 2*t + 22 = 3*c, 0 = -2*c - 3*t. Let d be z(c). Do d and -16/3 have different values?
True
Let l be -3 + (-4)/((-16)/36). Let q be 61/l + 6/(-36). Let t be 2/q + (-176)/55. Which is greater: -7/3 or t?
-7/3
Let c(t) = -4*t - 2. Let j be c(-1). Let o be 8 - (0 + 2)/j. Which is greater: o or 4?
o
Let r = -25 - -8. Suppose -16*f + 5*f + 5*f - 102 = 0. Is r at most as big as f?
True
Let n = -0.962 - -1060.962. Is 1 at least n?
False
Let z = 3 + -1. Let f be (z/8)/(7/56). Suppose -5*k - 4*u = -16, -u - f = k - 6. Is -2 at least k?
False
Let u be -4 - 27/21*-1. Suppose 5*y = -10, v - 5*y - 32 = -25. Are u and v unequal?
True
Suppose -x + 72 = -7*f, 0 = 4*x - 28*f + 25*f - 163. Which is smaller: 40 or x?
x
Let y = 39.8 + -40.59. Is 4 at most y?
False
Let w be 14/36*(-285)/(-266). Which is bigger: 1 or w?
1
Let w = -1228 - -1236. Is w at most as big as 8?
True
Suppose -21*p - 1268 = 1063. Let i = -1777/16 - p. Let g(u) = -2*u + 3. Let r be g(2). Which is greater: r or i?
i
Let t be -2 + 7/2 - 2/(-8). Which is smaller: -10 or t?
-10
Let u = 7.03 + -7. Let v = 9.93 + -10. Let i = v - u. Is 3/8 at least i?
True
Let k be 7/((-105)/(-10))*-42. Let m be (2/(-8) - 0)*k. Are 7 and m equal?
True
Let x = 20/7 + -568/189. Is x smaller than 1?
True
Let l = -391/4901 + -4/169. Let p = 20 - 21. Is p at most l?
True
Let x be (18/(-30))/((-2)/150). Let n = -54 + x. Which is greater: -5 or n?
-5
Let z = 18.5 - 204.5. Let p = z + 184. Let w = 8 + -17. Which is smaller: w or p?
w
Let r = 66916/5 + -13450. Which is smaller: -68 or r?
-68
Let f = 0.54 - -0.16. Let r = 5.4 + -5.5. Let l = -0.1 - r. Which is bigger: f or l?
f
Suppose -48 = l - 36. Let b be ((-153)/l*4)/((-3)/2). Which is smaller: b or -35?
-35
Let p(a) = 15*a - 65. Let u be p(22). Let s = u - 7684/29. Do 0 and s have the same value?
False
Let z = 37.9 - 40.9. Which is greater: z or -3/8?
-3/8
Let m = 41 - 42. Let k be 16 + (-5)/(-1) + m + 1. Is 23 greater than or equal to k?
True
Let b = -100 - -140. Let g be (45/(-6))/(b/(-96)). Suppose 49 = 4*w - 27. Which is smaller: w or g?
g
Let x(s) = -s**2 - 11*s - 14. Let a be x(-7). Let t be (-3 - 0) + (-1 - a/(-4)). Is -1 greater than or equal to t?
False
Suppose 11*d - 445 = 6*d. Suppose -j + 151 = d. Is j bigger than 63?
False
Let f = -1 + 1. Let b = 24/53 + -620/901. Are f and b unequal?
True
Suppose 3*k = 2*r + 4 + 32, -r - 2*k - 11 = 0. Let b be 144/240*180/(-8). Is b >= r?
True
Let f = -1038/5 - -208. Is f at most as big as -0.1?
False
Let d be ((3 - 3)/4)/2. Suppose d = 5*c - 0*c - 135. Is 27 != c?
False
Suppose 2*x - r = -32 + 23, -5*r = -3*x - 31. Which is bigger: x or -17?
x
Let u be ((3 - 2)*442)/21. Let q = u + -64/3. Which is bigger: q or -4?
q
Let h = 7.041 - 0.041. Let w = -1.2 + 1.19. Let k = 0.01 + w. Is h bigger than k?
True
Let l = 1.14 + -0.9. Let n = -1151 - -1150. Do n and l have different values?
True
Let p be ((-7)/(-3) - 3)*18/1542. Are p and 1 non-equal?
True
Let b = 36 - 34. Let z = -0.03 - -0.33. Does z = b?
False
Let m be ((-2)/6)/((-198)/378). Is m <= 0?
False
Let c = 27 - 191. Which is greater: c or -162?
-162
Let v = 28 + -28.38. Let q = v + 0.18. Which is greater: 7 or q?
7
Let f(m) = -m - 1. Let h = -13 + 13. Let k be f(h). Which is greater: k or -1/20?
-1/20
Let b be (4/12)/(16/6 - 3). Let y = -7/42876 + -43454791/214380. Let h = -203 - y. Are h and b non-equal?
True
Let t = 425 - 429. Which is bigger: t or -405?
t
Let b(i) = 32*i - 67. Let n be b(8). Which is greater: 190 or n?
190
Suppose 6*g = 5*o + g + 5, 4*o + 4*g + 4 = 0. Let l be (-92)/22 + 2*2. Is l greater than or equal to o?
True
Let p = 5 - -125. Let o = p - 137. Which is greater: o or 6?
6
Suppose 116 = -10*q + 12*q. Let b be q/(-21) + 12/(-18). Is b less than o