2)). Does d = t?
False
Let i = -5194 + 4315. Which is smaller: -883 or i?
-883
Let s = 6406237/281 + -22798. Is s greater than or equal to -0.7?
True
Let x be (-16275)/120 - (-3 - (8 - 4)). Which is smaller: x or -128?
x
Let y(l) = l**3 - 7*l**2 + 6*l + 8. Let m be y(6). Suppose m = -2*w + 12. Suppose -3*i + w*z = 6 - 1, -5*z + 5 = 0. Which is smaller: i or -12/19?
i
Let f(g) be the first derivative of -g**2/2 + 7*g - 1. Suppose 28 - 280 = -21*z. Let y be f(z). Is -6 bigger than y?
False
Let k(t) = -16*t - 18. Let n be k(37). Which is smaller: -607 or n?
n
Let o = -58.5 + 60. Let a = -13.046 + 0.046. Let f = a + 14. Which is bigger: o or f?
o
Let c = 15278749/856 + -17849. Let s = -130097/2568 - c. Let t = s - -50. Is -1 not equal to t?
True
Let t be ((-4)/5)/(43/(-5)). Let w be (-14)/35*(-6135)/(-6). Let h = -410 - w. Is h at most as big as t?
True
Let i(g) = g**3 - 5*g**2 - 5*g + 4. Let r be i(6). Suppose 0 = -62*t + 2531 - 2159. Suppose -4*v - t*v = -r. Is v smaller than 1?
False
Let z = 7966 + -7978. Which is bigger: z or -35?
z
Let z = -9/295 - -5682/157235. Let m = 5/8649261 + 9706390235/4610056113. Let l = m + z. Which is greater: l or 1?
l
Suppose 41*a + 7*a - 864 = 0. Let b be -54*-3*(-6)/27. Let f = b + 53. Is f at most as big as a?
True
Suppose 260*x + 2080 = -300*x + 520*x. Which is smaller: -74 or x?
-74
Suppose 35*o = 21*o - 8*o - 30976. Which is smaller: -2815/2 or o?
o
Let a(x) = -14*x**3 - 335*x**2 + 23*x - 64. Let c be a(-24). Is c != -1159/30?
True
Let f be 18/(-36)*-1046*(2 + -1). Let y = 524 - f. Is -2/525 > y?
False
Let q = 152 + -253. Let w = 89 + q. Is 2/3 bigger than w?
True
Let q = -1.71 + 2.3. Let t = q - -3.41. Which is smaller: 0.23 or t?
0.23
Let y be 18/(-48) - 366/(-80). Is 3 <= y?
True
Let i(l) = -8*l**3 + l**2 - 2*l + 1. Let w be i(-2). Let z be (-3530)/(-80) + (2 - 34/16). Let c = w - z. Is 30 greater than or equal to c?
True
Let d be 399/38 - (-2)/(-4). Let m be (56/(-70))/((-4)/d). Do m and 1/10 have different values?
True
Let x(z) = -13*z - 4. Let o be x(4). Let u = -11772 - -11716. Is o <= u?
True
Let v = 46 + -160. Let f = v + 113. Let s be 4/26 - (-300)/(-429). Which is smaller: s or f?
f
Let c(f) = f**3 - 9*f**2 + 12*f + 17. Let k be c(7). Suppose -i = 2*i - 12. Suppose -3*m + 2*m + i = 0. Which is smaller: k or m?
k
Let o = 0.087 + -0.08. Let x = -2141.993 - -2144. Let f = o - x. Is f < -2/7?
True
Let p be (1824/(-45))/((-2507)/138 - -17). Is 36 != p?
True
Let d(k) = -k**2 - k + 45. Let h be d(6). Let o be (9/(-15))/3 + h/5. Is 7 at most o?
False
Let n be ((-12)/(-10))/(5/125). Let c be 12/(-50)*-15*4/n. Do c and 0 have different values?
True
Suppose -10*h = 4*y - 6*h + 16, y - 4*h - 6 = 0. Let k be 2 - (12 - (-3 - -1)). Let v be y + (-28)/k + 8/(-6). Which is greater: v or -1/71?
-1/71
Let i(p) = -3*p**2 + 31*p - 62. Let b be i(4). Let f = -23 + 39. Which is smaller: b or f?
b
Let s(d) = -33*d**3 + 2*d**2 - 2*d + 1. Let x be (-1 - 0)/(-1) - 0. Let f be s(x). Let j = 474485 + -474516. Is f <= j?
True
Suppose 4*v + 0*d - 503 = -d, -2*v = 2*d - 250. Suppose v*l = 125*l - 79. Are -78 and l non-equal?
True
Let a = -36 - -18. Let h = -733 - -1909. Let m = 1175.8 - h. Which is smaller: a or m?
a
Let f = 248775/4 - 88813195/1428. Let c be 70/408 - (-2)/(-8). Let x = f - c. Do -29 and x have different values?
True
Let z = 367.77 + -364.67. Is -0.0439 less than or equal to z?
True
Let g = 5829 - 5830. Are g and -1/1577 unequal?
True
Suppose -5*m + 92*a = 91*a + 36, 2*m + 8 = 2*a. Which is bigger: m or -594/71?
m
Let j = 9.1 + 32.9. Let u = j + 16. Let c be -11*(-6)/(-306) + (-672)/(-68) + -10. Which is smaller: u or c?
c
Let x be ((-34)/(-51))/(3/(-36)*-4). Suppose 0 = 2*b - x*a + 790, -a - a = b + 392. Which is greater: b or -395?
b
Let o be (-110 - -116)*(-40 + 2/1). Let n = -475 - o. Is n >= -743/3?
True
Let j be ((-6)/(-9))/((-353)/3 + 2). Let s = -676/3123 + j. Let a be (-72)/64*(-2)/3. Is s >= a?
False
Suppose -2*j = 3*j - 10, t - 13 = 5*j. Suppose -4*b + 360 = 5*b + 9*b. Which is smaller: t or b?
b
Suppose -581 = -18*k + 337. Let r be 7/(-189)*k*(-6)/4. Which is smaller: 4 or r?
r
Let b(d) = -d**3 - 24*d**2 + 28*d + 35. Let k be b(-25). Let f be 164/k*(-8)/(-6). Is f != -6?
True
Let f be (-16)/((-4)/(0/4 + 2)). Let r be f/(2800/(-15))*(-4)/(-15). Which is bigger: -1 or r?
r
Let i = 1869 + -9348/5. Which is smaller: i or 46?
i
Let n be (7 - 8340/(-252)) + (-4)/42. Which is smaller: 6 or n?
6
Suppose 2*p - 68*d - 4 = -67*d, d = p - 2. Suppose 43 = 4*h + 131. Let i be (100/h)/p - -2. Which is smaller: -1 or i?
-1
Suppose 5*y = 3*v + 75, -5*v - 92 = 4*y - 4. Let l be v/65*2/12. Suppose 4*d = w - 3, -3*d = -4*w - 3 + 15. Does l = d?
False
Suppose -y + 13 = -5. Let q = 22 - 2. Which is greater: q or y?
q
Let v be -1 + 5/6 - ((-744282)/324 - -32). Are v and 2265 nonequal?
False
Suppose -g + 265 = 4*t, -6*t - 829 = -3*g - t. Let a = -1669/6 + g. Does a = -5?
False
Let t = -9 - -4. Let y be (11/t)/((-6)/30). Let h be 11/22 - (-11 - (-2313)/198). Is h at most as big as y?
True
Let b be 25/(-10) + 4/(80/70). Which is bigger: b or 17/1221?
b
Suppose 51*u + 1574141 = 508343. Is u >= -20899?
True
Let y be (20/15)/(-4) - (-1546570)/(-663). Let x = -2333 - y. Is x greater than or equal to 0?
True
Let l(t) = -t**3 + 10*t**2 + t + 6. Let g be l(8). Let k = 116 - g. Is -26 != k?
False
Let o be 2/8 - 3/4. Let p be ((-1486)/24 - (-34)/(-952)*-7) + 10. Is p bigger than o?
False
Let a = 3290 - 3159. Is 144 greater than a?
True
Suppose -a - 14 = -25. Suppose -584 = 3*l - a*l. Which is smaller: 0 or l?
0
Let v = 301135 - 208043. Let d be v/1295 - (-2)/(-7). Which is smaller: 72 or d?
d
Let b be (8/(-6))/((-45)/((-5805)/602)). Which is greater: -11/60 or b?
-11/60
Suppose -2*g + 62 = 5*d, -g + 2*g = -3*d + 38. Let a be (16/d)/((-2)/(-7)). Which is smaller: a or 1?
1
Suppose -16*c = -908 - 628. Suppose 93 - c = -b. Is 24 smaller than b?
False
Suppose 5*z = g - 89, -3*z + 305 = 5*g - 8*z. Which is bigger: g or 23?
g
Suppose -8*g = -9 + 17. Let w be 3913/(-63) + g/(-9). Is w != -61?
True
Let b = 9701 - 10130. Which is smaller: 13 or b?
b
Suppose 232 = z - 3*q, 0*z - 3*z + 712 = -q. Let t = z + -1963. Let c = -15553/9 - t. Which is smaller: -1 or c?
c
Let w = 31941/85 - 1878/5. Is w at least -1?
True
Let n(s) = -3*s - 1. Let d be n(-8). Suppose -d = -3*x - 17. Let m be (-616)/42*-3*1/x. Which is smaller: 23 or m?
m
Let m = -768 - -547. Let a = -241 - m. Which is smaller: -5 or a?
a
Let c = 37.89 - -0.11. Let w = -12884 + 12885. Is w less than c?
True
Let h(x) = 5*x**3 + 2*x**2 - x. Let a be h(1). Let b(z) = 26*z - 6. Let g be b(a). Suppose 5*d = j + 43 - g, 2*j - 198 = 2*d. Is 97 >= j?
True
Suppose -2*c + 25 = 25. Suppose c = -6*v + 35 + 7. Which is smaller: v or -5?
-5
Let m be 12 - 1 - 3026/272. Which is bigger: m or 1/60?
1/60
Let c = 20970 - 1992148/95. Which is bigger: 1 or c?
1
Suppose 27*y - 4 = 29*y. Let q be 0/(7 - (-8)/y). Which is greater: -4/101 or q?
q
Let p = 11 - -1. Let r be (2/3)/(p/(-522)). Let d = 21 + r. Is d at least -8?
True
Let b be (-53)/(-14)*(-28 + 26)*-11. Which is bigger: 83 or b?
b
Let q = -0.6746 - -0.7746. Is q < -17.684?
False
Let k = 1.6693 + -6.6693. Is k at most 85/8?
True
Suppose s - 2*r = -6*r - 7, 2*s = -2*r - 14. Let n = 11 + -9. Suppose -21 = n*o + o. Is s greater than o?
False
Suppose 3*v = -2*d + 6*d - 5, -2*d = -2*v - 2. Suppose -5*h = -3*h + 4. Let p be h - v/2*-2. Is 1/43 != p?
True
Let m = -0.99 - 0.11. Let j = m - -1.1. Let s = 462/17 - 3200/119. Which is greater: j or s?
s
Suppose -283*g = -253*g - 6450. Is g greater than 227?
False
Suppose -16*v = 322 + 14. Let d be 160/112 - 12/v. Is 9 at least d?
True
Let h be 18/(-27)*-4*6/(-16). Does -2/1311 = h?
False
Let y(z) = -z**3 + 2*z**2 + 4*z - 4. Let r = 0 - -5. Suppose -7 = 4*i - 7*i - 2*f, 5 = -r*f. Let j be y(i). Is j > 6/17?
False
Let m be (-384)/9*(-4455)/54 - (5 - 2). Is m equal to 3516?
False
Let m(c) = 667*c - 1332. Let k be m(2). Is 642 > k?
True
Suppose -d + 20 = 5*o, -3*d + 125 = 9*o - 7*o. Let q be (6/d)/(8/(-3) + 2). Let p = 10040/21 - 478. Is p not equal to q?
True
Let x = -36/155 + 5976/1705. Which is smaller: -1 or x?
-1
Let p(q) = -q + 21. Let r be p(24). Let g be (-1 - r/2)/((-1)/4). Let v be (6 + g)*-2*(-8)/(-2). W