 is bigger: g or -553?
-553
Suppose 1025*i = 1046*i - 20559. Are i and 0 equal?
False
Let k be (-66)/(-11) + (1 - 5). Let j = -166 + 168. Is k greater than or equal to j?
True
Let j be 25/(-5) + (-4 - -8). Let p be (-73606)/416 + (j - 3)/2. Let c = 179 + p. Is 1 less than c?
False
Let l be 36/(-18) + 3*1. Let t = -3557 + 3415. Which is smaller: t or l?
t
Let s = -90 + 103. Suppose s*k = 8*k. Is -2/17 < k?
True
Suppose 5*k + 121 = g, g - 3*k - 75 = 40. Suppose 73*d - 109*d = -3852. Which is greater: g or d?
d
Let c = -895 + 900.66. Let v = 4.66 - c. Which is smaller: v or 486?
v
Let o = -193434/7 - -27513. Let z = o - -20267/168. Let s be 4 - (8 + -5) - 1/1. Which is smaller: z or s?
s
Let q(u) = -u - 955. Let h be q(2). Which is greater: -4788/5 or h?
h
Suppose 2*u - 2*y = 2, -3*y = 3*u + u + 3. Let d = 2/1291660811 - 772044145262/16940131536265. Let w = d + -2/2135. Which is greater: u or w?
u
Let m = -2611 - -2610. Which is smaller: 364 or m?
m
Let h be 138/207*1/((-2)/243). Are h and 6 equal?
False
Let t(l) = 7*l - 9. Let o be t(2). Suppose -136 = -o*i - 41. Let y be i/(1/((-4)/(-4))). Which is smaller: y or 18?
18
Let u = -3.84 + -0.56. Let i = -18.85 - -20.25. Let y = i + u. Is y not equal to 1/2?
True
Let k be (-890)/(-12015) - (-75)/81. Let h be -2 - (21/3 + 0). Let b be 10*(0 - 1/h). Which is greater: k or b?
b
Let r = 160 + -159.155. Let o = r + -1.845. Which is bigger: 220 or o?
220
Suppose h + o = -0*o + 3, -4*h + 2*o - 6 = 0. Suppose h = -4*l - 0*l + 12. Suppose -m = -l, 4*n - 3*m - 7 = 5*n. Is n at most as big as -15?
True
Suppose 213 + 603 = -0*n - 3*n. Which is bigger: n or -269?
-269
Suppose -4*r - 230 + 223 = a, 13 = 3*a - 5*r. Is a < 5/528?
False
Suppose -4*b - z = -6*z - 346, -250 = -3*b - z. Do -1 and b have different values?
True
Let z be 299370/715 - ((-276)/(-22) + -12). Are z and 418 unequal?
True
Let i = 16059 + -48178/3. Which is bigger: i or -4448?
i
Suppose -3*w + 4*u - 85 = 0, u + 165 = -5*w + 3*u. Let j = 30 + w. Which is smaller: j or 7?
j
Suppose -2*f - 90*b - 120 = -91*b, -96 = 2*f + 5*b. Is f at most -63?
False
Let l = 178 - 168. Suppose 0 = -l*g - 7 + 47. Which is smaller: 36/13 or g?
36/13
Let j be -4*(-3 - (-19350)/3224 - 3). Is j > 0?
False
Let v(j) = -40*j + 2. Let k be v(2). Let i be (2/(-2))/((-7)/(-14)). Let z be (i - -5) + -5 - 76. Are k and z equal?
True
Let d = 23 + -9. Let k be 2/d + (-116)/28. Let m = -22 - k. Which is bigger: -13 or m?
-13
Let r be (21/(-9))/((-72)/216). Is r less than -121?
False
Suppose 0 = -9*v - 19*v - 157 + 1529. Which is greater: 38 or v?
v
Suppose 83*p = 171*p - 258720. Is 2942 bigger than p?
True
Let o = -30.602 + 26.602. Is o less than or equal to 278?
True
Let o(q) = q**2 - 2*q - 41. Suppose 0 = 4*l, -4*r + l - 8 + 44 = 0. Let a be o(r). Suppose -72 = a*h - 28*h. Is h equal to 12?
True
Let c = 3958 - 3957. Is 1/41 bigger than c?
False
Let k = -1.2299 + 1.3299. Which is bigger: 2/9347 or k?
k
Let l = -5857/4 - -49661/20. Which is greater: 1018 or l?
l
Suppose 3*i = 6*i + 34*i + 1258. Which is smaller: i or -49?
-49
Let w(a) = 51*a + 918. Let b be w(-18). Which is bigger: -6/3113 or b?
b
Let t = -84.2916 - 1.7084. Which is bigger: -3 or t?
-3
Suppose 3*j - 616 = x + 332, 0 = -j - 3*x + 316. Let c = -278 + j. Which is smaller: -8 or c?
-8
Suppose -o - 54 = -4*g, -o = -3*o - 4. Suppose g*s = 9*s - 40. Let z = 7 - s. Are z and 18 unequal?
True
Suppose -2*j - 4*j = -84. Suppose 16*a - j*a = 6. Let f be ((-90)/96)/((a/(-4))/(-1)). Which is smaller: f or 0?
f
Let y = -184 - -101. Let m = 57.6 - -26.4. Let d = y + m. Which is smaller: d or 26?
d
Let n(c) = 2*c**2 - 92*c + 93. Let a be n(45). Suppose -o + 2*b = -5, -4*b - 2 = -a*o + 7. Which is smaller: o or 3/8?
o
Let i be (-393786)/1670 + (3 - 1/1). Which is bigger: i or -235?
i
Let p = -116 + 122. Suppose -p*y = 2*y - 472. Which is bigger: 0.2 or y?
y
Suppose 64*t + 863 = -353. Let i = 52 + -59. Is t greater than i?
False
Let v(q) = 7*q**3 + 22*q**2 - 29*q - 26. Let h be v(2). Which is smaller: h or 57?
57
Let n be 9/18*(-1)/((-2)/696). Let l = -185 + 369/2. Are n and l equal?
False
Suppose 0 = x + 2*x - 3*f, -3*f - 2 = -4*x. Suppose 4*b = 10*b - 18. Suppose b*o + 2 = 2*o. Is x at most o?
False
Let l be 4/(-10) + 2762738/3145. Let f = 878 - l. Which is bigger: f or 0?
0
Let u be (-320)/60 - (-6 - 0). Is u less than or equal to -8/179?
False
Let k be (-537)/4*644/483. Which is smaller: -535/3 or k?
k
Suppose 4*i - 25 = 27. Suppose i*y = 9 + 56. Suppose -y*u = 73 - 13. Is u greater than -13?
True
Suppose -57*z + 52*z = -2*c + 422, z + 4*c + 58 = 0. Let y be 3/(3/(-83)) + 2. Which is smaller: z or y?
z
Let d = -3 - -3.054. Let p = 19.51 + -24.456. Let t = d - p. Is -0.3 greater than or equal to t?
False
Suppose -192*w + 10*l - 20 = -190*w, -5*l + 10 = 0. Which is smaller: w or 2/49545?
w
Let a be (-8)/(-88)*0 + (-38)/(-118). Do a and 4 have the same value?
False
Let y = -1475 + -411. Let b = 1809.9 + y. Let a = b - -76. Is a < -0.11?
False
Suppose -5*t = -2*s - 6*t + 81, -2*s + 78 = 4*t. Let j = s + -40. Let g be ((-13 + j)/4)/(-3). Which is greater: g or 0?
g
Let x be -4 + ((-291)/(-33) - 5) - (-57960)/(-1870). Which is greater: x or 0.1?
0.1
Let u be ((-3025)/(-125) - 13)/(10/(-10775)). Is u greater than -12070?
True
Let v = -72.1 - -71.9. Let h = -3.2 + 0.36. Let d = h + -0.16. Which is smaller: v or d?
d
Let g be (-48)/(-6) - ((-2)/5 - 38988/(-945)). Which is smaller: -34 or g?
-34
Suppose -r - 4*r + 335 = 0. Let a be (-40)/12*-6*42/56*72/15. Which is bigger: r or a?
a
Let t = -1687 + 1658. Is t equal to 5?
False
Let l be 1/2*(-2)/(-10). Suppose 11 = 2*v + 9*v. Suppose 0 = 4*n - 3 - v. Which is smaller: l or n?
l
Let h = 19042.6426 + -19043. Is 0.2 greater than or equal to h?
True
Let m(h) = 72*h + 1085. Let x be m(-14). Is -4 at least x?
False
Suppose 0 = -d - 28 - 0. Let r = 30 + d. Suppose r*b + 2*b = -4*a + 56, -b = 5*a - 34. Is 7 < b?
True
Let q(c) be the third derivative of 0 + 0*c + 15*c**2 - 1/60*c**5 + 1/8*c**4 + 7/6*c**3. Let j be q(6). Is -11 at most as big as j?
True
Let a(x) = x**3 + 4*x**2 - 5*x - 5. Let y be a(5). Let c = y - 194. Which is bigger: -1/303 or c?
c
Let r be 21/(-18) + (28/(-8))/(-7). Let f(x) be the first derivative of -x**2 + 2*x - 7. Let w be f(1). Is r less than or equal to w?
True
Suppose -14*f = 21 - 77. Suppose -f*t - 9*p + 5*p - 148 = 0, 0 = 5*t + p + 173. Which is smaller: -197/6 or t?
t
Suppose 0 = 83*c + 7039 + 15786. Is -276 smaller than c?
True
Let x be 33704/22*((-2)/4 + 1). Is 769 != x?
True
Suppose 0 = 3*s - 2*k + 5601, 529*k - 534*k = -4*s - 7454. Which is greater: -2/5 or s?
-2/5
Let f = -10370 - -12464. Which is smaller: 0 or f?
0
Let c = 5921 - 5997. Are c and -4 unequal?
True
Let x = 0.78 + -0.76. Let t = 96 - 47. Let l be (-7)/t - 34/(-42). Do x and l have the same value?
False
Let p = -29 + -56/3. Let d be 5 + (2/(-10))/((-21)/(-483)). Which is bigger: d or p?
d
Let n = -255.54 + -35.46. Which is bigger: -9/2 or n?
-9/2
Let q(f) = 2*f + 6. Let b be q(-5). Let y = 1 - b. Let z = -20/481 + -421/1443. Are y and z equal?
False
Let l = 3 + -1.2. Let d = 99.36 - 99. Let r = d - 0.46. Is l at most as big as r?
False
Let j(q) = 16*q**2 - 12*q**2 - q**3 - 20*q**2 + 16*q + 3*q + 3. Let s be j(-17). Is s at most as big as -18?
True
Let q = -15028/2049 - -2/2049. Is q greater than 0.141?
False
Let m = -61 - -41. Let o = 4864 - 4887. Is m bigger than o?
True
Suppose 280 = -4*d + 3*b, -2*b - 69 = 2*d + 57. Let r = d - -44. Let s(v) = v**3 + 23*v**2 - 25*v - 46. Let q be s(-24). Which is bigger: r or q?
q
Let c(s) = -5*s**3 - 2*s - 17. Let j be c(-4). Let u = -312 + j. Is -14/39 bigger than u?
True
Let g be 3*-1 - (2 - (56 + -3)). Suppose -12 = -o - g. Let f be 8/(-56) + (-258)/7. Which is smaller: f or o?
f
Let x = 3099 + -3344. Which is smaller: x or -243?
x
Let f = 27.2 - 31. Let j = -731.6 + 726. Let p = j - f. Which is smaller: p or 1/4?
p
Let d = 0 - 2. Let y be -3*(d + 10/6). Let l = -2/4129 + -8140/243611. Is y at least l?
True
Suppose 0 = 2*p + 2*h - 22, -13 + 5 = -2*h. Suppose p*v = -v - 40. Let a be (-24)/10 + (v - -6) + 1. Which is bigger: 0 or a?
0
Let z be (-14)/(10/105 - (-320)/(-1008)). Suppose -5*v = -2*v - 189. Is z less than v?
False
Let p = -3719/15 - -1823/5. Is 11