alse
Let d = -617/763 + 57/109. Is 15.7 at most d?
False
Suppose 3*g - 4 + 13 = 0. Let p be (g + (-1 - 29550/(-7385)))*7. Is p at least as big as 1?
False
Let n(f) = -f**2 - 12*f + 15. Let w be n(-13). Suppose 6*y = 16 + w. Suppose -15 = 7*t - 8. Which is greater: y or t?
y
Let c(d) = 94*d + 662. Let b be c(-3). Is 380 not equal to b?
False
Suppose -s - 23 = -24. Let l = 19 - 17. Let u = 3.4 - l. Do u and s have the same value?
False
Suppose -k = d + 7, 0 = 2*d - 2*k - 2583 + 2573. Is d bigger than 14/85?
False
Let k = 19279 + -19277.4. Is 5.21 greater than or equal to k?
True
Let s(m) = 42*m + 82. Let c be s(29). Let q be -2*(-1)/(-2) - c/(-1315). Is q greater than or equal to 1?
False
Let u be 360/(-21)*(-5 + -9). Let x be 16/(-6)*u/(-32). Suppose 0 = -22*g + x*g - 82. Which is greater: -43 or g?
g
Let d = 467 - 688. Let o = d - -208. Which is smaller: 8 or o?
o
Let g = -2035 + 67162/33. Let i = g - 0. Which is smaller: i or 1?
i
Suppose 0 = -3*j - 5*z + 37, j = -2*j + 3*z + 45. Suppose 3*a - p - 47 = 0, -p + 30 = 2*a - 8. Suppose j*x - a*x + 9 = 0. Is x greater than or equal to 0?
True
Suppose -2*v + 3*v = 17. Suppose 0 = -w - w + 3*l + v, 2*l = -10. Let c = 16801/42 - 2407/6. Is c <= w?
True
Suppose 0 = f - 4*b + 2, 4*b - 14 = -5*f - 0. Let o be (f - -3) + 37089/(-3339). Let s = o + 128/21. Which is smaller: 1 or s?
s
Let y = -16356/5845 + -2/1169. Which is greater: y or 8/5?
8/5
Suppose 5*p + 12*q - 11*q = -16, 4*p + q = -13. Which is greater: -537 or p?
p
Let r = 631 + -9461/15. Let i be 2/15 - (-988)/15. Let g = 66 - i. Is g < r?
True
Let m = 9.3 + -9.484. Let c = m - -152.184. Let f = c + -134. Do f and -1 have different values?
True
Let s(y) = -10*y + 3. Let l be s(6). Let n(i) = 38*i**2 + 104*i + 1. Let w be n(-2). Which is bigger: l or w?
w
Let m = -2415.9 - -2416. Which is smaller: 3.14 or m?
m
Suppose -80*s = -85*s - 10. Let f be (-4)/3 + (-5 - s) + -3. Which is smaller: -8 or f?
-8
Let q = 15527 + -15526. Which is smaller: -2/5537 or q?
-2/5537
Let b be (-16)/(-15 - -31) - (-577)/(-67). Which is bigger: -10 or b?
b
Suppose -7053 - 5661 = 26*n. Is -3/14 bigger than n?
True
Let p = 455629 - 455629.2. Let t = 32 - 96. Which is greater: p or t?
p
Let b(t) = -t**2 - 8*t + 18. Let s be b(-9). Let k be (30/s)/(7/(-3) + 3). Which is bigger: -4 or k?
k
Let d(g) = 7*g + 4. Let s(x) = -x + 1. Let y(p) = d(p) + 3*s(p). Let l be y(5). Let b = l - 27. Is b != -0.27?
True
Suppose -4*q - 24 - 130 = 2*a, 113 = -a + 4*q. Which is greater: -84 or a?
-84
Let p = 10 - 19. Let x be (-22)/6 + (-2)/(-3). Which is greater: x or p?
x
Let q(y) = -73*y - 2262. Let u be q(49). Is u less than or equal to -5839?
True
Suppose 3*i - 80 + 74 = 0, -3*i = -l - 8. Is -1743 not equal to l?
True
Let p be (-9 - (-107)/12)*-3. Is -15 < p?
True
Let l = 25385 - 24931. Is 454 >= l?
True
Let i(d) = d**3 + 14*d**2 + 59*d + 6. Let v be i(-8). Which is smaller: -83 or v?
-83
Suppose -5*v = 3*u - 753, 29*u = 26*u + 4*v + 753. Let c be u/805 - (-12)/(-42). Which is smaller: 1 or c?
c
Let v = -18.5 + -18.5. Let i = v + 34. Let g = 3 - 2. Which is bigger: i or g?
g
Let y be 10/45 - (-129)/27. Let d be ((0 - 2) + 20/2)/((-42)/(-24)). Which is greater: y or d?
y
Suppose -11*x - 2*w = -15*x + 26, 25 = 5*x + 5*w. Let r be ((-8)/6)/((-10)/15). Does x = r?
False
Suppose -459 = -6*n + 699. Let g be n/(-4) - 1/(-4). Which is bigger: -50 or g?
g
Suppose -t + 16 = -22. Suppose t*j - 69 = 37*j. Let b = j - 37. Which is greater: 1 or b?
b
Let j be ((-7608)/(-2880))/(-9*4/30). Which is smaller: -2 or j?
j
Let p = 2 + 0. Suppose -q = p*q. Let j = -13335 + 266699/20. Which is smaller: j or q?
j
Let t be (-9 + 65)/7 + 20. Let v = -31 + 41. Suppose -40 = -w - v. Which is smaller: t or w?
t
Let t be (-2 + -272)/(-2 - -1). Let h be 5 + (14/4 - 2)*174 + 6. Is t <= h?
False
Suppose -535*f + 544*f + 9 = 0. Is f smaller than 104/215?
True
Let u(i) = 30*i**3 + i**2 - i. Let a be u(1). Suppose 10 = d - h - 23, 78 = 2*d - 5*h. Let m = a - d. Is -2/27 bigger than m?
False
Let t = 0.68 - 0.695. Let n = -8.215 + 8. Let l = t - n. Which is bigger: -2/15 or l?
l
Let u be 13/4 + (-1)/4. Let z = u + -3. Let w be 1/2 + 11997/(-12834). Which is smaller: w or z?
w
Suppose 0 = 1369*l - 1413*l - 10296. Are l and -233 unequal?
True
Let w(z) = 11*z - 1. Let a be w(2). Let h = -5731 - -5736. Is h at most a?
True
Let m = -283 + 281.8. Let n = m + 2.3. Which is greater: n or 0?
n
Let m be ((-18278)/76)/(3/(-15)). Which is greater: 1203 or m?
1203
Let a be ((-35)/25)/(1/5). Let j = a + -18. Is j less than -0.1?
True
Let j = 25 - 10. Let m be -3 - (-2 - 152/8). Suppose -4*y - 3*b + 73 = 0, -4*y = -3*y + b - m. Which is smaller: j or y?
j
Let v be ((-26)/3)/(2/18). Let u = v - -93. Which is smaller: u or 6?
6
Let o = -1880692/401 + 4690. Do o and -1 have different values?
True
Let w(q) = 4*q**3 - 2*q**2 - 3*q + 714. Let h(x) = x**2 - 4*x - 32. Let n be h(-4). Let g be w(n). Is g > 714?
False
Suppose -2*z + 3*z + 4*c - 15 = 0, -4*z = 2*c - 32. Let w = 12.0827 + -0.0827. Which is bigger: w or z?
w
Let b be ((3 - -30)*-21)/(-1). Let d be b/42*2/3. Suppose 3*w + w = 2*l - 16, -d = w - 4*l. Is 4 > w?
True
Let g = 2 - 21. Let d(x) = 25*x - 37. Let b(m) = -6*m + 9. Let q(i) = 26*b(i) + 6*d(i). Let y be q(2). Which is greater: g or y?
y
Let k = 52643 - 90230091/1714. Is k greater than 1?
False
Let l = 21 + -18. Suppose l*z = -3 - 12. Let s be ((-24)/20)/(1/5). Which is smaller: z or s?
s
Let a(l) = -l**2 + 215*l - 1455. Let t be a(7). Is 19/360 at most t?
True
Let r(z) = 3*z**2 - 113*z + 2239. Let k be r(57). Is 5545 bigger than k?
False
Suppose -4*g = -p - 17, -4*p + 0*g = -3*g + 3. Let m(s) = 11*s + 12. Let w be m(p). Let b = w + -44. Which is bigger: b or -1?
b
Let v = -1654 - -11576/7. Is 3488 at most v?
False
Let d(l) = -l**3 + 103*l**2 + 884*l - 133. Let j be d(111). Which is smaller: j or -588?
-588
Let y = -358 - -361. Let c be 3/12*(-8*y)/(-6). Are c and 14/17 unequal?
True
Let t = -321 + 319.29. Let q = 3.51 + t. Is 0.09 != q?
True
Suppose -30*z - 20 = -26*z - u, 0 = 3*z - u + 14. Let t be z/(-24) - (2 - 11/4). Are 19/22 and t nonequal?
True
Let j = 509 - 506. Suppose -156 = -j*w + 4*s, -4*s = 3*w - 4*w + 44. Is w less than 54?
False
Let s = -39530 - -32381. Is -7149 at most as big as s?
True
Let n be 16/21 - 1/3. Let q = 30091 - 30105. Do n and q have different values?
True
Let x(l) = 7*l**3 - 7*l**2 - 19*l - 2. Let t(k) = -4*k**3 + 4*k**2 + 9*k + 1. Let p(n) = 5*t(n) + 3*x(n). Let h be p(4). Is h < 3?
True
Let i = 1044889104/10289 + -101554. Does i = -1?
False
Let l(o) = 99*o - 395. Let j be l(4). Let r be -47 + 2 - (0 - -2). Does r = j?
False
Suppose -5*s + 2*s + 5*m - 19 = 0, -3*s - 2*m = -16. Let r be 3*(-20)/24*s. Is r equal to -3/4?
False
Let q(v) = -v**3 + 15*v**2 - 5*v - 120. Let n be q(14). Let w be (3/(n/2))/(-2 + 1). Which is smaller: w or -14/71?
w
Let l be (-5)/(((-15)/(-3))/(-5)). Suppose 0 = 3*b + 9, 0 = -l*s + 3*s - b - 27. Are -86/7 and s unequal?
True
Suppose 11*u = 2*o + 16*u - 442, -3*u = -o + 188. Is -41 < o?
True
Suppose -2*v + 28 = -q, 4*v - 22 = -q + 2*q. Let m be (4/10)/(q - 27). Is m less than 1?
True
Let t = -488 - -546. Let o = t + -57.8. Which is bigger: o or 172?
172
Suppose -55 = 2*h + 20*s - 23*s, 5*s = h + 38. Let u be -69*((-3)/3 + 0). Suppose -a = 3*c + u, 0 = c + 4*a + 28 - 5. Is c greater than h?
False
Let j be 135 + 2/(-12)*(-19 + 1). Let a be (99/(-145))/(j/(-460)). Is a smaller than 3?
True
Let s be 110*(3/(-6)*-2)/(-2). Let f = 55 + s. Let t be f + 32/18 - (15 - 13). Which is smaller: t or -1?
-1
Let o be (4/24)/(1/(-6)). Which is smaller: o or -26/179?
o
Suppose 63*d - 31*d - 4785 = -55*d. Is d > 55?
False
Let s = -15324 + 15323. Which is greater: s or 46/477?
46/477
Suppose 7 = -4*x - 5*h - 0*h, 4*x - 3*h = -15. Let l be (-7)/(-42) - ((-269)/6 - x). Which is greater: l or 41?
l
Let h = -1889 - -1893. Suppose -75 = 3*r - 705. Let u be 3/(-7) + 895/r. Is u at least h?
False
Let r = -60.104 + 59.23. Is -7 at most as big as r?
True
Let n(s) = s**3 - 22*s**2 + 19*s + 42. Let r be n(21). Let o be (r - 4/130) + 4/40. Are o and 1 non-equal?
True
Let v be 270/12*(-2)/(-3). Let y be (-1)/5 + 18/(-10). Let c = 16 + y. Does c = v?
False
Suppose 4*w + 498 = -1573 - 309. Is w at most 4?
Tr