0 = 13*g - 15*g - 12. Let j be (g/20)/(12/(-5)). Let c = 2 + -3. Is c at least j?
False
Let t be 9/6 + 420/(-328). Is t > 1?
False
Let g = -64 - -72. Let j = 3 + -2.9. Which is smaller: g or j?
j
Suppose 0*y - 16 = -2*y. Suppose 4*z - 23 = -j, -z - 3*j + y = -6. Suppose 3*m - z*m = -6. Is m greater than or equal to 4?
False
Let s = -381 - -382. Is -5/62 >= s?
False
Let b(s) = 2*s + 1. Let i(t) = -t**2 + 8*t. Let w be i(8). Let c be b(w). Is c equal to -2/11?
False
Let h = 2.257 - -0.043. Let j = -104 - -104. Suppose j = 14*u - 1 + 1. Is u not equal to h?
True
Let m be (-20)/(-6)*42/35. Suppose 18 = m*d + 2*n, -2*n = n + 3. Which is smaller: d or -1?
-1
Let v be 4/(-3)*(-5737)/42. Let t = v + -1580/9. Which is bigger: 8 or t?
8
Let h be ((-72)/(-15))/(11/(-55)). Which is bigger: -27 or h?
h
Let i be 1068/5*(-910)/(-52). Let u = 691528/185 - i. Is -1 <= u?
True
Suppose -4 = -p + 3*p. Let r(y) = y**3 + y**2 + 2. Let q be r(0). Suppose -4*b + 3*b = i - 4, -4*b = -q*i + 14. Is b > p?
True
Suppose 4*x + 2*x = 0. Suppose 9*m - 6*m + 3 = x. Which is smaller: 1/13 or m?
m
Let l be (346 - 0) + (-39)/(3 - -10). Is 343 less than or equal to l?
True
Let u = -1 - -1. Suppose 4 = 17*g - 21*g. Let k = g + 0. Is k at most u?
True
Suppose 2*b - 18 = -8. Suppose 7 = 4*x - b, -5*x = 4*w - 31. Suppose 0 = -2*h - 2*z - w, -2*z - 11 = -5. Is h greater than or equal to -2/25?
True
Let o = 8.4 - 8.5. Which is greater: o or 45?
45
Let u be (3 + (-948)/320)/(42/472). Let r = 6/35 - u. Is 11 greater than r?
True
Let h be 0/(3/2*(-3 + 1)). Let w be 0/(h/4 + -2). Which is bigger: 33 or w?
33
Let k(g) = g**3 - g + 2. Let d be k(0). Suppose 3*i - 4*t = -17, 0 = -3*i + d*t + t - 12. Let h = 1029 - 17487/17. Which is greater: i or h?
i
Let r be (-13 - -13) + 2/8. Let v = 74 - 72. Which is greater: r or v?
v
Let u(g) = -g**3 + 6*g**2 + 10*g - 6. Let j be u(7). Let m be 35*((-48)/30 - -2). Do j and m have different values?
True
Let w be ((-248)/20 - -6)*-10. Is 62 at least as big as w?
False
Let u = -456 + 469. Do 150/11 and u have different values?
True
Suppose -20*k + 168 = 288. Let m = 4 - 10. Is m <= k?
True
Let d = 3.2 + -2.89. Let f = -0.31 + d. Which is greater: f or -4/3?
f
Let p = -186 - -188. Which is greater: p or 30/41?
p
Let f = -0.49 - -101.49. Are 1 and f equal?
False
Suppose -5*t - 5*y = -29 + 4, 3*t - 5*y = -9. Suppose -18*k = v - 23*k - 13, 5*k - 2 = -4*v. Is v bigger than t?
True
Let y = -817/195 - -51/13. Suppose -3*d = -4*p + 5 + 10, -4*d = -3*p + 20. Suppose -2*x = 4*f + 6, p*f - 4*f + 3*x = -19. Which is smaller: f or y?
y
Suppose 5*j + 4 = -2*v + 14, 8 = 4*j - 4*v. Let k be (-42)/24*j*2. Let c be (-9)/(1 + 2) + (-15)/5. Which is greater: c or k?
c
Let p = -18.93 - -19. Let b = p + -0.15. Which is smaller: 0 or b?
b
Suppose -c = 2*c + 27. Let t = -46/5 - c. Suppose 0 = -4*s + 4*z - 20, -2*z + 3 = -3. Is s at least t?
False
Let y(t) = -t**3 - 7*t**2 + 7*t - 1. Let w be y(-8). Suppose 2*u + w = 11. Which is greater: 2/3 or u?
u
Let z = 62 - 35. Let l be 72/z + (-2)/3. Suppose 4 = -0*q + l*q. Do 0 and q have different values?
True
Let c = 29446/3 - 9816. Let x(k) = 2*k - 11. Let f be x(-8). Let p be 4/18 + 6/f. Are c and p equal?
False
Let w be (-3 - 6) + -7 + 17. Which is bigger: -22/69 or w?
w
Let c(b) = -b + 18. Let a(t) = t**3 - 3*t**2 - t - 3. Let w be a(4). Let x be c(w). Let u be (-6)/x + 34/6. Is u greater than 1?
True
Let b be (5 + 2 + -6)/(2/118). Let r = 59 - b. Let c = 193 - 2508/13. Which is smaller: c or r?
r
Let t = 0.035 - 26.035. Let b = -26.1 - t. Which is bigger: -2/85 or b?
-2/85
Suppose -3*p + 53 = 11. Suppose 2*m - p = 2*f - 6*f, m - 13 = -5*f. Which is smaller: m or 32/11?
32/11
Let o(a) = -a - 6. Let m be o(-7). Suppose -b = -4*b - 36. Let s be 9 + b - (-178)/58. Which is bigger: m or s?
m
Let u = -624 - -623.9. Let g be -1 + 10*(-1)/(-9). Is g >= u?
True
Suppose 5*c - 4*w = 140, -28 = -2*c - 3*w + 28. Suppose c = 4*u - 4. Let h be 17 + u/(-6)*-3. Are h and 21 unequal?
False
Let m be ((-12)/(-10))/(-12*(-6)/123936). Let b = 2056 - m. Do -9 and b have the same value?
False
Let w(x) = -15*x + 151. Let c be w(10). Do c and 15/11 have different values?
True
Suppose 0 = -35*h + 38*h. Suppose h*g = 5*j + 3*g, -5*j + g = 0. Is 1/4 <= j?
False
Let l = 25 - 22. Let c be 9/(-9) + (-2)/(-2). Let v = c + l. Are v and 0.1 non-equal?
True
Let o = 1 + -4. Let a be (o + (-6)/(-2))/2. Let y be ((-14)/4)/7*a. Do -5 and y have the same value?
False
Let q(s) = -11*s**2 + 3*s + 1 - 3 + 12*s**2. Let o be q(-4). Suppose g = -g + o. Which is smaller: g or 2/7?
2/7
Let c = 9.7453 - -0.2547. Let b = 59/4 + -665/44. Let h = 27/44 + b. Which is greater: c or h?
c
Let f(y) = -4*y + 16. Suppose 3*r = 2*d + 29, -40 = -4*r + 4*d - 0. Let g be f(r). Let o = g + 27. Which is bigger: o or 9?
9
Let s(h) = h**2 + 16*h - 99. Let q be s(-21). Suppose 2*z - 5*z = -15. Suppose 0 = -z*k + q*k + 1. Which is smaller: k or 1/15?
k
Let j = 290576 - 2038980/7. Let s = j - -698. Which is bigger: s or -8?
-8
Let l be -14 - (2*-3 + 3). Let u = l + 8. Which is greater: -11/5 or u?
-11/5
Let q be ((-200)/30)/(-10) - (-286)/(-6). Is -95/2 at most q?
True
Let k = 12.56 - 4.46. Which is greater: k or -6?
k
Let p = 157 - 251. Let n be (0 - 2/(-8)) + 11049/(-116). Is p greater than n?
True
Let g be 83/(3 + -2) - 3. Suppose -l + 5*k + 96 = 0, -5*k - 34 = 5*l - 424. Which is bigger: g or l?
l
Let a be (-4 - -3) + 15 + 2. Let h = a - 12. Suppose h*o + 2*c = 38, 0 = o - 2*c + c - 8. Which is smaller: o or 15/2?
15/2
Let f = 0.04 + -1.04. Let b = -4 + -27. Let h = b + 18. Which is smaller: f or h?
h
Let k be (-82)/14 - (-94 + 90). Is k less than -3?
False
Suppose 0 = -8*r - 397 + 61. Let a be (-60)/r*3/((-30)/(-8)). Is a equal to 2?
False
Let n(i) = -i**2 + 6*i - 3. Let k be n(7). Let b be k/(-8) + (-2)/8. Let h be 240/(-64) - (16/(-4) + -2). Is b bigger than h?
False
Suppose -2*r + y = 79, -17 = 5*r - 4*r - 5*y. Let o be (r/70)/((-3)/2). Are o and -2/111 nonequal?
True
Suppose 3*f + d + 2 = 7, -4*f - 2 = -3*d. Let o(s) = -s**2 - 7*s - 3. Let u be o(-6). Suppose -u*p = -5*p + 2. Is p equal to f?
True
Let d be (4/6)/((-1)/(-180)). Suppose -8*b = -336 + d. Is b less than -1?
False
Let k(x) = 3*x**2 + x + 1. Let f be k(-1). Let p be (-2)/3 - (-38)/f. Suppose -2*a - 32 = p. Is a bigger than -21?
False
Let y be 6/1*(-52)/(-24). Suppose 5*v - 2*x + y = 0, 4*x + 1 - 17 = 0. Let h = 67/384 - 1/128. Which is smaller: h or v?
v
Let a be -1 + (3 - (-13)/(-6)). Let u = -1/2 - a. Let o = 5/6 + u. Which is greater: 4 or o?
4
Suppose 152 = 3*y - 5*k, -9*y + 5*k + 196 = -5*y. Let f be (-5)/(-2)*y/(-385). Which is greater: 7.4 or f?
7.4
Let u(r) be the third derivative of r**4/12 + 4*r**3/3 + r**2 - 34*r. Let f be u(2). Which is greater: f or 8?
f
Suppose 3*x + 2*x + 5 = k, -2*k = -5*x - 5. Let i be 7 - 3/(3 - k). Suppose i*w = 9*w + 24. Is -8 bigger than w?
False
Let h be ((-60)/2)/(3/2). Let k = -15 + 15. Suppose -3*w + 8 - 5 = k. Which is greater: h or w?
w
Let v(m) = -m**3 - 4*m**2 + 2*m + 8. Let s be v(-4). Which is bigger: 1/934 or s?
1/934
Let m = 272 + -272. Is 5/36 at least m?
True
Suppose 0*b - 5*r = -5*b + 35, -2*b + r = -12. Suppose -5*q = -40 + 10. Let s be -3 + q + (3 - b). Is 3/14 > s?
False
Let w be (3822/12)/13 - 1/2. Is w less than 10?
False
Let w = -80 + 79.948. Let c = -5.052 - w. Which is bigger: c or 7?
7
Suppose 0*v + 8 = -4*v, 5*v + 26 = -4*w. Let d = -438 + 440. Do d and w have the same value?
False
Let u = -801/5 - -163. Let n = u - 23/10. Let h = 1353 - 1351. Which is greater: n or h?
h
Suppose u + 3*q - 160 = 0, 0 = -2*u + 4*q - 25 + 345. Which is smaller: u or -3?
-3
Let h = -30 - -33. Suppose -10 = h*z - 5*z. Which is greater: -3 or z?
z
Let w = 5820 - 5789.99. Let a = w + -30. Let f be ((-4)/10)/((-4)/5). Is f >= a?
True
Suppose -9*v + 10*v - 5 = -4*j, 0 = 2*j - v + 5. Let y be (-12)/(-172)*1/6. Is j less than or equal to y?
True
Suppose 139931 = 3*u + x, u + 0*u = x + 46641. Let h = u + -325442/7. Let l = -151 + h. Which is smaller: -5 or l?
-5
Let t be 12/3 - (3 + -3). Suppose 5*j + 5 = -t*l, -2*j = -4*l + 3*l + 2. Let y be (2 - (2 - -1)) + (-39)/(-36). Which is smaller: y or j?
j
Suppose 6*q = q. Let a be (-9)/(-6) - q/3. Is a <= 3?
True
Suppose 0 = -s + 5*j - 12, 4*j - 21 =