 + 32, -3*c - t + 268 = 276. Are c and -4/11545 nonequal?
True
Let a be (-728)/42 + 18 + 1/93*-548. Are -1/2 and a unequal?
True
Let d = -23 - -23.264. Let f = d + -17.264. Is -1 equal to f?
False
Let w = -4634 - -4658. Let t(m) = -m**2 - 9*m + 5. Let a be t(-7). Which is greater: a or w?
w
Let m = -26 - -41. Let j be ((-9)/15)/(2 + (-27)/m). Let b be 4 + (18/2)/j + -4. Is -3 bigger than b?
False
Let y = 17 + -10. Let p be -1 + (-2)/(-18)*y. Suppose 73*q = 88 - 15. Does q = p?
False
Let h = -260 - -294. Let s = 0.401 - 34.301. Let w = h + s. Are w and -14 equal?
False
Let x = 7181/12 - 3523/6. Is x < 50?
True
Let z be ((111/18)/(-37))/4. Which is bigger: 0 or z?
0
Let q = -316.9 - -401. Let p = q - 83.1. Which is bigger: 1.78 or p?
1.78
Suppose -3*g = -4*w + 19232, -23*w + 26*w = -2*g - 12861. Which is smaller: g or -6419?
g
Let m(k) = k**3 - 8. Let r be m(0). Let y be -2 + (-1)/(5/r). Let j = 1.11 + -1.18. Is j equal to y?
False
Let i = -14099 - -13523.9. Let j = i + 577. Which is smaller: -2/15 or j?
-2/15
Suppose d = 4*c - 58 - 361, 0 = -5*c - 3*d + 545. Let f be 129*1/(-1 - 0). Let w = f + c. Which is greater: w or -70/3?
w
Suppose 45 - 15 = -3*p + m, -2*p = 2*m + 20. Let y(l) = l**2 + 7*l - 21. Let f be y(p). Suppose 0 = 6*c - 3 + f. Which is smaller: c or -6/11?
c
Suppose 0*p - 5*b - 25 = -5*p, 3*b + 15 = 0. Let a(t) = t**2 + 5*t - 29. Let s be a(-10). Suppose 0 = -7*j - s - p. Is j bigger than 2?
False
Suppose 0 = -135*p + 69747 + 80778. Is p at most as big as 1116?
True
Let m = 1104.89 - 1105. Are m and 18 non-equal?
True
Suppose 33*y - 36*y = -r + 13, -5*y + 5 = 0. Let x be (-15)/20 - (308/r)/(-11). Is x bigger than 14/9?
False
Let u(l) = -l**2 + 18*l - 80. Let i be u(10). Suppose -5*a = 2*w - i*w + 294, -294 = 2*w - 4*a. Is w bigger than -148?
True
Let v = 0.18 - 0.27. Let h = -151 - -152.09. Let b = v + h. Are 0 and b nonequal?
True
Let x be (-6 + (-82)/(-16))*(-30)/(-35). Let b = 200 + -100. Let f be 6/24 - 17/b. Is f not equal to x?
True
Let w(c) = -c**3 + 3*c**2 - 2. Let f(k) = 4*k - 6. Let j be f(2). Let i be w(j). Suppose -3*b = i*p + 2*p + 4, -4*b - 2*p - 2 = 0. Which is bigger: b or 1/14?
1/14
Let q be (-15)/12 - (-12)/(528/(-61369)). Which is smaller: -1395 or q?
q
Suppose -8*y - 9*y = -2095 + 1415. Which is bigger: y or 73?
73
Let c = 485 + -483. Let b be c/((-3 + 2)*25). Which is smaller: b or 11?
b
Let j = 298633/6 + -50867. Let p = -1090 - j. Suppose -d = -4*d + n + 13, 0 = -5*d + 5*n + 25. Which is smaller: d or p?
d
Let z(f) = -f**3 - 19*f**2 - 23*f + 41. Let i be z(-17). Let h = i + 138. Which is smaller: -37/4 or h?
-37/4
Let o(j) = -j - 8. Let v be o(-8). Suppose v = -0*r + 32*r - 3*r. Are r and -24/37 nonequal?
True
Let v = -13/93796 - 1/179. Are -1 and v non-equal?
True
Let i be 12 - 11 - (5 + 7). Is i < -56?
False
Let u = -48 + 23. Let j = -21 - u. Suppose -3 = -j*h + 13, 0 = -4*t + 5*h - 24. Is 4 bigger than t?
True
Let i = 2728 - 2727. Is i at least -5/1202?
True
Suppose -42*u = -0*u - 42. Which is smaller: u or -1/6469?
-1/6469
Let a(u) = -14*u**2 + 108*u + 34. Let t be a(7). Is t less than 513/5?
False
Let s = 10 + -13.4. Let i be 3/(-22)*(-80)/25. Let g = -2/55 + i. Which is smaller: s or g?
s
Let b be 18/(-10) + 1/(-5). Let c = 36.2 + -35. Let s = c + -1. Which is smaller: b or s?
b
Let q be 4/(-14) - 548/(-7). Suppose -345 = -124*m + 127*m. Let h = m + q. Is h equal to -36?
False
Let q = 416 - 404. Let u be q/(7/28 + 5/(-4)). Is -16 < u?
True
Let u(b) = 2*b - 24. Let i be u(14). Suppose 0*d - i*d + 3*s - 637 = 0, -s = 4*d + 641. Is -161 less than d?
True
Let h be ((-55)/77)/((-2)/14). Suppose h*j = -4*o - 0*j + 33, o + j = 7. Let g(z) = -z**3 + z**2 - 2*z - 1. Let u be g(o). Which is greater: u or -1?
-1
Suppose 18*t - 5*t = -63*t + 16188. Is t equal to 211?
False
Let u(y) = -10*y**3 - 4*y - 5. Let t be u(-1). Let o(k) = k**2 - k - 36. Let v be o(t). Is v equal to 35?
False
Let b(m) = 20*m - 270. Let o be b(15). Let f be o/(-25)*(-10)/(-4). Do f and -7/2 have different values?
True
Let t = -107 + 171. Let o = -58 + t. Is o != -0.1?
True
Suppose -16*y + 745554 = 394*y + y. Which is greater: 1815 or y?
1815
Suppose -400 - 2003 = -9*m. Let r = m - 308. Let a(z) = -41*z + 1. Let d be a(1). Which is smaller: d or r?
r
Let k = -8549/4050 + 52/25. Is 0 greater than k?
True
Let p = -483914/1687 + 2008/7. Let h = -16378/1205 - p. Which is smaller: -15 or h?
-15
Let z be 12/(-15) - (-188)/360. Let b(p) = p - 13. Suppose 4*n = 12, -5*o + 52 + 23 = 5*n. Let h be b(o). Which is smaller: h or z?
h
Let d be (-4)/1 - (-356)/92. Let l(v) = 13*v - 4. Let b be l(-3). Let g = b + 42. Are d and g non-equal?
True
Let g = -124 - -172. Let t be (g/(-20))/((12/(-15))/2). Let j be 1/(-8)*-2*(-3)/t. Which is smaller: j or 1.5?
j
Suppose -36 - 108 = 5*y - 3*g, -5*y + 2*g - 146 = 0. Suppose 10*j + 1222 - 22 = 0. Let w be (-2)/5 + 3432/j. Which is greater: w or y?
w
Suppose 72 + 57 = -i - 128*i. Which is bigger: i or 8873?
8873
Let k(d) = -5*d + 85. Let v(t) = t + 3. Let b be v(5). Let p be k(b). Which is bigger: 42 or p?
p
Let y be 752 + -1 + 5 + 7. Is 3047/4 smaller than y?
True
Suppose 0*s = -3*s + 21. Let h(i) = i**3 - i**2 + 2*i - 2. Let u be h(2). Suppose s*g = u*g. Which is smaller: g or 1/57?
g
Let v = 1.195 - 0.195. Which is smaller: v or 847?
v
Let g = -198 + 373. Let f = -210 + g. Which is smaller: -4 or f?
f
Suppose 3*h + 17*p + 56 = 15*p, 2*p + 38 = -2*h. Suppose -5*s + 4*s + 2 = 0, -2*l - 3*s - 30 = 0. Are l and h unequal?
False
Let g = -3/1189 + 2609/91553. Let t be -7 - -5 - 0/(0 + 3). Let n be ((-1)/((-4)/(-8)))/t. Which is smaller: n or g?
g
Let w be 2/(-4)*-1*4. Let c be -1*1*2*15*(-37)/370. Which is smaller: c or w?
w
Let c = -589 - -2355/4. Is c at least 5/136?
False
Suppose 0 = 3*y + y + 756. Suppose 952 = -5*i - 3*x, 23*x + 764 = -4*i + 20*x. Is y < i?
True
Let r = 0.105 - -13.595. Let g = r - 15. Is g smaller than -2/19?
True
Let r = -6157 - -10692. Which is bigger: 18135/4 or r?
r
Let u be -1 + 18 + (-19198)/1128. Is u < -1?
False
Let n be (615/28 - (-819)/468)/((-2)/(-14)). Suppose 2*r + v = 334, 0*r - 2*v + 334 = 2*r. Which is smaller: n or r?
n
Let i = -22454 - -22452. Are i and 30.6 non-equal?
True
Suppose 5*k + 47 = -3*s + 206, -75 = -3*s + 2*k. Suppose 32 + 108 = 4*d. Which is smaller: s or d?
s
Let c be (-4046112627)/(-6898353) + 0 - 16/(-88). Let r = -20/29863 + c. Let a = 588 - r. Is a less than 2?
True
Let u(f) be the third derivative of f**4/12 + 3*f**3 + 27*f**2. Suppose 21 = 2*n - 5*n. Let c be u(n). Are c and 5 unequal?
True
Let u be 6 - ((10 - 0) + (-7 - 2) + 6). Which is greater: -5/163 or u?
-5/163
Let u be (-9950)/4*(-208)/2340. Let f = u + -220. Which is smaller: 1 or f?
1
Let u = -470 - -179. Suppose -352595*q + 352592*q = 876. Which is greater: u or q?
u
Let w(m) = -3*m + 17. Let c be w(7). Let x be (-4 + 2)/(c - (621 + 3)). Let z = 4075/2198 + x. Which is smaller: z or 3?
z
Let o(a) = 609*a - 5764. Let z be o(11). Are 944 and z equal?
False
Let j = 2/1723 - 675426/8615. Let s = -5086/65 - j. Do 1 and s have the same value?
False
Let f = 75 + -76. Let p be -1 + (-51)/34 + f/(-2). Let b be (-35)/16 + 4 + p. Which is greater: b or 0?
0
Let n = -66375803/633 - -104859. Does 1 = n?
False
Let s = 0.1 - -0.233. Let x = s - 0.383. Is 0.38 < x?
False
Let o = 3598 - 3580. Let b = -141/2 + 72. Is o equal to b?
False
Let b be 1/(6/9) + (-4151693)/553566 + 6. Is b > 0?
True
Let i be (-226)/(-10) + (-14)/((-840)/(-36)). Suppose r + 4*z - 39 = i, -5*z = 2*r - 125. Does r = 68?
False
Let f(v) = 2*v. Let t be f(6). Suppose 7*q - 40 = -3*q. Let w be q/(-30) + 1628/3885. Which is smaller: t or w?
w
Let z = -0.0529 + 0.1529. Is z >= -97?
True
Let r = -326 - -12272. Which is greater: 11947 or r?
11947
Let f = 1359 + -1575. Is f greater than or equal to -3?
False
Let u be 1108/3878 + (-2193)/7. Do u and -273 have the same value?
False
Let z be ((-7 - -4) + 186/60 + -5)/(-2). Do 3 and z have the same value?
False
Let x be 102/(-28) + (-7 - (9 - 19)). Suppose 0 = -24*l - 24. Is l < x?
True
Suppose -2*p - 2*p + 44 = -5*q, q = -4. Let i be 210/(-108) + p*8/108. Is i at least as big as -1/6?
False
Let o(g) = -2070*g - 1154. Let n be o(3). Which is bigger: -7363 or n?
-7363
Let h = -32 - -30. Let d be 0/5 - h/10