than n?
False
Let w(q) = q**3 + 12*q**2 - q - 14. Let v be w(-12). Let a = -3 + v. Let d be (-16*7/42)/((-4)/(-6)). Are d and a non-equal?
True
Let o be ((-59)/118)/((-5)/(-2)). Which is smaller: 0.0051 or o?
o
Suppose -98066 = -79*w - 334671. Let f = 985776/7 + -137835. Let v = w + f. Is v < 0.2?
True
Let p be ((-700)/2940)/((-10)/24). Is 6402 less than p?
False
Let x = -1625 - -65. Let i be 25/(-2)*x/(-150). Do -129 and i have different values?
True
Suppose 3*z + 8820 = 2*t, -4*t + 350*z - 353*z + 17658 = 0. Which is bigger: -1 or t?
t
Let i = -1099 + 51657/47. Let m be (-19 + 17)/(-4 + 6). Which is smaller: i or m?
m
Suppose 11*w - 24 = 7*w. Suppose w*k - 324 = -18. Which is smaller: 52 or k?
k
Suppose -298 = 6*o - 88. Suppose 31 = 5*z - 29. Let b be (-3)/z + 143/(-4). Which is greater: b or o?
o
Suppose -4*c + o + o - 2 = 0, -1 = 3*c - o. Let u be 21666413/(-160153) - -3*3/7. Which is smaller: u or c?
u
Let a = -0.749 - -0.119. Let h = -18.42 + 17.72. Let k = a - h. Is -3 at least as big as k?
False
Suppose 9 + 1 = 5*k. Suppose -k*c - 16 = 2*c. Suppose 72*f + 660 - 35 = 49. Is f < c?
True
Let i = 8737.98 + -8651. Let h = i + 5.02. Are h and -2/7 nonequal?
True
Let o = -450.78 + 2201.58. Does o = 0?
False
Let z(m) = m**2 + 3*m - 6*m + 0*m**2 - 5*m. Let b be z(9). Which is smaller: 6 or b?
6
Let q = -1561 - -4680. Is 3119 bigger than q?
False
Let c(b) = -2*b + 2. Let k(h) = 10*h - 10. Let z(v) = -14*c(v) - 3*k(v). Let i be z(-8). Suppose -i = -8*t + 5*t. Do t and 21/4 have different values?
True
Let g = -12.806 - -12.806. Which is smaller: -204 or g?
-204
Let s be (-28)/182 + 1 + 1918/130. Which is smaller: s or -1.2?
-1.2
Suppose 2*u = 6, -4*t + 3*u - 7821 - 784 = 0. Which is smaller: t or -2147?
t
Let z(i) = -i**3 + 3*i**2 + 3*i - 5. Let t be z(4). Suppose -276*w - 21 = -283*w. Suppose d - w*d = 14. Is d not equal to t?
True
Suppose -51*m - 55*m + 318 = 0. Which is smaller: 109/29 or m?
m
Let y(q) = -2*q**3 - 3*q**2 + 1. Let c be y(-2). Suppose 5*m = 5*r - 730, -3*m - 2*m = -c. Let u = r - 87. Which is greater: 0 or u?
u
Suppose 26*p - 1984 = 1968. Is 157 at most as big as p?
False
Suppose 2589*k - 1300*k - 1291*k + 21258 = 0. Do 10629 and k have different values?
False
Let n(i) = 7*i - 11. Let r(w) = -3*w + 6. Let p(b) = -2*n(b) - 5*r(b). Let u be (-34)/(-85) + -4 + 232/20. Let j be p(u). Is j greater than or equal to 0.03?
False
Let h be (35/21)/(1/(-3)). Let w be h/(-5)*7 + -3. Suppose 0 = -2*s - 3*b + w, -2*b = 5*s + 3*b - 10. Which is smaller: 0.4 or s?
0.4
Let q be (-22)/(-8) + (-10)/(-40). Suppose 2*l = -2*f - 5 + 1, f = -q*l. Let y be 15/6*f/6. Are 1/5 and y unequal?
True
Let x = 6613/13 - 33039/65. Suppose -d + 3*v = 219, 371 = 5*d + v + 1530. Which is smaller: d or x?
d
Let q(j) = -j**3 + 14*j**2 + 121*j - 1692. Let i be q(12). Suppose -2*n = -5*c + 249, 144 = 4*c + 3*n - 46. Is i less than or equal to c?
True
Let g = -32083/9 + 3565. Does g = 111.8?
False
Let z = -11.744 - 21.256. Is 7/2 at least z?
True
Let l be -9*7/84 - 69/(-12). Suppose -u + 5*k - 166 = -3*u, -l*k - 302 = -4*u. Is u less than or equal to 75?
False
Suppose 250*q = 244*q + 6. Is -1801 < q?
True
Suppose 4*q - 2*x = 37 - 43, 0 = -2*q + 4*x - 12. Which is smaller: 3/2722 or q?
q
Suppose 746*j - 325*j = -3780580. Is j >= -8980?
True
Let m = 76 + -86. Suppose 3*y - t = 124, 3*t - 172 = -4*y + t. Let z be 18/(-12) + y/(-4). Which is smaller: z or m?
z
Let s = 2700.7 - 2701. Is 839 less than or equal to s?
False
Let b be 14/6 - (392/(-15) + 160/(-120)). Let g = 86 + -57. Is b smaller than g?
False
Let p be (-3 - 700)/37 + 16. Let r be (-1 - 5/(-3))*3. Let y = r + -3. Which is bigger: y or p?
y
Let i = 135 - 131. Suppose 3*w = -2*t + 3*t - 21, -i*w - t = 28. Suppose -3*k + 2 = c, -11 = -2*k + 3*k - 2*c. Which is smaller: w or k?
w
Let b be (4966/104)/(1/4). Which is smaller: 572/3 or b?
572/3
Suppose 4*g = 3*i - 8, -3*g - 4*i = g + 36. Let o(q) = q + 11. Let b(s) = 2*s + 21. Let h(x) = -4*b(x) + 7*o(x). Let j be h(-5). Is g equal to j?
False
Let w = -4.7 + -6.8. Let z = w - 0.5. Let t = 13 + z. Which is smaller: 16 or t?
t
Let q = 1407 - 1407.4. Which is bigger: q or 18.7?
18.7
Suppose -2622 + 3871 = 35*h - 3581. Is h equal to 137?
False
Let p = -2.17 + 2.1. Let j = -99 + 99. Is p != j?
True
Let t be (0 - -2) + (14/(-273))/((-96)/(-3312)). Suppose 0 = 6*a - 2*a. Suppose n - 5*n = a. Is t less than or equal to n?
False
Let a = 140319 + -3227905/23. Is a at least as big as -24?
False
Let n = -12111 - -12284. Is -4 smaller than n?
True
Let p(q) = 8*q - 9. Let v(j) = 2*j - 2. Let i(r) = -2*p(r) + 9*v(r). Suppose 2*f = 3*t + 30, 2*f + 14 = -3*t - 4. Let l be i(t). Which is bigger: l or -15?
-15
Let t be (5 - 1) + -2 + 4. Suppose -9*k + t*k - 48 = 0. Suppose 69 + 15 = -6*c. Is c less than k?
False
Suppose 5*f + 64 = -5*i + 134, 0 = -i - 3*f + 22. Is -8.44 at least i?
False
Suppose -f + 2*f = -j + 9, 2*f - 21 = -3*j. Suppose -3*a = -2*a + f. Is a at least as big as -5?
False
Let o = 1/137816 + 74696261/1515976. Is o smaller than 49?
False
Let a be (1/(-3))/((-32)/18). Let t = 303 + -298. Suppose -t*p - 9*p = 0. Which is bigger: a or p?
a
Let h be ((-3)/(-2))/(39593256/(-1184)). Are h and 0 non-equal?
True
Let q = -1.6 + 2.46. Let l = -5918 + 5929.14. Let n = l + q. Which is bigger: n or 0?
n
Let t be -2*20/(-32)*(-22)/(-51205). Is t smaller than 1?
True
Suppose 5*t - 396 - 209 = 0. Suppose 3*y - h = t, -50 = -y + h - 9. Which is smaller: y or 41?
y
Suppose 12 = 2*u - 3*f, 0 = -u - 33*f + 37*f + 6. Let n(m) = -m**3 + 6*m**2 - 16*m + 97. Let d be n(u). Is -5/23 less than or equal to d?
True
Let y be (-2)/2 + 0 + 2. Let z(m) = 2*m**2 + 17*m - 31. Let d be z(-10). Let i = y - d. Is 11/4 > i?
True
Let s be (-3)/1 - (2 - 60/3). Let a be -29*2/(10/s)*-1. Is 86 less than or equal to a?
True
Let l = 21.93766 - -0.06234. Which is smaller: l or -1/76?
-1/76
Let u be (4/212)/(-3*3/(-387)). Which is smaller: 1 or u?
u
Suppose 32*p - 112 = -912. Is p < 21?
True
Let t = 9360 - 9339. Are -6/23 and t nonequal?
True
Suppose 88*g + 2200 = 68*g. Let s be 3/(-10) + g/16 + 7. Which is bigger: s or -1?
s
Let h be 36/42 - 5/(-35). Let p be 0 + 3 + 0 + h. Suppose -5 = -l - 1. Is l != p?
False
Let r = -46 + 36. Let h = -12 - r. Suppose -5*i + 2*q = 20, 2*i - 6 = -2*q - 0. Is i at least as big as h?
True
Let m = -167.65 - -167. Let k = -1.35 + m. Which is smaller: 15 or k?
k
Let c be (1 - 19/7) + 2. Let w(x) = 10*x + 4. Let u be w(0). Suppose 0 = -u*m - 5*f, -5*m - 2*f = 2*f. Are c and m non-equal?
True
Let a = 4311617/33 + -130635. Is a equal to 20?
False
Suppose 46*j - 47*j + 4*x - 1140 = 0, 2220 = -2*j - 4*x. Is -2241/2 less than j?
True
Let q = -282.017 + -7.983. Which is smaller: q or -3?
q
Suppose -239 + 140 = 11*b. Let u be (-7)/((-210)/18)*(-10)/b. Which is bigger: u or -22?
u
Let j = -237047/4 - -60175. Which is greater: j or 912?
j
Let s = -2361 + 4052. Are s and 1693 unequal?
True
Let m be (14/21)/((60/(-9))/1). Are m and 694 nonequal?
True
Let c(y) = 2*y**2 + 9*y - 68. Let q be c(4). Suppose q = -3*j - 60*g + 62*g - 52, -4*j = -3*g + 71. Which is smaller: -19 or j?
-19
Suppose 5*r - 312 = 2*h, 13*r - 10*r + h = 185. Which is smaller: 2/17 or r?
2/17
Let a = -162056/35 + 4630. Let v(d) = -2*d - 1. Let k be v(-1). Is k != a?
True
Let v(y) = -y**2 + 42*y - 361. Let k be v(12). Which is smaller: k or -5/3032?
k
Let s(v) = v - 9. Let d be s(11). Suppose w = -d*w. Let r = -1/6992 - -14009/174800. Do w and r have the same value?
False
Let q be (-5)/35 + 7/49. Suppose 6*o = 2*o - q*o. Are -2/21 and o unequal?
True
Suppose -g = -5*q + 21, 0*g - 4*q + 24 = -2*g. Let y be g/(-10) + 654/(-1290). Which is smaller: y or 0?
0
Let c = -44034 + 44033. Which is smaller: 3/16348 or c?
c
Let u = -93 + 125. Let x = 31.88 - u. Which is greater: x or -5?
x
Let y be ((-65712)/(-185))/37 - (-6)/(-10). Suppose -s + 4*m = -10, -2*s + 2*m + 2*m + 20 = 0. Is s at least y?
True
Let l be (10/(-20))/((-33)/(-116)) - -2. Let x = -1/11 - l. Let r = 77 - 103. Is r smaller than x?
True
Suppose 195*z - 166*z = 638. Let u be 3/(-2 + -1) - -25. Which is smaller: z or u?
z
Let x = -16895 - -84473/5. Which is smaller: -67/3 or x?
-67/3
Let s be (-4)/((-40)/102) + 160/200. Which is smaller: s or 47?
s
Let k = 683804/7 - 97404