 d**3 + 14*d**2 - 15*d. Let j be z(m). Let r = 300 - 22501/75. Are r and j nonequal?
True
Let p(l) = 2*l**2 - 3*l + 3. Let a be p(2). Suppose 3*r + j - 8 = 0, -3*r = 3*j - 2 - 4. Suppose -a*x = -4*z + 1, 4*z - r = 4*x + 1. Is z at most 9?
True
Let l = -132847 + 720429284/5423. Which is bigger: l or 1?
1
Let b(o) = -o**3 + 16*o**2 - 5*o - 11. Let k be b(13). Let g be -45 - -53 - 3450/k. Which is smaller: 0 or g?
g
Let s = -337 - -433. Let v be (-89)/(s/10 - 9). Which is greater: v or -149?
v
Let b = -12823/31878 - -43/462. Let v = 13568/23 + -590. Let r = b - v. Which is smaller: r or 0.6?
r
Let r = 5116 - 5120. Is r equal to -33?
False
Let l = 1.2 - 1. Let s = -422 + 70. Let f = -351 - s. Is f bigger than l?
True
Let g = 17.77 - -0.23. Let m = 18 - g. Which is greater: m or -75?
m
Let k be (-2)/(-1) + ((-65162)/(-32582) - -1) + -5. Are 0 and k nonequal?
True
Let f(b) = -5*b**2 + 11*b - 271. Let l be f(-25). Is l < 5?
True
Suppose -6 = 3*y - 3*d, -4*y = -4*d + 2*d. Suppose -408 + 538 = -y*q. Does -64 = q?
False
Suppose 2*n - 4*o = 10 + 14, 3*n - 2*o = 48. Let d be (-93)/n - (-4 + -1). Is d at least 0.25?
False
Let o = -3.43 - -424.43. Let f = o + -420.869. Which is bigger: f or 1?
1
Suppose 16*i = 22*i - 1512. Let z = i - 267. Is z at least as big as 0?
False
Let b be -28 - -21 - (-2)/(-2). Let a = -14 + 36. Let z = a - 29. Which is greater: z or b?
z
Let m = 22.91 + -23. Let u = 48553 - 48552. Which is smaller: m or u?
m
Let o = 5413 + -5411.937. Which is smaller: 0.1 or o?
0.1
Suppose h + 9 = 19. Suppose 8*y + 4*q - 52 = h*y, 0 = -y + 4*q - 24. Is -27 < y?
False
Suppose 0*i = 3*i + 4*s - 155, -4*i - 5*s = -208. Let t be ((-19)/i)/((-2)/(-642)). Is -107 less than t?
False
Suppose -3*f + 106 = -x, -5*f = -5*x - 0*x - 490. Let c = -92 - x. Suppose -5*z = -c*u - 92 + 18, -5*z - 88 = 4*u. Which is bigger: u or -29?
u
Let b(x) = 28*x**3 + x**2 - 2*x + 1. Let c be b(2). Let j(y) = 220*y + 6. Let o be j(1). Is o at most as big as c?
False
Let h = 5 + -3. Let d = 172.12 - 150.12. Is h equal to d?
False
Let x = -95 - -95. Let a = 225/7 + -33. Is x at least as big as a?
True
Suppose -7 = 9557*r - 9550*r. Is r bigger than -3/1133?
False
Let t = -49 + 56. Let z be 2 - 11/((-462)/246). Which is smaller: z or t?
t
Suppose 3*l = -2*p - 4455, 5*p + 568 = -3*l - 3887. Are l and -1487 non-equal?
True
Let y = -457.36 + 414. Let h = -0.36 - y. Let w = h + -43.1. Which is smaller: w or -1.8?
-1.8
Let h = 7944.6 + -7945. Do 1/2342 and h have different values?
True
Suppose 201 = h + 578. Let o = -375 - h. Is -83 < o?
True
Suppose 0 = 73*u + 35*u + 34*u + 11*u. Let f be 1*(213/105 + -2). Is f less than u?
False
Let t be 184/(-23)*199611/(-324). Are t and 4929 unequal?
True
Let k be -676 + 18/(-3) + 117/(-13). Is -691 less than k?
False
Let c(u) = -27*u + 427. Let q be c(19). Are q and -86 unequal?
False
Let d = 1 - -4. Suppose -471 = d*y + 4*k, 5*y + 0*y + 476 = k. Does y = -97?
False
Suppose 0 = 2*i - 4*i - 140. Let w = -11 - -15. Let c be -69 + (w + -6)/2. Do c and i have different values?
False
Let v(f) = f**2 - 64*f - 1377. Let z be v(-17). Do z and 287 have different values?
True
Let o be (-2)/5 + (62745/2925 - 25). Which is greater: -3 or o?
-3
Suppose -2*c - 1897 - 1239 = 4*z, 0 = -2*c - 2*z - 3130. Is -1562 > c?
False
Let w = 0 + 0. Suppose 351*k = 358*k - 7. Let l be (48/160)/(3/(-2)*k). Is w >= l?
True
Suppose 2*f = r + 3, 5*f = -277 + 282. Are 2/10319 and r nonequal?
True
Let r = -0.24 + 56.24. Let m = -37 + r. Let l = m + -19. Is -26 at most as big as l?
True
Suppose -4*g + 3*w + 307 = -2*w, -w + 70 = g. Let n = 80 - g. Suppose n*p + p = 0. Which is bigger: p or -2/67?
p
Suppose 0 = -6*b + 4*k - 69166, 0 = 3*b - 5*k - 11655 + 46223. Which is greater: -11530 or b?
-11530
Let a(d) = 5*d - 147. Let i(v) = 10*v - 298. Let h(o) = 9*a(o) - 4*i(o). Let l be h(19). Is -0.1 <= l?
False
Let o be -18 + 47 + -18 - -123. Which is smaller: 129 or o?
129
Let t = -39889.06 + 39889. Suppose -4*m = -2*q + 24, -2*q - 3*q = -3*m - 32. Suppose -5 = -q*h - h. Which is bigger: t or h?
h
Let r = -0.75 - 34.25. Let k = r - -34.751. Which is smaller: k or 0.1?
k
Suppose o = -3*o - 1032. Let l = -2583/10 - o. Is l at least as big as -1?
True
Let a be 56973/196 - (-3)/12. Let t = a + -291. Which is bigger: -1 or t?
t
Let x = -42.2 + 7.2. Let h = 34.76 + x. Let z = h + 0.04. Which is bigger: z or -44?
z
Let n(p) be the first derivative of -p**3/3 - 6*p**2 + 12*p + 136. Let s be n(-13). Let h = 509/42 + -71/6. Is s equal to h?
False
Let f be ((-402)/(-3) - (-4 - (-12)/3)) + 1. Is f smaller than 39?
False
Suppose 318*z - 179 - 48 = 91. Which is smaller: 58/781 or z?
58/781
Suppose 172*d - 54 = 170*d. Let g be (-6*(-2)/(-4))/(d/342). Suppose 7*o + 156 = 3*o. Which is smaller: g or o?
o
Suppose 0*q - 1842 = 6*q. Let z = -20263/66 - q. Let r = z + -1/6. Which is smaller: r or -1?
-1
Let d(a) = -142*a**2 + 17*a - 21. Let r(b) = -48*b**2 + 5*b - 7. Let v(f) = -4*d(f) + 11*r(f). Let n be v(2). Is 140 equal to n?
False
Let l(v) = -v**2 - 2*v + 21. Let y be l(11). Let w = y - -611/5. Are w and 1/7 nonequal?
True
Suppose -1080 = 44*q - 89*q. Let b(x) = -x**2 + 30*x - 137. Let j be b(q). Is 6 > j?
False
Let j be 6606/54*(-6)/8. Let b = -5825 + 5732. Which is bigger: j or b?
j
Suppose 5*u - 5 = 4*h, -3*h + 0*u = 4*u - 35. Suppose -2*w + 6*w - 29 = h*d, 2*d = w - 11. Which is smaller: 13/21 or w?
13/21
Let s = 244 - 154. Let v = -89.95 + s. Let p = -0.17 - v. Is 2 smaller than p?
False
Let r(z) = 34*z - 30. Let s be r(4). Let q = 127 - s. Let t be 1*(19 - 2/(-1)). Is q less than t?
False
Suppose 785*a - 775*a = 10. Let k = -7 - -8. Let n be (3/(-177))/(2 - k). Do a and n have the same value?
False
Let x be (-2)/(-10) - 23306/99330. Is x not equal to 1?
True
Let l = 4.26 + -3.56. Let b = -6.23 - -0.23. Let k = b - -3. Which is greater: k or l?
l
Let s = 2585 - 1181. Let w be (s/176)/(-13) + (-2)/(-8). Do w and 1/3 have the same value?
False
Suppose 0 = 3*z + 4*u - 56, -55*u + 51*u + 96 = 5*z. Let l be 8/(-3)*(-45)/(-2 + 7). Which is smaller: z or l?
z
Let r be (-3 - -6) + -1 - 5. Let v = -1483/456 - -1/456. Which is greater: v or r?
r
Suppose -34*z + 32*z = -5300. Suppose 9*r - z = 1634. Let g be -1 - (-5 - (-1912)/r). Which is bigger: g or 0?
0
Suppose 0 = -181*u + 119698 + 93158. Is u != 3532/3?
True
Suppose 4*d = -3*s + 7 + 87, -149 = -5*s + d. Suppose 0 = 28*z - s*z - 10. Which is smaller: 3 or z?
z
Let c(s) = 7*s**3 - 17*s**2 + 29*s - 56. Let v(q) = -3*q**3 + 9*q**2 - 13*q + 28. Let x(k) = 4*c(k) + 9*v(k). Let d be x(-13). Let r = 79 + -38. Is r at most d?
True
Let j = 45.81 - 46. Let r = j + -3.81. Let a = -8 + 8. Is a at least r?
True
Let a = -3244 - -55146/17. Is 2/3 at least a?
True
Suppose 4*n = 2*v - 3*v - 11, 2*v = -6. Let w be (-2 + 3 + -1)/n. Suppose 0 = -4*i - 8 - w. Which is bigger: i or -1/2?
-1/2
Let z = -2 - -6. Suppose 0 = -53*a + 58 - 270. Which is greater: z or a?
z
Let m(b) = -1135*b + 3779. Let d be m(8). Which is greater: d or -5303?
d
Suppose -4*p - 5*a - 4 = -3*a, -2*p = 3*a + 2. Let z be 2/15 - (-1107)/(-17415). Are p and z nonequal?
True
Let r = -8.039 - -12.039. Are r and -1.071 unequal?
True
Let m be 204/238 - 12016/13692. Which is smaller: 1 or m?
m
Suppose 60*u + 14 = 46*u. Is u less than -9/80?
True
Let l(c) = -83*c**2 + 33*c - 77. Let p be l(4). Is -1276 less than p?
True
Let q = -451 + 12179/27. Let b = 951 + -951. Do q and b have the same value?
False
Let f be -599 + 576 - (-108246)/4706. Which is smaller: 0 or f?
0
Let g(a) = -a - 3. Let h be g(-8). Suppose 27 = 2*z - 5*f, -20 = -f + h*f. Suppose -5 = -3*y - n, n - 4 = -2*y - z. Is 5/4 > y?
False
Suppose 4 + 11 = -5*g, 3*h + 9 = g. Let l = 3 + h. Let c be (-884)/(-98) + (-483)/46*24/28. Is l greater than c?
False
Let y be 5/(-45)*-101 - 11. Is -17/4 at most y?
True
Let u = -18 - -152. Let l = 465 - u. Do 330 and l have the same value?
False
Suppose -32*j - 12 = -27*j - l, -3*j + 4 = l. Which is smaller: j or 2.714?
j
Let p be 8/(-14)*-1 - ((-12996)/133)/(-38). Do p and -145/113 have the same value?
False
Let m be (-2 - -1) + (-365)/(-546). Let v = -11/21 - m. Suppose 0 = -69*h + 76*h + 130*h. Which is smaller: h or v?
v
Let v = -1964 + 1957.41. Is -1/2 >= v?
True
Let t be -6 + 1 + (27 - 32) - -4. Let r be 