 112. Let c be (7672/(-411))/((-4)/(-9)). Is h > c?
True
Suppose -6*w - 25 = -5*f - w, w = 0. Suppose -4*h - h = f. Let s be (-3)/(-24)*h*2. Which is bigger: s or -1?
s
Let q be (112/(-1470))/((-2)/(-5)). Which is bigger: -37 or q?
q
Let z = 12374 - 12375. Is z at least as big as -7/2889?
False
Let b be 2/(-14) - -2*2562/196. Suppose 19*n + b + 50 = 0. Which is smaller: -26/9 or n?
n
Let c be ((-40686)/(-60) - 6) + 3/(-30). Do 674 and c have different values?
True
Suppose -35266 = 5*n - 4*r + 5*r, -3*n - 21174 = 3*r. Is n less than or equal to -7053?
False
Let i(r) = -9*r - 1. Let v = 13 - 10. Let g be i(v). Let z be ((-336)/(-60))/(4/(-20)). Are g and z nonequal?
False
Let t = -3451 - -3470. Is 218/11 greater than or equal to t?
True
Suppose 0 = 3*m - 5*m + 28. Let l = m + 18. Suppose 2*h - 4*b + l = 0, 0 = 5*h - 2*b + 107 + 13. Which is smaller: -27 or h?
-27
Let i be (-6)/(-45) + (-1339)/(-195) - 6. Do 8/3317 and i have the same value?
False
Let q(m) = 27*m**2 - 137*m + 2. Let c be q(3). Which is smaller: -333/2 or c?
-333/2
Let i be ((-4)/(-6))/((-28)/(-3570)). Let s = i - 76. Which is smaller: s or 25/3?
25/3
Let d = -685 - -584. Does -1 = d?
False
Let n = 0.1853 - 0.1142. Let k = -0.0541 + n. Is k != 0.1?
True
Suppose -5*m - 34 = -4*g, g + 2648 - 2681 = 3*m. Let l(r) = -r**2 + r + 374. Let t be l(0). Let z be 3/(-15) - t/30. Does z = m?
False
Let w = 13 - 69. Suppose 7*k + 41 = 62. Suppose -141 - 30 = k*o. Which is smaller: o or w?
o
Let f = -1/9510 - -308173/465990. Let m = f + -3/49. Is 2 at least m?
True
Let a(z) = 40*z - 215. Let t be a(6). Are t and 8.9 equal?
False
Let x = 0.1 - -0.9. Let a = x - 2. Let l = 3/29501 - -88482/206507. Which is bigger: a or l?
l
Let t = -472.685 + 0.685. Let z = t + 517. Which is bigger: -0.1 or z?
z
Let x(d) = -6*d**2 + 0 - 9*d + 15 + 0*d + 7*d**2. Let b be x(9). Suppose 0 = -5*a - 0*o - 2*o - b, a - o = 4. Which is smaller: a or 21?
a
Let g = 38 - 35. Suppose -5*m = -2*i - 196 - 73, -153 = -g*m + 4*i. Let n = m + -48. Which is smaller: 12 or n?
n
Let l = -18.307 - -17.307. Are l and 4/10843 non-equal?
True
Let z be ((-5)/2)/(1/(-4)). Let p = 12566/7 + -52010688/28973. Let i = 219357/20695 - p. Is z not equal to i?
True
Let o = 7001 + -35001/5. Are o and 173/7 equal?
False
Let k = -47 + 44.9. Let b = k + 2. Let t = -925076/555051 - 3/185017. Which is smaller: b or t?
t
Let k(t) = -t**3 + 23*t**2 - 125*t - 7. Let o be k(12). Does 537/7 = o?
False
Let q = -169 + 169. Suppose q = 2*b + b + g - 71, -4*b = g - 94. Suppose -96 = 2*o - 6*o. Is o not equal to b?
True
Let h be (-64)/20*(-20)/8. Let o be (-3)/4 + (-34)/h. Suppose 115 = -14*m + 17. Is m greater than or equal to o?
False
Suppose 7*c - 74*c - 7102 = 0. Which is smaller: c or -209/2?
c
Suppose -2 = 5*o - h + 29, 22 = -3*o + 4*h. Are o and 8 non-equal?
True
Let w be (32/(-20))/(112/(-1000)). Let z = -821/56 + w. Which is bigger: z or 0.1?
0.1
Let o(s) = s + 23. Suppose 8*x + 24 = 11*x. Let k = 1 - x. Let c be o(k). Is c <= 15?
False
Let i = -247/9 - -27. Let o(p) = -p**3 - 30*p**2 + 33*p + 68. Let l be o(-31). Let g be (-2 - (-14)/l)/((-2)/6). Which is bigger: g or i?
i
Let b(o) = -o**3 + 7*o**2 - 9*o + 7. Suppose -2*f + 3*q = 2*f - 15, -2*f + 20 = -4*q. Suppose f - 42 = -7*r. Let x be b(r). Which is smaller: -10 or x?
x
Let m(g) = -2*g**3 + 4*g**2 + 2*g - 7. Let b be m(3). Suppose -23*z + 27*z = 0. Suppose -5*p - 70 - 25 = z. Is p greater than or equal to b?
True
Let m = 3510 - 17711/5. Let f = m - -32. Let x = -446/91 - -60/13. Which is bigger: x or f?
f
Let d = -59 + 17. Let w = -41 - d. Which is smaller: 28 or w?
w
Let q = 87 + -88. Let l = -17 + 11. Let c be 2*1*l/378. Which is bigger: q or c?
c
Suppose -40*x - 24 - 16 = 0. Are x and -91 equal?
False
Let o = -251 - -253.57. Let k = -2.51 + o. Which is smaller: k or -2/25?
-2/25
Suppose 4*x + 4*t + 8 = 6*x, -31 = -5*x - t. Let f(q) = -6*q + 36. Let k be f(x). Which is smaller: k or -2/329?
-2/329
Let b = -1964 + 2163. Does b = 188?
False
Let h be -2*((-10)/4)/(76/(-8)). Suppose 6 - 57 = -3*o. Let q = o + -17. Is h greater than or equal to q?
False
Let b = 0.6 + 3.4. Let u = -3.57 + b. Is -1/2 greater than or equal to u?
False
Let v be (((-18)/17060)/9)/((-24)/(-90)). Which is smaller: -1 or v?
-1
Let v = -1101 - -1111. Which is greater: v or 13?
13
Let c(r) = -r**2 - 27*r + 6. Let p be c(-27). Let n be (3*p)/(22/(-55)). Let j be (128/(-10))/((-9)/n). Which is smaller: j or -65?
-65
Let s = 0.0035 - 58.6035. Let l = -53.6 - s. Which is smaller: 3 or l?
3
Let j(a) = 10*a + 5*a - a - 3*a - 54. Let f be j(4). Do f and -7 have different values?
True
Let p = -1934408/29 - -66696. Which is smaller: p or -8?
-8
Let i = -105 - -107.9. Let c = 2.879 - i. Is c less than 2?
True
Let a(x) = 2*x**3 - 9*x**2 + 7*x - 8. Let d be a(4). Suppose 13*t - 8*t = 3*c - 1036, 2*t = d*c - 1358. Which is greater: 336 or c?
c
Let t(v) = -54 + 46 - 8*v + 39. Let m be t(3). Is m bigger than 37/5?
False
Let t(g) = -g - 1. Let a be t(-1). Suppose a*l - 4*l - 2*h = 6, 2*l - h = -5. Suppose 6*p + 27 - 9 = 0. Which is smaller: l or p?
p
Let i(q) = q**2 - 3*q + 1035. Let r be i(0). Suppose 0*c - 9*c - r = 0. Which is smaller: -113 or c?
c
Let g = -341.3 + 342. Let p = g + -0.3. Let a = 131/126 + -11/18. Which is smaller: p or a?
p
Let o(l) = -5*l - 17. Let p be o(-5). Let j be p/(-44) + (-654)/33. Let z be (3/(-9))/((j/22)/5). Which is bigger: z or 3?
3
Suppose -19*x - 16 + 73 = 0. Suppose x*k + 7 = 13. Is k != 26?
True
Let y be 18/9 + 1 - (-2)/(4/(-2521)). Which is smaller: -1259 or y?
-1259
Let u = -15609 - -15612. Is u less than or equal to 1695?
True
Suppose 2*l + 24 + 8 = -2*a, 0 = a. Let b be (-70)/(-50) + l/20. Which is greater: b or -0.46?
b
Let v = -432 - -390. Let b be 6 - (-1 + v/(-2)). Do b and -12 have different values?
True
Suppose 3*r - 2*i = 21, 3*r - 3*i - 4 = 4*r. Suppose -r*n + 35 + 292 = -4*z, 3*z + 5*n = -289. Let q be 48/z*(-2)/(-3). Which is bigger: q or 1?
1
Let h be (124/60 + (-4)/10)/(23/17733). Is h less than or equal to 1291?
True
Let a be -1*((-9)/15)/(2/10). Suppose 8*y = 3*d + 3*y + 7, -a = 3*d - 3*y. Does 6 = d?
False
Let g = -61.5 - 15.5. Let j = -82 - g. Let c = 71/116 + 4/29. Which is smaller: c or j?
j
Suppose 0 = -3*l + 7 - 4. Let x = -1.218 + -51.782. Which is smaller: l or x?
x
Let x = -2244 - -1774. Is x bigger than -4220/9?
False
Suppose 0 = 8*i - 238 - 90. Suppose 0 = -3*g + 64 - 184. Let k = g + i. Which is bigger: k or 2?
2
Suppose 2*l - 37 = -51. Let r be ((-6)/21 - 30/l) + -4. Which is smaller: -5/8 or r?
-5/8
Let b = -13078 + 13019. Which is smaller: b or -37?
b
Let y(i) = -i**2 - 3*i + 175. Let m be y(0). Suppose 0 = -266*q + 271*q - m. Is q at most as big as 36?
True
Suppose -2*n + 4*j = 48, 2*j = 5*n + 6*j + 50. Suppose -4*r = 10 - 86. Suppose -16*x = -r*x - 45. Which is bigger: x or n?
n
Let i(b) = 18*b - 1051. Let t be i(58). Let d be (-3)/6 + 7/2. Suppose 4 = 2*m + 5*n, 2*m + 24 = -d*m - 4*n. Which is smaller: t or m?
m
Let r(l) be the first derivative of l**4/4 - 8*l**3/3 - l**2/2 + 6*l + 4. Let p be r(8). Let q be p/(-4) - (-30)/(-12). Which is smaller: 0 or q?
q
Let j(x) = -57*x - 413. Let o be j(-7). Which is smaller: o or 44?
o
Let o be 3 + (-1 - 1) - (-34193)/(-39804). Let s = o + -2/963. Is 1 at most s?
False
Let f be ((-1)/3)/((-20)/(-8)). Let l be (-6)/(-8)*(4 + 4). Suppose 0 = 14*y - 20 + l. Is f >= y?
False
Suppose 41 = -3*t - 166. Let a(n) = -n**2 - 12*n + 425. Let f be a(17). Which is smaller: t or f?
t
Let q = 130610 + -57599060/441. Let b = q - -577/4851. Which is smaller: 0 or b?
0
Let o = -7757 - -7927. Is o smaller than 213?
True
Let i(z) = -z**2 - 11*z - 5. Suppose 4*s + s + j + 47 = 0, 3*s + 3*j + 21 = 0. Let c be i(s). Let b be 6/(-21) - 111/(-21). Are c and b equal?
True
Let a = 14457 - 14407. Let n = -0.6 + 2.6. Is n > a?
False
Let a = -15473 - -16097. Do a and 3113/5 have different values?
True
Let m be (-165)/(-6)*(-66)/55. Let x be 120/(-40) - m/5. Are x and -1/3 nonequal?
True
Let r = 165.2 + -26.2. Let g = 145 - r. Let v(t) = t + 3. Let x be v(0). Is x at most g?
True
Let j(c) = -2*c**2 + 7*c + 126. Let d be j(0). Let g = -0.65 - -0.45. Is d greater than g?
True
Suppose p + 3*c + 50 = -4*p, 0 = -p + 2*c + 3. Let t(o) = -63*o**3 + 69*o**3 + 2*o**2