rue
Suppose -3*t = -2*t + 8. Let p be ((-1296)/(-189))/(6/21)*5/2. Which is bigger: p or t?
p
Let u = 51 + -50.95. Let n = 73 - 79. Which is bigger: u or n?
u
Let l be ((-9)/42)/(((-3270)/(-914))/(-5)). Let q = -3/218 + l. Is q not equal to 24/5?
True
Let p(k) = k**2 + 9. Let m be p(6). Let o = m - 37. Suppose 10*z = o*z + 2. Which is bigger: z or 3?
3
Let p(h) = -h**2 - 9*h + 126. Let o be p(7). Suppose -2*d = -9*d + o. Are 7/4 and d unequal?
True
Let m = 25 - 22. Suppose m*i + 12 = 3*g, -8*g - 30 = -11*g - 3*i. Is g at most as big as 102/13?
True
Suppose 19*u = 4*h + 14*u - 300, -h = -3*u - 68. Let p be (40/h)/(118/(-6)). Is 1 <= p?
False
Let q(k) = k**3 - 10*k**2 + 16*k. Let i be q(8). Suppose i*u = -4*u - 5*a + 239, -3*u = 3*a - 180. Let h = -56 + u. Is h equal to 23/5?
False
Let x = -66022 - -66023. Let v = -511 + 287. Is v >= x?
False
Let d = 181 - 83. Let c = d + -104. Let u be -2 + -2*6/(-4). Which is greater: c or u?
u
Let x be (12/450)/((-4)/760). Is x at most -4?
True
Let v = -603618925 - -2011861964278/3333. Let o = -288/11 + v. Is -1 equal to o?
False
Let l = -409 + 410. Let c = 593/760 - -3/152. Is l at least as big as c?
True
Let z be (-6)/(-33) + 9/11. Let f = -163 - -136. Let s be (-58)/504 - 6/f. Which is bigger: s or z?
z
Let a = 5684/401895 - -2/2977. Let y = 8346 - 8345. Which is smaller: a or y?
a
Let n be (6 - (-3 + 14))/1. Let z be n - -626*(-4)/(-16). Is 152 less than z?
False
Let z = 7 - 13. Let n be (z/20)/(3/114). Let k be 6/(-1) + (-7584)/1264. Is k greater than or equal to n?
False
Let o = -832 - -832.651. Let t = o - 0.601. Which is smaller: 11 or t?
t
Suppose 0 = 4*y + 16, 7*t - 3*y = 8*t + 15. Let w be ((t/(-7))/(-3))/(13/(-91)). Is w <= 1?
True
Let l(m) = -m**3 + 6*m**2 - 5*m - 1. Let p be l(5). Let g be -2 - p*31/8. Let y be (-765)/(-221) + (3 - 135/39). Which is smaller: g or y?
g
Let a(i) = i**3 - 13*i**2 + 31*i - 8. Let v be a(10). Let t be v*(72/(-48) + 2/2). Which is greater: t or -1/629?
-1/629
Let m be 20/(-60) - 2/3. Which is greater: m or 412?
412
Let y = -59 + -49. Let l = 541/5 + y. Which is smaller: 0 or l?
0
Suppose 2*i + v - 6 = 0, -i + 2*v - v + 9 = 0. Let t(g) = 3*g**2 - 9*g - 6. Let j be t(i). Which is bigger: 23 or j?
j
Suppose 256 = -72*x - 32. Are x and -49/12 unequal?
True
Let m be (-312)/(-42) - -1 - 12. Which is bigger: m or -0.04?
-0.04
Let i = -15 - -27. Suppose -i*t = -3*t - 117. Is -0.1 >= t?
False
Suppose -3*w - 2*o - 9217 = 0, 5*w + 15395 = -101*o + 106*o. Is -3072 > w?
True
Let a = 210 + -230. Let y be (-16)/a + (-306)/570. Which is bigger: -1 or y?
y
Let l be (-1 - -6) + 1/(-11) + (-492885)/99495. Which is bigger: -1 or l?
l
Suppose -8 = 2*t, -132 + 150 = -5*k - 2*t. Do -42/47 and k have different values?
True
Let l = 46.112 + -0.112. Let b = 59.22 - 11.22. Let p = l - b. Which is bigger: p or -2/9?
-2/9
Let o = -119.9 + 119.7. Are o and -2223 non-equal?
True
Suppose 0*q = 5*q + 1355. Let t = 384 + q. Which is greater: t or 114?
114
Let b = -168851/10 + 16884. Suppose -5*d - 23 = -v, -4*v + d - 3 = -0. Which is smaller: v or b?
v
Let k = 0.4365 - 4692.4365. Which is bigger: -0.1 or k?
-0.1
Let b = -1454 + 767. Let y = 688 + b. Is y at most 73?
True
Let s = -2620460932/10647 - -246122. Which is greater: s or -1?
s
Let w(t) = 4*t - 3. Let p = 67 + -54. Let k be w(p). Let r = 52 - k. Is 10/3 > r?
True
Suppose 0 = 5*g, 6*r + 1 = 7*r - 2*g. Let a be ((-179)/(-3))/((-16)/(-30)). Let v = a + -111. Which is bigger: r or v?
r
Let w be 5/4*384/160. Which is smaller: w or 24/7?
w
Let j be (10/(-1036))/(1170/(-8424)). Which is bigger: -1 or j?
j
Let x(p) = 19*p - 148. Let z be x(8). Suppose -5*c = -2*d - 64, z*d = -3*c - 11 + 39. Is 101/8 smaller than c?
False
Let y be 372/992*(0 + 4/6). Which is bigger: -2000 or y?
y
Let o be (294/5)/(673/235550). Which is greater: 20581 or o?
20581
Let x be -287 - 15/(-6)*(6 + (-136)/20). Which is smaller: x or -5?
x
Let y = -3574777279/97 - -7593030722918/203021. Let p = y + -3828120/7. Let k = 324/13 + p. Which is bigger: -1 or k?
k
Suppose -102*u = -88*u + 1526. Let o be (0 + 1)*-3 + -7*15. Is u at most as big as o?
True
Suppose 0 = -z - 5*z + 12. Let k = -1 + z. Let w be k*6/(-8)*2/6. Which is smaller: 4 or w?
w
Let b(g) = g**3 + 8*g**2 - 839*g - 649. Let o be b(-33). Let z = 0.3 - 1.3. Is o at least as big as z?
False
Let b = 735 + -745. Let z = 4 + b. Which is greater: 12 or z?
12
Let j = -157806182 - -239549793721/1518. Let o = j + -14/253. Which is smaller: o or 5?
5
Let j(v) = -v**3 + 5*v**2 + 5*v - 55. Let c be j(6). Let a(w) = -w**2 + w + 11. Let f be a(-8). Let u = c - f. Which is bigger: u or -2/39?
u
Let t be (-210)/(-28)*92/(-6). Let i = 110 + t. Suppose -c + 2*c + 18 = -5*k, 2*k + 14 = 3*c. Which is bigger: k or i?
k
Let s(x) = x**3 - 13*x**2. Let a(t) = -3*t**3 + 27*t**2 + 1. Let f(y) = 2*a(y) + 5*s(y). Let v be f(-11). Let h = 121/6 - 39/2. Which is smaller: h or v?
h
Let p = 5363 - 6872. Is p < -1509?
False
Let f(a) = -32*a - 296. Let h be f(-13). Is h < 122?
True
Let j be (4864/96 - 54)*((-859)/(-2) + 1). Which is greater: -1434 or j?
-1434
Let z = 0.5 - 0.5. Let y = z - 0.1. Let t = -41.303 - -39.603. Is y < t?
False
Suppose -100 = 13*m - 3*m. Let h be (m - -12) + 960/(-483). Which is smaller: -1 or h?
-1
Let z = -227041 + 5952333895/26217. Do -1 and z have different values?
True
Suppose -2*t + 3*t - 2 = 0. Let h(i) = 2 + i**3 + 10*i - 7 - 11*i**2 - 5*i**t + 8*i**2. Let j be h(6). Which is smaller: -16 or j?
j
Let a be (-766)/(-22) + (-3)/((-132)/8). Let l = 4 + a. Let t = l - 43. Which is bigger: t or 1?
1
Let q = -16475 - -16471. Which is bigger: -241/5 or q?
q
Let j = 319 - 288. Let t = -29 + j. Is t < -73?
False
Suppose g - 87 = -0*g. Let h = 2178 - 2075. Let c = h - g. Are c and 17 equal?
False
Let u(h) = 8*h**2 - h - 5. Let m be u(5). Let a be ((-27)/(-2))/((-19)/(-266)). Which is greater: a or m?
m
Let i = 125 - 29. Let d be (-28)/20 - -1 - i/(-210). Is -1 at most as big as d?
True
Let g = 11533.06 + -11531. Which is smaller: 0.4 or g?
0.4
Let i = 29/4 + -515/28. Let c(m) = -2*m - 18. Let d be c(-15). Let s = d + -24. Which is smaller: s or i?
s
Let q be ((-114)/76)/((-50)/11940). Are 359 and q equal?
False
Let h = 27841 + -28044.8. Is -1/2 at most h?
False
Let d be (-9659)/12884 - -6*5*(-5)/(-200). Which is smaller: d or -1?
-1
Suppose -18 + 51 = 11*w. Suppose 0 = -w*i + 3*l - 23 + 17, -2*i + 2 = l. Is 2/1219 smaller than i?
False
Let h = -0.059 + -0.271. Let v = -20.59 + 13.92. Let k = v + h. Which is bigger: -2/3 or k?
-2/3
Suppose 689*b = 695*b + 30948. Which is smaller: -5157 or b?
b
Suppose 0 = 6*o - 18 - 24. Let t(b) = b**2 - 2*b - 35. Let y be t(o). Let c be 2 + -1 + (-65)/55. Which is smaller: y or c?
c
Let y = 21 - 29. Let n = 7 - y. Suppose -261*j + 4770 = 57*j. Is n > j?
False
Let s be ((-510)/(-20))/(3/(-4)). Let d = s + 308/9. Which is greater: d or -1?
d
Let u be 54 - 40 - 165/12. Which is bigger: u or -14/57?
u
Let v(t) = -t**3 + 12*t**2 + 7*t - 12. Let q be v(11). Suppose 183*u = q*u - 15. Let m be 15/(-3) - (u - 19). Which is greater: 58/7 or m?
m
Let v = 0.3014 + -0.1014. Suppose 0 = 5*t + s - 12, t - 5*s = -4*s. Suppose 6*u - 5*l = t*u + 53, 0 = -2*u - l + 9. Which is smaller: v or u?
v
Let y(r) = 6*r**2 + 59*r - 5. Let u be y(-17). Which is smaller: u or 724?
724
Let p = 1854 - 1831. Is 4/11 != p?
True
Let d be (-1)/((-2)/(-12)) - 9. Let w be 1/((-4)/(-114))*(-5)/d. Is 10 < w?
False
Let n = 6262 - 6643. Which is smaller: n or -0.2?
n
Let p(k) = -k**3 - 2*k**2 - k - 2. Suppose 123 + 57 = 5*f. Let w be (-9)/4 + 9/f. Let c be p(w). Which is greater: -6/5 or c?
c
Let b(f) = -4*f**2 - 4*f - 6. Let d be b(-4). Suppose -5*k = i + 8, -4*k = 5*i - 5*k + 14. Let x be (-2)/i - 45/d. Is x at least -0.1?
True
Let l(s) be the second derivative of s**4/24 - 4*s**3/3 - 13*s**2/2 + 4*s. Let r(i) be the first derivative of l(i). Let h be r(-2). Is -12 equal to h?
False
Let t = -13314810/71 + 187528. Let b = 42539/284 + t. Which is smaller: b or 146?
b
Let d(i) = i**2 - i - 1. Let u be d(6). Let l = u - 13. Let v be 1/(2/(-126))*(-938)/3283. Which is bigger: v or l?
v
Let l = -24004 + 24003. Which is smaller: 6/3931 or l?
l
Let z = -0.2 - -2.7. Let h = z - 0.2. Let d(v) = 5*v + 16. Let l be d(-3). Is h < l?
False
Let h =