l to y?
False
Let r = 135 - 128. Let v be 13/((-13)/(-6)) - r. Which is smaller: 1/25 or v?
v
Let j = -4.8 - 5.2. Let r = j + 8. Which is smaller: r or 41?
r
Let f be 1 - (-374 - (-22)/(-132)*(-9)/2). Do f and 373 have the same value?
False
Let p be ((-3410)/(-143) + -18)/((-6)/(-15)). Are p and -1 non-equal?
True
Let h = 4.9 + -3.902. Let p = h - -0.002. Let q = -511 - -476. Do q and p have the same value?
False
Let z(q) = -631 + 9*q + 595 - 4*q. Let r be z(7). Which is greater: 2/159 or r?
2/159
Let b(r) = 19*r**3 + 451*r**2 - 88*r - 33. Let s be b(-24). Is -825 less than or equal to s?
True
Let h be 1/4 - 5/(-12). Let q be 62 + -8*2/(-8). Let k = -451/7 + q. Which is greater: k or h?
h
Let j = 47.2 - 30.6. Let p = 3.4 + j. Is p <= -3?
False
Let p be (6/12)/(2/48). Suppose 45 = -12*d + 27*d. Suppose 5*v - 68 = d*t, 5*t = 6*v - 11*v + 60. Is p bigger than v?
False
Let w(t) = 2*t**3 + 9*t**2 + 4*t - 4. Let v be w(-6). Let a be 17/v + 6861/168. Is a less than 41?
True
Suppose -2*s - 4*l - 2 = 0, 8*s + 2*l = 13*s - 7. Let w = -3.03 - -3.068. Which is bigger: w or s?
s
Suppose -4*i - 327 = -1015. Let f be (19805/932)/((-2)/(-16)). Is f at most as big as i?
True
Let q be (1 - -1) + -1*55/5. Let p = q + -18. Let w = p + 27. Which is greater: w or -8?
w
Let u = 40528 + -127946898/3157. Is u at least 0?
False
Suppose 3*x = 11*x - 5*x. Is x < -4/1019?
False
Let z = -1565751/244 - -6417. Let q = -2 - -3. Which is smaller: q or z?
z
Let z(g) = 11*g - 296. Let w be z(27). Is -2/5081 smaller than w?
True
Let k be 5*1 - (-39 + 39). Suppose 5 = -2*y - 5*b, -4*b = -y + 4*y - 3. Suppose -y = 5*s + k. Is -5/9 < s?
False
Let x = 50.9 + -51.448. Let f = x - 0.452. Which is greater: 161 or f?
161
Let s be (-2)/(-4)*6 + 1*5165. Let m = s + -3312. Let l = -53830/29 + m. Is 0 != l?
True
Let q(n) = -3*n - 73. Let t be q(-26). Suppose -85 = t*m + 3*y + 58, -m = 5*y + 11. Is -29 bigger than m?
True
Let w = -23.839 - -0.039. Let v = -23.8 - w. Are v and 0.4 non-equal?
True
Let s = 313 + -122. Suppose -4*v + 3*x - s = 0, 3*v + 19 + 138 = 5*x. Do v and -45 have the same value?
False
Let w(f) = 23*f - 416. Let l be w(20). Which is smaller: l or 711/16?
l
Let t be ((-2700)/(-67))/4 - (43 - 33). Are -1 and t nonequal?
True
Let a = -145.9946 + -0.0054. Let u = -145 - a. Which is smaller: 7 or u?
u
Let b be -4*-764*(-4)/(-2048). Which is smaller: 6 or b?
b
Let s be (1 + -53)/(1/3*-2). Let j = s + -82. Let n be (j/(-5))/(15/(-650)). Which is greater: -36 or n?
n
Let y be ((-32)/15 - -2) + 0. Let g = -8383 - -8380. Which is smaller: g or y?
g
Let v(b) be the first derivative of b**3/3 - 6*b**2 + 9*b + 128. Let o be v(12). Let u = 0.06 - -0.24. Which is bigger: u or o?
o
Let c = -4258 - -4272.46. Are -0.4 and c non-equal?
True
Suppose 51*r - 857 - 367 = 0. Suppose r*t + 1919 + 9649 = 0. Which is greater: t or -481?
-481
Let w = -3.25 + 3.355. Let a = w + 207.895. Is a less than or equal to -1/2?
False
Let a(y) = -y**2 - 14*y + 4. Let n be a(-12). Let d = n - 29. Let u be d + 4 + (4 - 7). Is -4/7 > u?
False
Let s = -176878779/6085 - -29068. Let w = s - -468539/36510. Are 14 and w nonequal?
True
Suppose 0 = 3*q + 12 - 36. Suppose 25 = 5*g, q*b - 3*b = -2*g + 40. Let t be ((-6)/(-54))/((-3)/b). Do t and -7 have different values?
True
Suppose 16*x + 42 = 18*x. Let s = 59 - x. Is s equal to 402/11?
False
Let m be 196/21 + 4/(-12). Let b(j) = j**3 - 6*j**2 - 17*j + 9. Let q be b(m). Which is smaller: 98 or q?
98
Suppose 6*v = 53 - 35. Suppose 3*j - v*c = -6*c - 498, 0 = -j - 4*c - 169. Is -166 >= j?
False
Suppose 4 = 2*n - x + 18, -20 = 5*n + 5*x. Let q be (-8)/n + 3924/54. Let d = q + -75. Is d greater than -1/110?
False
Let f(m) = m**3 + 73*m**2 - 134*m + 1034. Let j be f(-75). Is j not equal to -155?
True
Let r be 51 - ((-9)/(-7) + (-4)/14). Suppose 0 = -3*p + 80 + 70. Is r less than p?
False
Let w be (-30)/(-20)*500/21. Is w != 37?
True
Suppose -2*r + 104 = 2*l, 17*l - 16*l + 2*r - 45 = 0. Is l less than or equal to 66?
True
Let g = -2450 - 455. Which is bigger: -2904 or g?
-2904
Let m(f) = -f**2 + 2*f - 4. Let w be m(4). Let j be 8/w - (-17)/3. Suppose -a - 2*l + 2 + j = 0, 2*a = 2*l + 8. Do a and 5 have different values?
False
Suppose -2*a - 2*v + 174 = 0, a - 210 = 6*v - 102. Which is smaller: a or 138?
a
Let u = 231190705/3993 + -57899. Which is greater: 0 or u?
0
Let i be (0 + -15)*10/(-25). Let u(b) = b**3 + 10*b**2 - 21*b + 35. Let a be u(-12). Let s be (-169)/(-39) + 2 + 1 + a. Is i smaller than s?
True
Let a(p) = -46*p + 139. Let s be a(3). Let f(r) = -r**2 - 2*r. Let n be f(-2). Suppose -m = -s, n*i + 5*m = -i + 14. Is i greater than 7?
True
Suppose 3*u = -12, -88 = -2*k - 2*k + 2*u. Suppose -5*x + 2*x + 66 = 4*s, 5*x + k = 2*s. Suppose -s + 2 = -13*c. Which is bigger: 1/75 or c?
c
Suppose 8 = 5*s - 9*s. Suppose 0 = 12*x - 118 + 46. Is x greater than or equal to s?
True
Let h = -3644 + 3646.56. Which is greater: -1 or h?
h
Let d(n) = n**3 - 11*n**2 + 34*n - 12. Let m be d(5). Let b be 6/(-21) + m/(-21). Let s(v) = 3*v - 3. Let t be s(-3). Which is smaller: b or t?
t
Let v = -3099981/283 + 10954. Which is smaller: v or 1?
v
Let f be (-1)/(1*(-3)/(-27)). Let l(t) = -t - 10. Let h be l(f). Suppose 0 = 53*g - 49*g - 12. Which is greater: g or h?
g
Let r = 8.4 - 8. Let h(q) = -17*q**2 - 192*q - 24. Let u be h(-11). Is r at least as big as u?
False
Let t be (10 + -3)/((-22)/66). Let q(y) = -6*y**2 + 4*y - 3. Let x be q(2). Is x <= t?
False
Suppose 5*w + 11 = 10*w + 6*w. Which is smaller: w or -25/209?
-25/209
Let s = 89/9 + -27326/2763. Do s and -4 have different values?
True
Suppose -11*s - 6*s + 85 = 0. Let n be ((-8)/33)/(s/150). Are -8 and n nonequal?
True
Let x = 37 + -2. Let g be -7*(10/x)/(-2). Let j be (-62)/(-3)*(-3 - (-1 + g)). Is -63 smaller than j?
True
Suppose -14*d = -31*d - 408. Which is smaller: 10 or d?
d
Suppose -715*c + 654*c + 793 = 0. Which is greater: 405/31 or c?
405/31
Let x(d) = 2*d**3 - 3*d**2 + 5. Let z be x(2). Let j be -5 + ((-1947)/(-9))/(393/z). Which is smaller: j or 1?
j
Suppose -8*x + 810 = -230. Let g = 0.1 - 0.3. Which is smaller: x or g?
g
Let p be ((-8)/(-117))/((-2)/(-3)). Suppose -o + 0*o + 131 = t, 0 = -5*o - 25. Suppose -t*g + 138*g = 0. Are g and p nonequal?
True
Let q = -186505/4 - -46330. Is q greater than -295?
False
Let l(q) = 4*q**3 + 93*q**2 - 43*q + 196. Let t be l(-24). Is t equal to -505?
False
Suppose 3*b = -3*z + 30, -5*z - 3*b + 40 = -0*z. Suppose -4*c = z*j + 160, 53 = -c + 14*j - 12*j. Let f = 0.1 + -0.1. Is f equal to c?
False
Let w(o) = 2*o**2 - 38*o - 35. Let c be w(20). Let x(z) = z**3 - 6*z**2 + 12*z - 13. Let h be x(c). Which is smaller: 16 or h?
16
Let l(z) be the third derivative of z**4/12 + 10*z**3/3 + 163*z**2. Let t be l(-8). Is t greater than -10?
True
Let l(m) = -3*m + 1. Let b be l(3). Let h be ((-672)/(-30))/b*(-30)/8. Let d be (-3 + (-77)/(-28))*-4. Is d at least h?
False
Let f = 19559 - 20466. Which is greater: f or -896?
-896
Let x(j) = 1073*j - 803. Let o be x(14). Are o and 14220 equal?
False
Let o(r) = -19*r + 913. Let f be o(48). Let x be (-6)/(-116)*8/(-24). Which is smaller: f or x?
x
Let m = 256/1833 - -2/141. Let j be (18 - 16590/900)*6. Is m < j?
False
Suppose 4*r - 314 = -3*y - 563, 3*y = 5*r + 345. Do r and -1510/23 have different values?
True
Let x = 6624 + -6624.2. Is 8/507 at most x?
False
Let y = -0.0326 - -0.5686. Let o = 290.464 + y. Which is bigger: 0.1 or o?
o
Suppose 5*w + 4 = 3*d, -3*w + 39 = d + 47. Let l = -53 - -52.81. Which is bigger: w or l?
l
Let k be 4*(-244)/(-8) - 10. Suppose 75*o = k*o + 74. Suppose z = 2*t - 7*t + 19, -t = 3*z + 13. Which is bigger: z or o?
o
Let b = -585 + 5255/9. Let f = -20 - -18.6. Let i = -1.5 - f. Is i < b?
False
Let m be (9948/(-21))/(25*(-2)/35). Which is greater: 332 or m?
332
Let n be -4 + (2 - 4 - 0). Suppose 17*g - 10 = 12*g. Suppose 19 = -4*s + g*o - 5*o, -4*s - o = 25. Do s and n have the same value?
False
Let z(k) = k**2 - 17*k - 857. Let i be z(-22). Let j = -1314770/301 + 4368. Are j and i unequal?
True
Let v = -9961 + 10932. Which is smaller: v or 970?
970
Let r = 41 + -41.005. Let j = -18.005 - r. Let p = j - -18. Is -2/59 less than or equal to p?
True
Let d = -99 - -12. Let k = d - -96. Do -1/3 and k have different values?
True
Su