- 20*q - 15. Let p be u(13). Let n be (-2)/3*p/(-210). Which is greater: b or n?
n
Suppose u + 13 - 33 = 0. Suppose 3*y + 6*j - 33 = 5*j, 4*y = -4*j + 36. Let d be y + -13 + 0 + 19. Which is smaller: u or d?
d
Let g = -35 + 35.3. Suppose 25*x - 230 - 245 = 0. Which is greater: g or x?
x
Suppose -3*c + 8 = -31. Let h(g) be the second derivative of -g**4/12 + 7*g**3/3 - 6*g**2 - 2*g - 37. Let p be h(c). Which is bigger: -3/17 or p?
p
Let u(q) = 5*q**2 - 133*q + 74. Let r be u(26). Which is greater: r or -119/44?
-119/44
Let q be (-7644)/(-14)*31/93. Which is bigger: 216 or q?
216
Let g = -3237 - -3238. Are -1/2227 and g unequal?
True
Suppose -4 = -5*c + 1. Let b = -1281691/40 + 32044. Let x = -3087/1720 + b. Which is bigger: x or c?
c
Suppose 509 = 3*n + 506. Which is bigger: n or 2/953?
n
Let f(r) = r**3 - 14*r**2 + 38*r + 15. Suppose 30 = 4*i - 4*l + 9*l, -3*i = -3*l - 36. Let u be f(i). Which is smaller: -7 or u?
-7
Suppose -65*x - 2*x + 11*x = 3304. Which is bigger: -293/5 or x?
-293/5
Let o = 0.15526 - -28.04474. Do o and 0.1 have the same value?
False
Let q(s) = -2*s**2 - 30*s - 9. Let j be q(-6). Are j and 68 equal?
False
Let s be (2 - 11/7)/1. Let o = -2248.93 - -2060. Let p = o - -189. Which is smaller: p or s?
p
Suppose -34*f + 29*f = 15. Let p be (f - -3)/(3 + (-12)/3). Which is bigger: p or 1/382?
1/382
Let x be (-1)/((-5 + 2)/3). Suppose 0 = -2*w + 13 - x. Suppose -w*m = 3*m. Which is smaller: m or -33?
-33
Let x(a) = -218*a + 1066. Let m be x(5). Suppose -10*u + 575 = -5*u. Suppose -u = 2*l + 3*l. Which is bigger: l or m?
l
Let v be 1*-1 - (-91212)/96120. Let j = 1358142/445 + -3052. Let w = j - v. Which is smaller: w or -1?
-1
Let f = -393 - -384. Let a be 15/10*(-786)/f. Which is smaller: 129 or a?
129
Let y be (-4)/(-10)*(12/(-32) - (-2149393)/(-232)). Is y not equal to -3705?
True
Let o(i) = 2*i**2 - 32*i + 157. Let t be o(15). Suppose -t = 40*q - 39*q. Do -130 and q have the same value?
False
Let t be (2 - 2) + 9200526/(-4578981) + 2. Let j = -2/7303 + t. Let z be 4/2 + (-1 - 1). Is z bigger than j?
True
Let k = -3640 + 3217. Which is greater: -421 or k?
-421
Let g be (5/(105/(-6)))/((-1700)/131495). Is g < 23?
True
Let k(j) = -111*j + 186. Let h(a) = 22*a - 37. Let x(s) = 21*h(s) + 4*k(s). Let t be x(2). Is 7 less than t?
False
Let j be (-17 + 29)*796/6. Suppose 62*n = -j - 20. Do -33 and n have the same value?
False
Suppose 5*z + 4*y = 251 + 2942, 1911 = 3*z + 3*y. Which is greater: 659 or z?
659
Suppose 5*z + 3*j = 3367, -24*z + 3*j + 2001 = -21*z. Is 670 greater than or equal to z?
False
Let m be (55536/48)/((-2)/4). Are m and -2313 nonequal?
True
Let x(j) = -4*j**2 + 6*j + 9. Let c be x(-6). Suppose 5*f = -s - 196, -5*f = -6*s + 5*s - 146. Is s >= c?
True
Let j be ((-84)/(-15))/(8/(-100)). Let h = j + 96. Let c be h*3/(-24) + -3. Is -7 at least as big as c?
False
Let q(i) = -16*i - 320. Let w be q(-22). Suppose 34*c = -w + 168. Is c smaller than 17/6?
False
Let n = 24493 - 160894518/6569. Is 1 not equal to n?
True
Let f = 2048 - 2050. Is -177/55 at most as big as f?
True
Suppose -23600 = 319*t - 24*t. Which is smaller: t or 36?
t
Let j(s) = 8*s + 15. Let m be (2/(-5) + 0)/((-29)/(-145)). Let t be j(m). Let q = -5/4 - t. Is q at most as big as 0?
True
Let a(l) = 126*l - 4745. Let z be a(59). Which is smaller: z or -0.1?
-0.1
Let f(j) = 3*j - 3. Let y be f(2). Let g be ((-20)/(-36))/(2/y). Suppose -151 + 43 = 68*r + 96. Which is greater: r or g?
g
Let w be ((-732)/(-6))/(-2*5/140). Let o be 2/(-3) - w/(-21). Is 2 at least o?
True
Let v(k) = -k**3 - 5*k**2 - 14*k - 7. Suppose 33 = -15*j - 57. Let p be v(j). Let w = -171 + p. Which is greater: w or 0?
0
Let h be (-16515)/57876 + 4/16 + (-1)/(-28). Are 0 and h nonequal?
True
Let o(c) = c**3 - 4*c**2 + 4*c - 6. Let z be o(4). Let h(m) = 8*m - 11135*m**2 + 0*m + 11134*m**2 + 16. Let w be h(z). Which is bigger: -9 or w?
w
Let n be 61334/(-132) + (-24)/132. Which is smaller: n or -466?
-466
Let u be 287/(-14) - 1/(-2) - 0. Let x be (-3)/(-2)*u/(-15). Suppose -r = -x*r - 1. Which is smaller: r or 0?
r
Suppose -5*o = 127 + 153. Let x be (12/o)/((-18)/(-35)*1). Which is greater: x or 1?
1
Let m = 2572 - 2685. Are m and -16/3 nonequal?
True
Let w = 10 + -10.48. Let z = -286.9852 - -287. Let p = 0.0148 - z. Which is greater: w or p?
p
Let n(q) = 15*q**3 + q**2 - 6*q + 6. Let m be n(2). Suppose -238 = 5*l - m. Which is smaller: l or -174/7?
-174/7
Suppose 3*u - 2*n = -1697 - 169, 2*u + n + 1244 = 0. Let g = -378 - -378.1. Which is bigger: g or u?
g
Let s = 3846 - 3859. Which is smaller: -20/7 or s?
s
Suppose -66*k + 1041 = -63*k. Let u = -346 + k. Is u greater than -1/285?
True
Suppose -3*y + 6 = -4*o - 19, 3*y - 19 = -2*o. Let z(v) = -v**3 + 21*v**2 + 27*v - 27. Let g be z(23). Let f = -456 - g. Which is bigger: f or y?
f
Suppose -9 = 4*i - 9. Suppose i*a - 17 = a - 4*k, -19 = -a - 5*k. Let m = 869/6 + -146. Which is greater: m or a?
a
Let w(m) = -8*m**2 - 4*m + 4. Let i be w(2). Let z be -2 + 105/49 + 1152/(-28). Is i > z?
True
Let t be 2405*20/17000 + 9/(-6). Is t > 0?
True
Let p be (-15)/3 - (7 - (-5 - -85)). Suppose 9*w + 8614 = p*w. Are 146 and w nonequal?
False
Suppose -7*y + 2265 = -2*y - 3*w, 0 = 2*y + w - 895. Suppose -98*o + 83*o = y. Which is bigger: o or -1?
-1
Let y be (2/8)/(15/24). Let w = 4/5 - y. Suppose -c = -6*c + 2*h + 140, 28 = c + 3*h. Which is smaller: c or w?
w
Let d = -220 + 220.0925. Let b = -19.0925 + d. Which is smaller: b or -1/6?
b
Let g = -105028 + 1049247/10. Which is greater: -102 or g?
-102
Suppose 0 = -4*k + k. Let u(z) = -18*z - 35. Let i be u(-5). Let n = i + -54. Which is greater: k or n?
n
Suppose -10*g = -3*g - 217. Suppose -280 = 3*m - 8*m. Suppose -m = -2*f - 3*c, -5*f - 33 + 192 = -2*c. Is f bigger than g?
False
Let j be 0 + (44/(-20))/((-7)/1607). Let o = j + -505. Is 1 at least o?
True
Suppose -2*z = 4*n - 16, -3*z - 5 = -4*n + 1. Let a = -6.6205 - -6.3305. Which is smaller: a or n?
a
Let d be ((-224)/42 + 5)*-6. Which is smaller: d or 68/41?
68/41
Suppose 3 = -5*o + r, -5*r + 1 + 14 = -5*o. Suppose o = -4*d + 4. Let t = -335 - -357. Which is bigger: d or t?
t
Suppose -527 - 565 = -28*y. Suppose -72 = 128*q - 130*q. Which is smaller: q or y?
q
Let y be (-224)/28 - (-3 + 144). Is y at most -161?
False
Let s(v) = -v**3 - 10*v**2 - 10*v + 6. Let k be s(-5). Let u be 3/(-2) - (-42)/4. Let g be (1364/(-18) - -6) + (-2)/u. Do k and g have the same value?
False
Let j = -428.9 + 422.9. Let k(z) = -z. Let m be k(-4). Suppose 28 = -o - 9*t + m*t, 0 = -4*o - 5*t - 37. Which is greater: j or o?
o
Let u = -26.59212 - 0.03788. Is u bigger than 1?
False
Let q = -25854 - -20249. Which is bigger: -5607 or q?
q
Let a be 9*(-22534)/(-50787) - (0 + 4). Which is greater: 1 or a?
1
Let n be (5386/8)/((-108)/48) + (11 - 4). Does n = -292?
False
Suppose 0 = 4*v + 4*b + 11353 - 31781, 2*v + b = 10210. Let d be ((-7)/(v/(-6)))/(6 + -7). Suppose -2*h + 2 - 4 = 0. Is h != d?
True
Let i = -482.9 + 680. Let u = i - 197. Let g = -6.1 - -6.57. Is u smaller than g?
True
Let j be (-63)/(-7) - ((-268)/(-8))/((-298)/(-76)). Which is bigger: -1 or j?
j
Let w = -898 - -964. Which is smaller: 32 or w?
32
Let f be (-3856)/176 + 22 - 105/(-55). Let p be (1 - 1) + 8/(-46580). Let y = p - -163068/221255. Is f != y?
True
Let h = 268 + -263. Suppose 5*g - 25 = -h*c, -5*c - g + 6*g + 15 = 0. Let q = 53/2 - 26. Which is greater: q or c?
c
Let i be 4008/(-4509)*((-1394)/(-4200) - 2/6). Which is greater: i or 1?
1
Suppose 0*f = 5*f - 55. Let x be 1*(2/(-5))/(f/110). Let q be 2 + (x/96 - 2). Are 1 and q equal?
False
Let a be ((-6137)/476 + 13)/(1/(-972)). Let t be (13/(-2))/((-2)/(-32)). Let j = a - t. Which is bigger: j or -2?
j
Let s = 12412 + -12413. Is 105 <= s?
False
Let w be 74/333*(10608/1180 + -9). Suppose -4*r = 2 + 2. Is r > w?
False
Let h(w) = -8*w - 118. Let k be h(-14). Let x be (k + 11/2)/((-2)/4). Which is smaller: x or 3/334?
3/334
Let m = 3 + -2.9. Let l = 70.25225 + -0.41925. Let s = 0.167 + l. Is m >= s?
False
Let j be (135338/42)/((-20)/(-60)). Are j and 9666 non-equal?
True
Let s = 3289 + -3322.795. Let l = -0.205 + s. Which is smaller: l or 2/17?
l
Let d = -352 - -406. Suppose 12*k - d = 6*k. Which is greater: 36 or k?
36
Suppose -4*a = -5*y + 24, -3*y + 0*a + a +