 + 28. Let y = 7.8 - 11. Is y less than z?
True
Let q be 0 - 0/(2 - -1). Suppose q*f + 3 = -3*f. Let p be (-1 + 15/2)/((-313906)/2324 - -135). Which is bigger: p or f?
f
Suppose 92*b = 123 - 399. Is -158/73 equal to b?
False
Let s be (-5)/10*0 + 4. Suppose a = 4*i - s*a + 19, a = 2*i + 11. Let l be ((-16)/20)/(i/315). Which is greater: 41 or l?
l
Let i be (1695/20)/(5/360). Let x = -54998/9 + i. Which is bigger: x or -9?
x
Let l = -6273 - -6509. Which is greater: l or 234?
l
Suppose 0 = 3*l + 9*l. Suppose 20*r - 15*r - 15 = l. Suppose 7 = -z + r*t, -5*t + 65 = z + 4*z. Which is greater: 6 or z?
z
Let u be 1 + 7 + 68/(-7) - (0 + -2). Which is greater: u or 69/31?
69/31
Suppose -5*c - 20 = -80. Let k = -1318549/7 - -188377. Are k and c nonequal?
True
Let p = 2439702031/3260 - 7482871/10. Let f = -351/4 + p. Is 1 < f?
False
Let b(x) = 5*x**3 + 2*x**2 - 6*x - 5. Let r be b(3). Let a be 10/(3 - r/46). Which is greater: 58 or a?
58
Let u(d) = -23*d + 355. Suppose 0 = -4*g - 5*z + 89, -54 = -16*g + 12*g + 2*z. Let t be u(g). Which is smaller: -3 or t?
t
Let b = 277 - 278. Let k be (-320)/(-132) + b + 1/(-3). Are k and -13 nonequal?
True
Suppose 0 = -63*u + 72*u - 37840 + 6331. Is u less than 3502?
True
Let b be -2*(-15)/5 + -5. Suppose -5*v - 23 = -w, w - v = -2*w - b. Let t be 5/w + 27/18. Is t greater than 1?
False
Let p = -29525 + 29490. Let v be 1*(-3 + 2) + -34. Are p and v unequal?
False
Suppose 3*m + 29 = 26. Let c be (19 - 10)*m/(-2 - -1). Let a be (-27)/c + (-98)/(-34). Which is smaller: -3 or a?
-3
Let n = 411773979/8909 - 46220. Is n equal to 1?
False
Let a be ((-3)/9*67)/(4/(-6)). Let w = 203/6 - a. Which is bigger: w or 2.5?
2.5
Let m = 38 - 35. Suppose w + 35 = 6*w + 4*c, -5*w = -m*c - 35. Suppose 187 = w*t - 191. Is t smaller than 54?
False
Suppose -9*t - 8*t = -782. Suppose 0 = t*a - 42*a + 1692. Which is smaller: a or -424?
-424
Let w = 14387050423115/2876260772 + -37/11934692. Let l = w + -5002. Are -1 and l equal?
False
Let v = -15941 - -2088267/131. Is v less than 0?
True
Suppose 820 = -7*w - 902. Let m = w - -736/3. Which is smaller: m or 39?
m
Let j be 1/(2967/(-741) - (0 + -4)). Let p = 1.736 + -1.836. Which is smaller: j or p?
j
Suppose -395*z + 50976 = -107*z. Which is smaller: z or 131?
131
Let n = -9 - -8. Let g be (-924)/182 + 7 + -1. Which is greater: g or n?
g
Let k = 8309 - 9499. Which is bigger: k or -1185?
-1185
Let g(c) = c**3 + 2*c**2 + 3*c - 1. Let h be g(0). Let p = -42 - -66. Let s = p - 35. Is s greater than or equal to h?
False
Let u be (363/1331)/(1/11). Which is smaller: 75/38 or u?
75/38
Let g = 604/17 + -113535/3196. Which is greater: g or -11?
g
Suppose 12*j = -24577 - 6311. Let c be j/(-39)*(6/4)/3. Is 32 >= c?
False
Suppose -2*t + 0 = 4*x + 38, 5*t - 85 = 5*x. Let o be (-4)/(-6) + x/(-36). Which is bigger: 1/158 or o?
o
Let v = -0.467 - -1.367. Which is greater: v or 1572?
1572
Let f(g) = g**3 - 32*g**2 - 3*g + 99. Let k be f(32). Suppose -3*s - 3*u - 208 = 53, s - k*u = -95. Is s >= 2?
False
Let y be 1/(-1) + 21/15 - (-26467)/(-83580). Is -2/177 equal to y?
False
Let x be ((-2)/30*-5)/(5123/141). Which is smaller: 13 or x?
x
Let m be (2 + (-384)/195)/(1/(-5)). Let l(n) = n**2 - 2*n - 1. Let g be l(-1). Suppose 3*h = -g*h. Which is bigger: m or h?
h
Suppose 138*r - 151 = -13*r. Is 1/4213 less than r?
True
Let p = 11.6 + 8.7. Let d = p + -20. Let x = d + -1.3. Is x <= -3/5?
True
Suppose -116*f + 101827 + 79487 = -15770. Is f not equal to 1698?
True
Let s = -758 + -417. Let l be (6/10)/((-5)/(s*1)). Let x = l - 140. Is 0.089 bigger than x?
False
Let m(f) = -15*f**3 - 2 - f**2 - 1 - f**2 + 16*f**3. Let t be m(5). Suppose 6*j - t = 9*j. Is -24 at least as big as j?
True
Let v = -0.2478 + 589.3478. Let t = v - 590. Is t at least -3?
True
Let d = -4780 - -5898. Is d > 1117?
True
Let u be 20757/518 + 2/4. Suppose 14*b = -4*b + 756. Is b bigger than u?
True
Let u(l) = -8*l**2 - 10*l + 64. Let n(x) = -5*x**2 - 5*x + 32. Let d(m) = 11*n(m) - 6*u(m). Let r be d(6). Does -252 = r?
False
Let a be 84/8*(-10)/(-15). Suppose 381 = a*v + 94. Is v <= 41?
True
Let d = -2001 - -2007. Which is smaller: 3 or d?
3
Suppose -3*r + 2*r = -37. Suppose -3*t - s - 152 = -261, t - 5*s - 31 = 0. Is t greater than r?
False
Let l(r) = 1746*r + 1. Let v be l(0). Do v and 15/2633 have the same value?
False
Let o(u) = -12*u**3 + 8*u**3 - 3*u**2 - 3*u**2 + 5*u**3 + 11 + 2*u. Let p be o(5). Which is greater: p or 9?
9
Let g = -2519 + 415. Which is bigger: g or 1/2?
1/2
Let g = -13492/3745 - -2/749. Suppose 11 = -6*c + 29. Suppose -c*i = -7*i + 8, 0 = -3*b + 2*i - 19. Is b <= g?
True
Suppose -101*u - 70*u + 140*u - 5053 = 0. Which is smaller: u or -148?
u
Let o be ((-5)/30 + (-9)/108)*-4. Is o != 48/109?
True
Let h be -136 + 33/(429/130) + 1*3. Which is greater: h or -1359/11?
h
Let b be (-1 - (-1514)/(-218)) + -275 + 283. Is 1 <= b?
False
Let g = -0.04473 + 0.43473. Which is greater: g or -0.14?
g
Let p = 543 - 159. Let i = -374 + p. Which is smaller: 2/27 or i?
2/27
Let m = 2069 + -2064. Let p = -1.75 + 2. Are p and m non-equal?
True
Let c = -4.75 - -185.75. Let p = 180 - c. Which is greater: 1.18 or p?
1.18
Suppose -x - g = -58, 30*g = 31*g - 1. Which is greater: x or 229/4?
229/4
Suppose 5*o = 5*m + 3*o + 23, 0 = 2*o + 2. Suppose 364*q + 11413 - 3405 = 0. Is q bigger than m?
False
Let h = -1704 + 1704. Which is bigger: 1/4057 or h?
1/4057
Suppose p - 7 + 124 = -b, 4*b + p = -459. Which is bigger: b or -112?
-112
Suppose -6*j = 0, -5*c + 65 = 44*j - 45*j. Which is smaller: c or -14?
-14
Let v = 105 - 104.9. Let n = 0 - v. Are 111 and n equal?
False
Let f = -11578 + 4126. Is -0.2 equal to f?
False
Let l = -199.2 + 217. Let f = -16.8 + l. Is 189 >= f?
True
Let r = 6234/7 + -896. Let h(u) = u**2 - 10*u - 5. Let d(q) = q + 1. Let y(j) = -6*d(j) - h(j). Let v be y(5). Is r greater than v?
True
Let l be 10/(-825)*-4437 + (-16)/88. Let i = l - 869/15. Is i != -3?
True
Let v = 374 + 11. Suppose -j - 7*z = -6*z + 95, -5*z = 4*j + v. Is j equal to -88?
False
Let a = -3.3193 + -0.6807. Are a and -1898 equal?
False
Let z = 32089/57104 + 2/3569. Which is greater: z or 0.16?
z
Suppose -11*u + 1120 = 3*u. Let k be ((-12)/(-75))/(1/(u/7)). Let j = -7/5 + k. Are j and -0.2 equal?
False
Let b = 4370.5 - 9174.14. Let z = -4891 - b. Let f = -87 - z. Which is greater: -1/3 or f?
f
Let k(q) = -41 - 29717*q + 29701*q + 280. Let p be k(15). Is p at most as big as -1/468?
True
Let v = -294 - -84. Let k = 210 + v. Which is greater: k or -0.66?
k
Let o(v) = -v - 6. Let r be o(-9). Suppose -5*j + r*u - u = 423, -82 = j - 3*u. Is -87 < j?
True
Let z be (-1)/(-2) - (-99)/6. Suppose 3*g - 3*x = -3, 2*g + x + 7 = g. Let d be 17 + 4/8*(g + 0). Which is greater: z or d?
z
Let m = -65 - -40. Let l = 19 + m. Let j = l + 1. Which is smaller: 4 or j?
j
Let r = -156 + 150. Let k be 2 + (355/(-40) - r). Which is greater: k or 0?
0
Let o = -1085 - -1092.27. Let h = -0.27 + o. Let c = h - 35. Is 0.1 greater than c?
True
Let o = 0.0084 + 1.8226. Let z = -0.169 - o. Let d = -7 + 7.07. Is z at least d?
False
Let u = -53.32 + 60. Let p = u - 7. Let y = p - 3.68. Is y > -0.2?
False
Let f be 9/((-360)/16)*90/(-2 + 0). Which is smaller: 30 or f?
f
Let c be ((-14)/(-882)*21)/(1/12). Which is bigger: 304 or c?
304
Let i = 31.2 + -33. Let f = i + -3.1. Suppose -5*y = 4*z + 16, -24 = 4*y - 8. Which is smaller: z or f?
f
Suppose 2*c + 4 = 5*h, 10 = -18*h + 14*h - 5*c. Which is smaller: -3/958 or h?
-3/958
Let h(r) = 2*r**2 - 9*r. Let g = 30 + -26. Let i be h(g). Let m be -3 - (-2 - i - 4). Which is smaller: m or -1/3?
m
Let k = 50 + -112. Let l = k - -61.94. Does l = -1?
False
Let d be (1155/(-10) + -3)/(1 + 2). Let s = -135 + 93. Let x = s - d. Are x and 1/7 non-equal?
True
Let v(w) = -w + 2. Let q be v(2). Let o(f) = 6*f**2 - 4*f - 5. Let p be o(-1). Let j be (-3 + p)/(-10 - -8). Which is greater: j or q?
q
Let n = -451 - -453. Suppose -2*c - 18 + 22 = 2*s, -3*c + 4 = n*s. Let v be 9/69*2/(-3). Which is smaller: v or c?
v
Let l = 15989/5 + -58727587/18365. Is l greater than -1?
True
Let m = -0.26459 - -1.26459. Is 26/5 bigger than m?
True
Let n = -5947 + 112953/19. Which is bigger: -3 or n?
n
Let c be ((-1264067)/4895)/((-12)/(-25)). Let i = c - -538. Is i >= -2?
True
Let g(y) = y**3 +