0/(-32). Which is smaller: -12 or b?
-12
Suppose -2*z + 19 = c, -4*z + 19 = -c - 4. Suppose -5*a = -z*a + 18. Which is greater: 10 or a?
10
Let k be (-2)/(-4) - (124/8 + -15). Suppose v - 8 = -v. Suppose -5*x = -3*q + 16 - v, 0 = -2*x - q + 4. Is x at least k?
True
Suppose 17*j = 30 + 4. Which is greater: 1.2 or j?
j
Let b be 1/((-1)/(-3)) - 2. Suppose 2*u - b = -k + 5, 24 = 5*k + 4*u. Suppose p - k = -3*p. Which is bigger: p or -2/9?
p
Suppose z = -3*o + 37, 4*o - 3*z = -o + 85. Let v = -127.5 - -135. Let h = -7.5 + v. Which is smaller: h or o?
h
Let q = 463 + -465. Is q greater than 0.14?
False
Let a(q) = -77*q**3 - 2*q**2 + 4*q - 3. Let s be a(1). Is -79 at most as big as s?
True
Suppose 30 = -4*t - 2*t. Let i be 9/t + (-4)/(-5). Let y = -352/465 + -4/93. Are i and y non-equal?
True
Suppose -32*p = -33*p + 8. Which is smaller: p or -5?
-5
Let n = 12 - 10. Let v be (-8)/12 - (n + -3). Let u be -3*7*(-12)/(-12). Is v > u?
True
Suppose -7*f + 228 = -3*f. Let b = 19 - f. Let u be 46/(-3) - b/(-57). Which is bigger: -17 or u?
u
Suppose -6*f - 2700 = 3*f. Let a be ((-1)/2)/((-15)/f). Does -5 = a?
False
Let i = -10.97 - -11. Let j = i + 0.07. Let v = j + -0.3. Are -0.2 and v nonequal?
False
Let g(i) be the third derivative of -i**4/8 - 65*i**3/6 - 30*i**2. Let u be g(-21). Is u smaller than 3?
True
Let a(t) = 3*t - 19. Let k be a(5). Let r be k/(-36) + 6/(-18). Let i = 14 + -10. Which is smaller: i or r?
r
Let o = -817 - -820.99. Which is smaller: o or -2?
-2
Let y = -2 + 3. Let x be (-12)/(-10) + (-2)/10. Let r = x - y. Which is smaller: r or -2/7?
-2/7
Suppose -10*y - 4*y = -140. Suppose 3*t + 5*w = -4, -2*w + 7*w = -5*t - y. Is t at most -3?
True
Let b = -17/15 - -4/5. Let a be ((-180)/(-225))/((-8)/(-10)*(-108)/24). Is a < b?
False
Let w be (-5007)/(-9) + (-2)/(-1). Let o = w - 564. Which is greater: o or -6?
o
Let m = -243/19 - -218400/17081. Which is smaller: m or 1?
m
Let t = -235/68 + -32213/340. Which is smaller: -98 or t?
t
Let m = -573/7 + 21222/259. Are m and -1 unequal?
True
Let n(g) = 2*g**2 - 65*g - 178. Let z be n(35). Suppose 56 = -w + 3*w. Suppose -5*u + 3 = w. Which is smaller: u or z?
u
Suppose -5*k - 5*b + 4*b + 121 = 0, 2*k - 3*b - 45 = 0. Let m = -69 - -42. Let r = k + m. Is -11/5 at least r?
True
Let a be (-15 - -1)/(1/6*12). Let n = 5 + -3. Suppose 2*l + 32 = -n*l. Which is smaller: l or a?
l
Let u be (-5 + 20)/(3 - 4). Which is greater: -14 or u?
-14
Suppose 3*v + 3*v - 36 = 0. Suppose -5*a - 20 = 0, -v*c + c - 4*a - 26 = 0. Let i be 140/(-49) + c/14. Is i smaller than 1/6?
True
Suppose j + 5 = 5*s - 0*j, -2*j + 4 = -3*s. Let v(k) = k - 2 + 2 + 4 - s*k. Let d be v(5). Which is smaller: d or -2?
-2
Let r(p) = p**2 - 12*p + 15. Let c be r(11). Let v = c + 0. Suppose -4*a - 28 = 5*x, -x + 3 = -v*a - 1. Which is smaller: a or -8/7?
a
Suppose 0 = -4*z + z + 6. Let p = 1.961 + 0.039. Let j = 1.9 - p. Is z < j?
False
Suppose 56 = -27*j + 31*j. Let f = 13 - j. Which is bigger: f or 1/8?
1/8
Let u = 0.2 + -0.1. Let z = -27 + 25. Let n be 16 + -24 + (-4)/z + -1. Is n at most u?
True
Let w(d) = -d**2 + 13*d - 36. Let a be w(4). Do a and -12/31 have different values?
True
Let o(j) = 6 + 3 + j - 4. Let h be o(-3). Suppose 25 - 11 = 14*a. Is a bigger than h?
False
Let b(x) = 47*x**2 - 4. Let g be b(-2). Is g not equal to 184?
False
Let w be (5356/(-10) + -1)*-5. Let q = 13539/5 - w. Let o = -25 + q. Which is smaller: o or -1?
-1
Suppose 35 = 16*n - 413. Which is greater: 36 or n?
36
Suppose -4*n - 96 = 4*d - d, -4*n + 3*d = 120. Let b = n + 27. Is -1/6 bigger than b?
False
Let v = -0.492 + -33.508. Which is smaller: v or 3?
v
Let h = 63/190 + 624/95. Is -1/3 greater than h?
False
Suppose 40*p - 34*p = 42. Let i(l) = -l - 1. Let c be i(-10). Is c at most p?
False
Let q = -6/73 + -49/292. Is -39 equal to q?
False
Suppose -3*l - 3*a - 12 = -8*l, -l = 4*a + 16. Suppose l = 8*j - 6*j + 26. Is -14 != j?
True
Let n be 2/(-8)*(11 - 11). Suppose 2*d + 2*s - 7 = s, n = 5*d - 3*s - 34. Which is smaller: 3 or d?
3
Suppose 18*d - t = 15*d + 634, 2*d - 4*t = 426. Which is greater: 213 or d?
213
Let b = 17387 + -17425.972. Let z = -39 - b. Which is greater: z or -0.1?
z
Let p(y) = -22*y + 79. Let s be p(7). Which is smaller: -77 or s?
-77
Let m = 23.7 - 42. Let l = 1.3 + m. Let b = -16 - l. Which is smaller: 0.2 or b?
0.2
Let t be 73/7 - (-21)/(-49). Suppose -7*o - t*o = 306. Suppose -4*m - 61 = -5*u, 36 + 18 = -3*m + u. Which is smaller: o or m?
m
Suppose 351*k - 108 = 347*k. Is k smaller than 132/5?
False
Let i = -168.9 - -169. Which is smaller: i or 143?
i
Let l = -13.2 - -13. Let c = 61 - 60.98. Is c less than or equal to l?
False
Let q = -18/17 - -231/170. Is -1 less than or equal to q?
True
Let z = -4.69 + 4.49. Are -366 and z nonequal?
True
Let r = -21 + 33. Suppose 9 = r*g - 9*g. Let v(t) = -t**3 - t - 1. Let m be v(-1). Which is greater: g or m?
g
Let y = -55 + 97. Let v be y/36 + (-1)/(-6). Let z be 2*(-5)/(2 + -12). Is z bigger than v?
False
Suppose -2*j + 5 = 13. Let v be 11 + j + 0/(-5). Which is bigger: 6 or v?
v
Let g = 2.962 - 2.67. Which is smaller: -1 or g?
-1
Let s(n) = 4 - 6 - 2*n + 0*n. Let b be s(-1). Are -14 and b unequal?
True
Suppose 235 + 95 = -6*v. Let t = 57 + v. Let q(g) = g + 9. Let r be q(-5). Is r < t?
False
Let w = 11953/4 + -2988. Does 598 = w?
False
Let g = 13603/23 - 591. Suppose 2*o = 8, -4*c + 5*o + 59 - 83 = 0. Is c equal to g?
False
Let b = 9197/133 - 480/7. Which is bigger: b or 1?
1
Suppose -10*z - 2*z = -8*z. Let p = 12 - 0. Which is greater: p or z?
p
Suppose -h + 5*f = 21, -h - f = -3*f + 6. Let a(t) = -t - 14. Let q be a(-12). Let j be (-2 - -3)/(q/(-8)). Is h less than or equal to j?
True
Let c = 37 + -35. Let w(h) = -3*h**3 + h**2 + h + 1. Let n be w(c). Let v = 0 + -16. Which is smaller: n or v?
n
Let l be 189/(-255) - ((-33)/(-15) - 2). Is l > 2/11?
False
Let x = -0.0674 + 1.4674. Is x at least as big as -18?
True
Let v = -5 + -3. Let n = -6 - v. Which is smaller: -0.08 or n?
-0.08
Let j = 6.5 - 6.84. Are 2/19 and j unequal?
True
Let m be -10 - ((-3)/(-2))/(2/4). Let f(k) = -k**2 - 14*k - 15. Let q be f(m). Is -3 != q?
True
Let y = -34603/1499557 - -2/11447. Is -1 equal to y?
False
Let d = 2415 + -2017. Which is greater: -1/3 or d?
d
Let h be (1/2)/(4/32). Let c = 1 + h. Let a be c/7*(-35)/(-10). Which is bigger: 3 or a?
3
Let x be 6/(-10) + 6 + (-470)/475. Let w = -42/19 + x. Is 3 greater than w?
True
Let b = -8.52 + 9.02. Which is bigger: 16 or b?
16
Let v be (32/76)/((-95)/(-769)). Let t = -3/361 + v. Suppose 7*b = 9*b - 4. Which is bigger: b or t?
t
Let a = -248 + 203. Is a != 3?
True
Let m = 113/3 + -3280/87. Let n = 41 - 40. Which is smaller: m or n?
m
Let h = -1192 - -1191.53. Let o = -2 - -1. Which is bigger: o or h?
h
Suppose -8*p = -9*p + 2. Suppose 0 = p*m + 4*w - 1 + 23, -5*m = 3*w + 83. Is m > -18?
False
Let o be ((-8)/3)/((-12)/18). Let f = 16 - o. Suppose -7*b + f*b = -5. Which is greater: -1/2 or b?
-1/2
Let o be (10/12*2)/((-7)/1491). Are o and -351 non-equal?
True
Let s(q) = -8*q + 14. Let u be s(5). Let b = u - -27. Is b bigger than -3/106?
True
Let q = -5 - -4. Suppose -7*i + 56 = -3*i. Which is smaller: q or i?
q
Let w(g) = 3*g - 28. Let c(p) = -13*p + 112. Let f(a) = -2*c(a) - 9*w(a). Let v(l) = -l. Let z(x) = -f(x) - v(x). Let k be z(13). Are -2 and k non-equal?
False
Let g be 1/4*(-12)/3. Is g at least as big as -15/8?
True
Let h be 1*-1*2*6/42. Is 1/17 greater than h?
True
Let o = -4.7 - 0.3. Let z = -4.8 - o. Let n = 12 - 11.7. Are z and n equal?
False
Let d = -367 - -366.9. Which is greater: d or 25?
25
Let m = 121 - 198. Let a be 33/m - ((-241)/(-91) + -2). Is 0 > a?
True
Let b = -1007/6 - -502/3. Which is bigger: -72 or b?
b
Let i be 16/(-28) - (38/(-28) + 1). Let n = -5/7 - i. Is n < -2/5?
True
Let g(i) = -2*i**2 + 15*i - 44. Let a be g(7). Which is smaller: -41 or a?
-41
Let k = -68.3 - -73.31. Let v = -1.29 - k. Let u = v + 6. Which is bigger: 2 or u?
2
Let p be ((-2)/52)/(6/4). Let t be (1/7 + 34/(-238))*-1. Is t greater than p?
True
Let b = -170.509 - -170.5. Is 0.23 less than b?
False
Suppose -4*p = -57 + 21. Let a = -39/4 + p. Which is smaller: a or 12?
a
Let c = 543 - 365. Is 177 <= c?
True
Let m = -13 - -27. Let x be -4*(1 + (-12)/m). Is x != 1/4?
True
Let n 