 is smaller: k or q?
q
Suppose 35*t - 3124 = 13*t. Suppose -285*y = -284*y - t. Which is smaller: 144 or y?
y
Let j = 17034 + -16882. Which is bigger: j or 50?
j
Suppose 5*k - v - 33 = 3*v, 3*v + 19 = -2*k. Is 132/245 <= k?
True
Suppose -3*n + 4 = 5*c, -15*n = -14*n + 2. Let f be (8/(-24))/(c/(-60)). Let j(h) = -2*h - 2. Let t be j(-5). Which is bigger: t or f?
f
Let j = -643 - 1448. Does -2091 = j?
True
Let f = 932 + -582. Let x = f + -6648/19. Let v(w) = -w**2 - 6*w + 1. Let y be v(-6). Which is smaller: x or y?
x
Let s = 4.4119 - 0.0119. Let l = 0.01 + -0.41. Let c = s + l. Is -1/3 greater than or equal to c?
False
Let q = 89 - 391. Let h = q + 934. Are 633 and h non-equal?
True
Let u(q) = 2*q**3 - 42*q**2 + 2*q + 1. Let a be u(21). Suppose -a*w = -65*w - 2794. Which is bigger: -123 or w?
-123
Let j = -30.5 + 27.9. Let v = 13.557 - 0.157. Let c = j - v. Which is bigger: -2/5 or c?
-2/5
Let j be (-42)/(-9)*18/7. Let v be -7 - (-7)/(42/30). Let u be (1224/(-24))/(9/v). Is j < u?
False
Suppose 0 = -v - 4*o - 1671, -2*v = -4*o + 9*o + 3348. Is -1679 greater than or equal to v?
True
Let m = 37 + -34. Let q(w) = -517*w + 3. Let y be q(0). Is m <= y?
True
Let y(u) be the second derivative of -1/20*u**5 + 4/3*u**4 + u**2 - 3*u**3 + 0 - 6*u. Let z be y(15). Is -42 smaller than z?
False
Suppose v - t + 2*t = 648, 3*v - 1948 = -2*t. Let w be v/940 - (-8)/(-10). Is w > -1?
True
Suppose 0 = -4*z + 5*f - 223, 4*z = 2*f - 3*f - 253. Let v be (-4365)/(-72) + (-6)/(-16). Let g = z + v. Which is smaller: g or -2?
-2
Let x be 0 + 4872/20 + 0 + -6. Which is smaller: x or 239?
x
Let i(j) = 550*j - 917. Let x be i(6). Is x >= 2384?
False
Let n(v) = -5*v**2 + v + 6. Let o = -42 + 29. Let j(t) = -11*t**2 + t + 13. Let w(s) = o*n(s) + 6*j(s). Let f be w(-6). Is f less than or equal to 8?
True
Let w(z) = 23*z + 63. Let a(o) = 67*o + 189. Let c(k) = -4*a(k) + 11*w(k). Let p be c(-4). Is p at most -26/17?
True
Let z = 3120/26231 - 2/1543. Which is greater: z or -7/2?
z
Let g(y) = 7*y - 6*y - 4*y - 3*y + 9 + y**2. Let q be g(4). Let a = -196 - -1187/6. Which is smaller: a or q?
q
Suppose -3131*b = -3154*b - 1219. Which is smaller: b or -55?
-55
Let b be 2516 - -39 - (7/(-14))/((-1)/10). Which is smaller: b or 2552?
b
Suppose 73*h = 211 + 53 + 685. Which is smaller: 119/10 or h?
119/10
Let h = -2775 + 3453. Which is bigger: 2/5 or h?
h
Let m be 635*(96/(-30) + 6). Are m and 1778 unequal?
False
Let h be (-7)/(70/(-1536)) - 58/(-145). Let b = h + -155. Let m = -505 - -10607/21. Which is smaller: m or b?
b
Let h = 559.0591 - 559. Let s = h - 9.1591. Which is bigger: s or 1/2?
1/2
Suppose 0 = 5*h - 3 - 7. Let l(s) = -7*s**3 - 16*s**2 - 10*s - 16. Let d be l(-2). Let j be 2 - (h - (d + 2)). Which is greater: -11/7 or j?
-11/7
Let a = -3695 + 3700. Which is bigger: a or 5/146?
a
Let h(k) = k**3 + 8*k**2 + 7*k + 24. Let i be h(-7). Suppose l = -47 + i. Which is smaller: l or -26?
-26
Let p be (18/(-1161))/(-2 - 24/(-9)). Let r = p - -181/387. Let f be (-2)/(-4) + 2/(-4). Which is smaller: f or r?
f
Let i = 286 - 286. Suppose -r + 0*r = 0, i = -4*j - r - 660. Is j <= -165?
True
Let g be (0 - -6) + (-20)/(-4). Let q be (33/g)/((-3)/197). Is q != -197?
False
Let d(w) = w**2 + 4*w + 5. Let g be d(-4). Suppose -5*r = -4*b + 47, -b + r + g = 2*r. Suppose 2*a = -3*f + 13, f - 2*f + b = -3*a. Which is bigger: 2/7 or a?
2/7
Let d be (-553)/(-4) - 4/(-96)*-6. Suppose 4*k + q - d = 0, -k + 27 = 5*q - q. Let t be 0 - k/10 - -4. Which is smaller: t or 20/11?
t
Let s = -7106 - -7106. Which is smaller: -1/5243 or s?
-1/5243
Let n be 49 + -989 - (5 - 0). Let u = n + 370. Do u and 1/2 have different values?
True
Let f(p) be the first derivative of p**2/2 - 14*p + 12. Let z be f(8). Suppose 9*a - 7*a + 14 = 0. Which is smaller: z or a?
a
Let l(o) = 140*o + 1399. Let y be l(-10). Let r be 2 - -147*4/(-286). Does y = r?
False
Let q = 0.4185 - 0.0505. Let b = q + -0.298. Do b and 3/11 have different values?
True
Let g be 2472/492 + 4/(-1) - (7 - 6). Is -0.54 < g?
True
Suppose 0 = -5*f + 1 + 19. Let g = 2078/13 + -160. Is f equal to g?
False
Let j be 2238/(-9) + (-14)/42. Which is smaller: -256 or j?
-256
Let w = 5828/229 + -1934670/9847. Let u = w + 171. Are u and -1 unequal?
True
Let w = 1136.4 - 1136.2. Which is bigger: -1369/6 or w?
w
Let g be 0/(2/(-5) - 8/5). Let x = 691 + -694. Is g < x?
False
Let y = -189.1 - -190. Let c = 1.9 - y. Let v be -4*((-186)/92 - -2). Do c and v have the same value?
False
Let m = 187 + -304. Let v be m/(-21) - 5 - 190/14. Is 2 at most v?
False
Let i = 14064 - 14065. Which is bigger: 9/1051 or i?
9/1051
Let s = -61 - -34. Let r = 60 + s. Let q = -32.9 + r. Is -10 less than q?
True
Let g be ((-9154)/69)/((-116)/(-12)). Which is greater: -14 or g?
g
Let u(t) be the second derivative of -t**4/12 - 5*t**3/6 + 7*t**2 - 6*t. Let o be u(-7). Suppose o*y = 3*y. Is y <= 1/16?
True
Let x be ((-2)/((-32)/20))/(6/(-96)). Let j be 7/(231/(-4))*2/x. Is j bigger than 1?
False
Suppose 0 = 4*q + 6 - 2. Let a = -281.6 - -34.6. Let p = a - -245. Which is smaller: q or p?
p
Let v = 12 + -11.92. Let t = -0.19 - v. Let c = t + 0.17. Which is bigger: c or 2?
2
Suppose 104*j = 89*j. Is j less than or equal to -686?
False
Suppose 20*y - f = 19*y - 1, 0 = 4*y - 5*f + 6. Which is bigger: -3/8392 or y?
y
Let l(i) = -i**2 + 4*i + 16. Let u be l(-8). Let b = u + 70. Is -2 > b?
True
Suppose 0 = -2*v + 4*k + 239 - 39, k = -2. Let a be (-4)/(-6) - 0 - 46/v. Let s(l) = l**3 - 14*l**2 + 14*l - 12. Let p be s(13). Which is greater: a or p?
p
Suppose -8*w = -38 - 42. Suppose -w*c + 12*c = 0. Suppose c = 5*p + 4*f + 42, -3*p + f + 4*f - 40 = 0. Which is bigger: 0.2 or p?
0.2
Let g be 204/136*(-8)/6. Let y = -271 + 244. Which is greater: g or y?
g
Let m = -1233/2 - -61647/100. Which is smaller: m or 0?
m
Let z be (2 + -1)*(-369)/(-9). Suppose -36*y + z*y + 185 = 0. Suppose -5*q = -3*i - 3*q - 111, i - 5*q + 37 = 0. Does i = y?
True
Let r = 0.00944 - -0.38146. Which is smaller: r or 0.1?
0.1
Let m = -2467 - -2483. Let c be 4/(-18) - (-411)/27. Is c <= m?
True
Suppose 166*s = 185*s - 608. Suppose 20 + 40 = -6*a. Let l be (-1560)/(-50) + 2/a. Is l not equal to s?
True
Let f be -6*(-5)/60*-298. Let m = 150 + f. Which is bigger: -1/11 or m?
m
Let a be 5 - 13 - (-1 - 1). Suppose 0 = 5*v - 5*p - 5, 5*v - 3*p = -p - 7. Which is bigger: v or a?
v
Let i(q) = -q**3 - 9*q**2 + 131*q - 84. Let a be i(-17). Is -1/4005 at least as big as a?
False
Let h = 30.66 - -1.34. Let v = -32.288 + h. Do -1 and v have the same value?
False
Let c(d) = 5*d + 28. Let o be c(-5). Suppose -o*y + 0 = 2*g - 14, g - 14 = -5*y. Is y greater than 139?
False
Suppose -206*i - 2*t = -207*i + 41, -5*i - 2*t + 145 = 0. Which is smaller: i or 4?
4
Let g = 147/338 - 231927/1690. Which is bigger: g or -136?
-136
Let j be (-2)/(-7 - 28278/(-4041)*1). Is j >= 900?
False
Suppose 21*d - 110 = 43*d. Is d less than or equal to -15?
False
Suppose -3 = -8*r + 29. Suppose -r*y = -5*y - 41. Let v = y + 40. Are -2/69 and v equal?
False
Let c = -1855/4 - -471. Is c < -2/7?
False
Let z(l) = -465*l - 2303. Let c be z(-2). Which is bigger: -6866/5 or c?
c
Let l be 51/(-17)*(-1)/3. Let w be ((-3)/(-2))/((-57)/7562). Which is greater: l or w?
l
Let p = -1583/5 + 1260063/3980. Is -1 at least as big as p?
False
Suppose 4*a + 5 = 1. Let p be ((-9)/(-12))/(60/(-32)). Is p less than or equal to a?
False
Let a = -14753/2292840 - 2/5211. Which is greater: -1 or a?
a
Suppose -s = -2*s - w - 212, -4*s = -2*w + 842. Is -209 bigger than s?
True
Let n be ((-1 - -1) + 2)/((-6)/1914*-22). Which is greater: -38 or n?
n
Suppose -5857 = -4*q + 9031. Let m = q + -70746/19. Is m > -1?
False
Let d = 5796.9 + -5797. Is d greater than -936?
True
Let g = -114.91 - -23.91. Which is greater: -12 or g?
-12
Suppose 166*d = 88*d + 78702. Which is bigger: 1007 or d?
d
Let m be ((-6149595)/(-60))/(-29) - (-65)/(-5). Is m at most -3547?
True
Let h = 160 + -152. Let a be (-36268)/6720 + 5 - h/(-20). Which is greater: -1 or a?
a
Suppose -5*t - 5 + 10 = 0. Let d = -0.694 + -57.826. Let l = 59 + d. Is t less than or equal to l?
False
Suppose -2*z = 2*g - 38, -3*z + 0*g = -2*g - 67. Suppose -v + z = 2*v. Are v and 71/10 nonequal?
True
Let j = 37.5 - 37.6508. Which is bigger: j or 0?
0
Suppose -