43085/1612094733396. Let y = f + -4361. Let p = 2/81 - y. Is p not equal to 1?
True
Let a = -207 - -33. Let g be ((-28)/(-24))/((-1)/(-10))*(-80 + 65). Is a at least as big as g?
True
Let z(v) = -83*v + 913. Let l be z(11). Is l not equal to -2/987?
True
Suppose 2*z = r - 13, z + 5*r - 12 = -2. Let s be (z - -5 - 1)/1 + 0. Which is smaller: -1/70 or s?
s
Let a be -2 - (0/(-4) + -2 - -3). Let m = a + -77. Let z(y) = -17*y + 22. Let v be z(6). Does m = v?
True
Suppose 5*i - 11 + 56 = -h, 4*h - 30 = i. Let c = -17 - i. Let t be ((-46)/138)/(((-4)/184)/(1/(-2))). Is c greater than t?
True
Let u = 22566 + -90263/4. Which is bigger: -2111 or u?
u
Let l(d) = 300*d**2 - 18*d + 48. Let c be l(2). Are 1213 and c unequal?
True
Let t be (-213)/(-12) + 8/(-224)*-7. Which is smaller: 68 or t?
t
Let d(m) = -m**2 - 5*m - 7. Let x be d(-5). Let v be (10 + -12)/(-2 + 4)*x. Which is smaller: 34/5 or v?
34/5
Let m(g) = -g**2 - 36*g + 148. Let b be m(-40). Let k be -15*(32/48 - 4/15). Which is smaller: b or k?
b
Let a = 2077 + -2087.23. Which is smaller: -1 or a?
a
Let s be (-3)/36*-3*180/(-45). Is s bigger than -1/3440?
False
Suppose -2*t + 2*b = 32606, -1542*t - 2*b - 16288 = -1541*t. Which is smaller: -16297 or t?
t
Let h be 33 + (-14 - (2 + -8)). Suppose 0 = a + 3*t + 6, -3*a - 2*t - 38 = -8*a. Let w = a - h. Which is smaller: w or -20?
-20
Let w = 0.29 - -11.71. Let d = -52 + 55. Is d greater than w?
False
Let g(c) = -c**3 - 14*c**2 + 10*c + 16. Let s be g(-15). Suppose -11 = 2*n + s. Let r be (-207)/n - (-2 + 6). Which is greater: 0 or r?
r
Let j = 2.6518 - 2.5418. Is j bigger than -279?
True
Let o(g) = 59*g + 869. Let i be o(-16). Are 7 and i equal?
False
Let r be 1/(-2) - 3207/(-2)*1. Let j = r - 14375/9. Is j not equal to 7?
True
Suppose -8 = t + 4*s - 67, 0 = -4*s. Let c = 82 - t. Suppose w - 107 = -4*u - 4*w, 0 = u - 2*w - 17. Is c > u?
False
Let j = 218/907 + 2441932/6349. Which is smaller: j or 1?
1
Let i be 3/(30/122)*-1. Let n be 42*37/((-4403)/34). Is n at least i?
True
Suppose 14*q + 35 = 12*q + 5*v, -56 = 4*q + 4*v. Let o be (-20)/q*552/(-32). Is o smaller than -16?
True
Suppose -5*l + 695 = -5*n, -415 = 3*n + l - 6*l. Let b be (-3)/(10/(n/3)). Which is smaller: b or 13?
13
Suppose 0 = -4*f - 3*k + 1037, 1312 = -75*f + 80*f + 2*k. Let t = 387 - 120. Which is greater: t or f?
t
Let j be 11/(-4)*18 - (-18)/(-36). Let p be ((-4)/1160*-8)/(4/j). Which is bigger: -0.1 or p?
-0.1
Suppose -38804*y = -38749*y - 1045. Let z be (-2)/4 - (-43)/2. Which is greater: y or z?
z
Let m = 812.2 + -966.2. Which is smaller: m or -32?
m
Let y = -412.9 - -361.9. Let d = 46.4 + 0.6. Let z = y + d. Which is greater: 0.6 or z?
0.6
Let g = -0.23 - 0.77. Let c = 1854 - 1854.44. Is g not equal to c?
True
Let z = 3 - 3. Let c = 6.892 + -11.892. Is c smaller than z?
True
Let l = 86.868 + -7.288. Let z = -1.38 + l. Let f = z + -77. Which is greater: 4 or f?
4
Let i = -24.4 - -38.3. Let o = i - 118.9. Which is greater: o or -1?
-1
Let f be (13 - (7 + -6)) + 41. Do 51 and f have the same value?
False
Suppose 3*z + 30 = c, -22*z - 15 = -17*z. Suppose 0 = l - 20 + c. Which is greater: l or -2.14?
l
Let g(o) = -o**2 + 40*o - 138. Let j be g(4). Let n be (-20)/3 - (-3)/(-9). Let p = n + j. Which is smaller: -3/46 or p?
p
Let t = 319397/77 - 4148. Let x = -2 + 3. Let l = 0 + x. Which is smaller: l or t?
t
Suppose -106*t + 104*t + 96 = 0. Suppose -3*c + 2*r + 105 = -72, -4*r = 2*c - 102. Let u = t - c. Is -9 at most u?
True
Let q be (-123 + -7723)*(-2)/(-20). Is q <= -786?
False
Let z = -0.05003 + -0.04997. Which is smaller: z or 2030?
z
Let y be 167 + (-3 + 4)*(-6 - -5). Suppose -16*w + 5*m - 146 = -20*w, -5*w + y = -2*m. Is w at least 34?
True
Suppose 2*g + 2*i = 80, -g - 103*i + 26 = -95*i. Which is smaller: 62 or g?
g
Let i be (269/(-12)*(-48 + 52))/(1/3). Is i smaller than -269?
False
Let v(c) = c**2 + 66*c - 178. Let w be v(-70). Which is smaller: 111 or w?
w
Let t = -1323.84 - -1386. Let d = -1.16 + t. Let a = 59 - d. Which is bigger: a or -13?
a
Let v = -2539663/21302580 - 1/81933. Is 1 equal to v?
False
Let z = -19031 - -21087. Are z and 2056 nonequal?
False
Suppose -9*a = -11*a + 4. Let x be 3/a + (-18)/(-36). Suppose 2*p + 10 = x*m + m, 3*m + 4*p = 34. Which is bigger: 8 or m?
8
Suppose 4950 = -27*n - 3*n. Let q be n/(-77) - (5 + 2). Which is bigger: q or -4?
-4
Let p be -2 + 14 - (-66766)/(-5567). Are p and 3/10 equal?
False
Let l = -103 - -103.306. Let o = l - -15.694. Which is greater: -1 or o?
o
Suppose -35 = 2*a - 6*w + 351, 2*a = 3*w - 389. Let g = -137 + -58. Is a not equal to g?
True
Let r = 3191 - 34739/11. Suppose 19*c = 23*c + 132. Let a = r + c. Is 0.2 bigger than a?
True
Suppose x = 3*x + 10. Let o be (-8)/5660*x*(-3 + 4). Let w be (-2)/3 - 6/(-9). Which is greater: w or o?
o
Let u be (-5 - (-91)/21)/((5/(-183))/5). Is 146 bigger than u?
True
Let a = -6/12943 + -750376/685979. Which is greater: a or -2?
a
Let q be ((-54)/(-15))/((-1)/5). Let d(n) = n**3 + 17*n**2 - 19*n - 4. Let h be d(q). Let r = h - -1. Is r < 79/5?
True
Let x = 18038/473 - 26207603/14663. Let b = 1749 + x. Which is bigger: b or 1?
1
Suppose -4*g + 5 = -3. Let f be g/3 + (-10)/(-45). Suppose -129*p + 4 = -125*p. Which is smaller: p or f?
f
Suppose 0 = 30*s + 46 + 314. Let l = -6 + -7. Which is bigger: l or s?
s
Suppose -5*m + 4*i + 142 = 0, -9*m - 4*i = -4*m - 158. Let f be ((-9)/(-6) + -1)/((-1)/(-59)). Which is smaller: m or f?
f
Suppose 2*f = -12 + 2. Let x(s) = s**2 + s - 10. Let b be x(f). Let w = 44/83 + 3681/415. Do w and b have the same value?
False
Let i = 0.163505 - 66.122505. Let g = 0.041 - i. Let s = 66 - g. Is 12/7 at most as big as s?
False
Suppose 0 = 192*s + 42*s - 2*s - 145928. Is 627 smaller than s?
True
Suppose 4*k = -3*h - h - 16, -h + 5*k = 4. Let i be h/(-20) - (-9 + 5). Suppose 4*u = 3*x + 7, -5*x = -12 - 3. Which is bigger: u or i?
i
Suppose 0 = i - 9 + 7. Suppose -4*s - s + 10 = -5*v, i*s = 10. Suppose -t + v - 6 = 0. Is t less than -12/7?
True
Let n = 3467 + -3469. Which is smaller: -65/19 or n?
-65/19
Let p = 16 - 13. Suppose -p = 56*s - 59*s. Is -3/14 bigger than s?
False
Let u = 80 - 75. Suppose -u*p = 4*y + 90, -3*y + 133 = -8*y + 4*p. Which is greater: -22 or y?
-22
Let m be 2493/36*(-7 - (-1 + -2)). Let v = 292 + -292.2. Is v equal to m?
False
Let d = 96 + -89. Let s(k) = -k**3 - 5*k**2 - 6*k. Let b be s(-3). Suppose b = -3*r - 9, 3*j = 3*r - 4*r + 6. Which is smaller: d or j?
j
Let a(i) = -12*i - 8. Let f be a(-1). Suppose -l - 10 = f*l. Is l != -10/13?
True
Suppose 28*c - 15*c + 480 = 19*c. Which is smaller: 135 or c?
c
Let o(b) = 4*b + 16*b**3 - 4*b + 1. Let g be o(1). Suppose g*h - 7 = 10*h. Is 0 greater than or equal to h?
False
Let q = 0.8722 + 0.1278. Let r = 40/9 + -202/45. Which is smaller: r or q?
r
Let t = 0.32 - -3.68. Is -0.303 at least t?
False
Let n = 119 + -118.951. Let g = n + 27.951. Let a = g - 37. Which is greater: 5 or a?
5
Let f be (19/5 - 5)/((-1)/(-10)). Let k(p) = -p**2 - 17*p - 60. Let q be k(f). Are q and -5 non-equal?
True
Let z = 415 - 378. Suppose -z*q = -28*q - 18. Let l be (-9)/(-4) - 3/12. Do q and l have the same value?
True
Let n = 40 - 38. Suppose n*t - 9 = 11*t. Let g be t - -14*(-15)/(-190). Are g and -1 nonequal?
True
Suppose -19*r - 2231 = -2630. Are r and 65 non-equal?
True
Let h be (72/(-30))/(-6) - (-3332)/(-16410)*2. Is -1 at most as big as h?
True
Let z(i) = -7*i**2 - i + 6. Let m(t) be the first derivative of 8*t**3/3 + t**2 - 5*t - 7. Let a(q) = 6*m(q) + 7*z(q). Let d be a(8). Is -7 <= d?
False
Let p = 58 + -54. Suppose p*w - 3*w + 4*s - 75 = 0, 3*s = -2*w + 175. Which is greater: 94 or w?
w
Suppose 11981 = -47*r + 44*r - 4*c, -r - 3987 = -2*c. Is r at least as big as -3993?
True
Let u be (2/(-16))/((-25)/4100). Let y = u - 189/10. Let s be ((-4)/2 - -5) + -2. Which is greater: y or s?
y
Let s be (6 - (-10828)/(-1768))/(1/15454). Let y = 1923 + s. Which is bigger: y or 1?
1
Let w(k) = 4*k + 44. Let j be w(-10). Suppose 0 = -3*a - i - j, a + 4*i + 5 = -11. Let c = 14 + a. Is 15 >= c?
True
Let h = 94 - 81. Suppose -5*f + 0*f + 3*o = -17, -4*f + 3*o = -h. Let k = -3.34 - -3.4. Which is bigger: f or k?
f
Let q be ((-2)/(0 + -8))/(99/396). Which is smaller: 67/133 or q?
67/133
Let y = 161.86 - 162. Let p = -2.14 -