(-132))*3. Which is bigger: v or a?
v
Let d = 0.6 - -0.4. Let f = -17 - -19. Let r be f*1 - (10 + -13). Which is greater: r or d?
r
Let t(d) = 7*d - 1. Let a(l) = -l. Let i(s) = 6*a(s) + t(s). Let q be i(4). Is 9/4 greater than or equal to q?
False
Let y = 1.2 + 3.8. Suppose n + 51 = 2*h - 14, 2*h + 5*n - 35 = 0. Let j = -33 + h. Which is smaller: j or y?
j
Let t = -0.682 - 0.768. Is 3/7 at most as big as t?
False
Let s be (-132)/110*(3 + 2). Which is greater: s or -55?
s
Let b = -45322/55 - -824. Which is bigger: b or -1?
b
Let c = 6 - 3. Suppose 76*o = 66*o - 120. Is o less than c?
True
Let k = 8125/64 + -127. Which is greater: 0 or k?
0
Let f(x) = -x**3 - 5*x**2 - 4*x - 3. Let p be f(-2). Let a be 3*2 - (-6 - p). Suppose -4 + 24 = a*w. Which is smaller: w or 3?
3
Let c(o) = -o**2 - 6*o + 5. Let w be c(-5). Suppose -w*q + 1 = -9*q. Which is smaller: 20 or q?
q
Suppose -7*f + 72 = 5*f. Suppose 48 = 4*k + 2*q, 4*k + 2*q + 24 = f*k. Are k and 13 unequal?
True
Let n = 21.0411 + -0.0411. Is -5 >= n?
False
Let z = 227 - 125. Let u = z - 101.9. Which is smaller: u or 0.66?
u
Let y = -40 + 21. Let m be ((-4)/(-10))/(y/(-190)). Which is greater: m or 3?
m
Let x = -0.74 + 2.74. Are -2/695 and x equal?
False
Let y = -230.76 - -232. Which is smaller: 0.1 or y?
0.1
Let d be 765/(-6) + 2/(-4). Let x = 65 + d. Let c be (-49)/x + 4/18. Is c < 0?
False
Let a be (5 + 22/(-4))/((-2)/116). Is a at most 29?
True
Let i(r) = -7*r**2 - r + 8. Let n be i(6). Is -250 at least n?
True
Let g = 7 + -4. Let m = g - 2. Let p = -638/469 - -72/67. Which is bigger: m or p?
m
Suppose 5*l + 97 - 1292 = 5*y, 0 = 2*y - 2. Is l at least as big as 963/4?
False
Let b = 0.28 - 0.06. Let y = -3.18 - b. Let q = 1.4 + y. Which is smaller: 2/7 or q?
q
Let g = -1745 - -2888. Is 1143 smaller than g?
False
Let i = 33 - 59. Let z = i - -26. Which is smaller: z or 30?
z
Suppose 0 = -s - 3*s. Suppose 5*b - y + 23 = s, 3*y = -y + 12. Let i be (-3 + 11)/b + 0. Are -2 and i unequal?
False
Let g = -102 - -46. Let m = g - -58. Which is smaller: 0.1 or m?
0.1
Suppose -l - 40 = 3*l. Let o(i) = -4*i - 6. Let b be o(5). Let s = b - -15. Which is smaller: s or l?
s
Suppose 4*d - 3*d + 12 = 0. Let l be 14/(-6)*2010/469. Are l and d equal?
False
Suppose 0 = -2*o - 4*i - 60, 3*o - i - 18 = -101. Is o <= -28?
True
Suppose -100 = 52*t - 256. Which is smaller: 66/17 or t?
t
Let t = -1082.0221 - -1082. Are 1 and t non-equal?
True
Suppose -q + 690 = -c - 2*q, 0 = 4*c - 4*q + 2784. Are c and -693 unequal?
False
Let u = 108/35 - 14/5. Let n(c) = -4*c - 4. Let t(x) = -3*x - 5. Let h(p) = -2*n(p) + 3*t(p). Let a be h(-6). Is u equal to a?
False
Let s be (-4)/1 + (1 - -17). Let p be (s/(-4) - -2)/(21/(-35)). Which is smaller: 3 or p?
p
Let b = 2 - 2.2. Let w = -785/2 + 402. Let t = 33/4 - w. Which is smaller: b or t?
t
Let q be (-539)/(-77) - (-2 + 5). Do -30 and q have different values?
True
Let l be (-1150)/7070 + (-2)/(-14) + 0. Is l > 1?
False
Let a = -37 - -71. Let r = a - 53. Let f = r + 50. Which is bigger: 0.1 or f?
f
Let x = 299 + -300. Let m = -1 - -0.7. Let o = m - -0.4. Which is bigger: o or x?
o
Let h = -293 + 294. Let o be 17/(-5) + (-2)/(-5). Let z = o - -2. Is z at least h?
False
Let b = 841 + -868. Is 3 less than or equal to b?
False
Let i be 265/(-100) + 4 + -2. Which is bigger: 1 or i?
1
Suppose 0 = -2*s - 3*n - 3, 3*s = 3*n - 2 + 5. Suppose 4*c + 4*r - 3*r + 196 = 0, s = -5*r. Which is smaller: c or -50?
-50
Let f = 26.4 + -24. Let v = 0.4 - f. Let l = -5 + 4.6. Which is smaller: l or v?
v
Let s = -882/5 - -415412/2355. Is s equal to -2?
False
Let b = 78887/20 + -3943. Are b and 2 equal?
False
Suppose 3*r - 9*r + 60 = 0. Let i = 22 - r. Is 12 >= i?
True
Let s = -19/7 - 221/63. Is 2/3 less than or equal to s?
False
Let r(l) = 10*l + 9. Let z be r(-8). Let y = -75 - z. Which is smaller: -3 or y?
y
Let u = -37.4 + 22.4. Does u = -0.37?
False
Let c(x) = -x**2 - 13*x - 64. Let b be c(-8). Suppose 15 = -2*d - 31. Which is smaller: b or d?
b
Suppose 6*k = 5*k + 253. Suppose 3*t = 2*l + 674, -5*l = 2*t - t - k. Let p be 3/(t/(-236)) + 3. Which is bigger: 1 or p?
1
Let m be 7/(868/(-8676)) - 3. Suppose 0*j = 2*j + 146. Let o = m - j. Which is smaller: o or 1?
o
Let k(c) = -c**3 - 7*c**2 - 2*c + 3. Let s be k(-5). Are -35 and s unequal?
True
Let n be ((-4)/12)/((-1)/15). Suppose 2*p = p + 5. Suppose -z + 3*g + 0*g = 9, -11 = 3*z - p*g. Is z bigger than n?
False
Let t be (-9)/(-1 - 2) - -21. Let u be 21 + 7/((-21)/(-12)). Which is bigger: t or u?
u
Let r(i) = -i**2 + 22. Let m be r(0). Let w = -36 + m. Let c be 3/3 + 18/w. Is -3 > c?
False
Let r be 42*(-1)/(-6) + 5. Suppose 2 + 2 = -z + 3*w, -2*z = 5*w - 36. Which is smaller: r or z?
z
Let n = 266 - 178. Suppose -2*b + 6*v = 3*v + 34, 4*v = -4*b - n. Which is bigger: b or -21?
b
Let p(o) = o**3 - 7*o**2 - 2*o + 10. Let d be p(7). Let i(y) = y**3 + 3*y**2 - 4*y + 5. Let b be i(d). Let v be (-3 - -5)*(-5)/(-2). Are b and v unequal?
False
Let p = 159.13 - 160. Let y = -0.77 - p. Which is greater: -1 or y?
y
Let q = 0.13 - -19.87. Let t = -1.99 - 0.01. Is q at most t?
False
Let t = -281 - -280.7. Is 87 bigger than t?
True
Let u be (-16)/(-642)*(-15)/(-10). Is u < -1?
False
Let p = 1044 + -1271. Which is greater: -229 or p?
p
Let u be (-264)/28*2/4. Let n = u - -92/21. Which is bigger: -3 or n?
n
Let z(m) = -5*m + 0*m + 4*m - 5. Let v be z(-9). Suppose v = 2*y - 6*y. Is -8/7 not equal to y?
True
Let i be ((-45)/6 - -8)*(2 + -86). Is i greater than -45?
True
Let r = 573/8 - 321/4. Which is bigger: r or -9?
r
Let k = -142128/29 + 4901. Suppose 0 = g + w - 1, -3*w - 2 + 6 = 4*g. Which is bigger: g or k?
g
Let r(h) = -7*h. Let a be r(4). Let g = a + -2. Is g smaller than -31?
False
Let b = 0.69 + -0.7. Let i = 0.39 - b. Which is bigger: -2 or i?
i
Let r(a) be the second derivative of a**4/3 + a**3/2 - a**2/2 - 11*a. Let s be r(2). Let c be 33/s + -1 - 1. Which is smaller: 1/6 or c?
c
Let q be 3/(-6) + (-22)/(-4). Let r = -4 + q. Which is smaller: r or 1/23?
1/23
Let d be 5*(-10)/(-50) + 143. Are d and 152 equal?
False
Let c be (2/3)/(18/3321). Let m = c + -140. Is m < -16?
True
Let v = 256 - 260. Let w be 1/(-4) + 34/40. Which is bigger: w or v?
w
Suppose 4*w = 2*q + 38, 3*w + 11 = 26. Let c be 2*3 - (15 + (5 - 5)). Is c at most as big as q?
True
Let c be (2/6)/(2*(-3)/(-180)). Which is greater: c or 11?
11
Suppose -2*m = 4*r - 20, 7*m = 5*m - 2*r + 20. Let j(p) = p + 9. Let c be j(-7). Suppose 2*v = -c*v. Is m at most as big as v?
False
Let o be (-5)/(100/368) + 2/5. Let l(a) = 4*a + 35. Let q be l(o). Which is greater: q or -36?
-36
Suppose -29 = -10*d + 16*d + 43. Let j = -3.08 - -0.08. Which is smaller: j or d?
d
Let o = -79 - -75. Let q = -7 - o. Which is bigger: 1/17 or q?
1/17
Let r = 1208 + -1216. Is r at most 7.3?
True
Let j = -8 + 11. Let z be (6/(-8) + 0)/(j/204). Is -50 greater than z?
True
Let a = -609 - -609. Is 2/2139 at most as big as a?
False
Let g be (-1 - -9)*12/3. Let v = g + -29. Suppose -v*u - 16 = 4*k + 19, -4*k - 2*u - 30 = 0. Do k and -2 have the same value?
False
Suppose y - 2 = -o, 4*y + 3*o - 2 = 3. Let i = 4/49 - 226/3969. Is y at least i?
False
Suppose -2*j - 2*k = -18, -2*k + 30 = -11*j + 16*j. Is 0.028 equal to j?
False
Suppose 4*q + 1173 = -5*c, 4*q + 550 + 653 = 5*c. Which is bigger: -299 or q?
q
Suppose 5*o - 100 = 6*o - 4*b, -4*o - 3*b - 305 = 0. Is -85 bigger than o?
False
Let s = -16.32 + 87.22. Let j = -71 + s. Which is smaller: j or -19?
-19
Let j be (-2)/((-80)/(-42) - 2). Suppose 7*q - 45 = 102. Is q < j?
False
Suppose 0 = 2*y + 2*y + 32. Let k = 22/3 + y. Let i = -537/7 + 77. Which is greater: i or k?
i
Let o(i) = -7*i - 2. Let x be o(-1). Suppose b - 2 + 0 = 2*u, x*b - 4*u + 8 = 0. Let p be ((b - -5)/(-2))/2. Which is smaller: p or -2/35?
p
Suppose 3*d - 21 = -2*r, -3*d + 4*r - 32 = -7*d. Let b = 1 - 1. Suppose b = 2*t + d - 1. Which is smaller: -1/2 or t?
t
Let a be (-2)/88*1/2. Let c(v) = -v**2 + 22*v + 24. Let f be c(-1). Which is smaller: f or a?
a
Suppose 0 = 4*x + 2424 - 2668. Is x >= 61?
True
Let g(b) = 0 + 9 - 1 - 9*b + 5. Let a be g(10). Let y = -619/8 - a. Is 0.1 at most as big as y?
False
Let o be (-22)/4 - 2/4. Let i = -3 + o. Which is smaller: -7 or i?
i
Let x be (-7)/(-98)*7*0. Which is smaller: 16/211 