= 1 + -3. Suppose 0 = -3*j, -8*f + 11*f = 3*j + 102. Suppose 62 = -4*g + f. Which is smaller: g or t?
g
Let s be ((-6)/9)/(0 - 5/417). Let t = -55 + s. Which is bigger: t or 3?
3
Let q(c) = -10*c + 6. Let s = 22 - 19. Let a be q(s). Let d = -24 - a. Is 1/5 < d?
False
Suppose -2*y = y - 5*y. Let w = 9189/14 + -656. Let u = -53/70 + w. Which is smaller: y or u?
u
Let d = -231166/9 - -25660. Which is smaller: d or -25?
d
Let s = -3088 - -685537/222. Which is smaller: 0 or s?
0
Let u be ((-6)/(-119) + 0)*(-455)/(-1300). Which is smaller: -1 or u?
-1
Let n be (11 - 4) + 4/(-1). Suppose -n*l - 2*l + 25 = 0. Suppose -6*s = -l*g - s + 110, -2*g = 4*s - 50. Which is smaller: 24 or g?
g
Let g(k) be the second derivative of -k**5/20 - 7*k**4/6 + 16*k. Let a be g(-14). Are a and 0 equal?
True
Let z(k) = -k**3 + 5*k**2 + 2*k - 9. Let w be z(5). Let a = -7 + 8. Let x = w + a. Which is smaller: 3 or x?
x
Let z be (3*(-1)/3)/(3/195). Is -60 bigger than z?
True
Let v = 0.01 + 6.19. Let h = 2 - v. Let o = h + 1.2. Which is smaller: 0.5 or o?
o
Let n(d) = 11*d - 11. Let x(b) = -5*b + 5. Let k(s) = -4*n(s) - 9*x(s). Let h be k(2). Is -2/77 <= h?
True
Let c = -10 + 8. Let i = c - -4. Let h = -1 + i. Which is smaller: h or -7?
-7
Let z be (2/(-9))/((-43129)/(-129)). Which is smaller: z or 1?
z
Let n be 2/4*(-2 + (-32)/(-8)). Let f(l) = -2*l**3 + 9*l + 3. Let k be f(-6). Let r = k + -5713/15. Which is smaller: n or r?
r
Let t = -1 - 33. Let z = -403.1 + 403. Is z at least t?
True
Let i = 0.31 - -0.99. Let f = i + 0.3. Let u = f - 0.6. Is u not equal to 3/8?
True
Let s(o) = -o - 9. Let c be s(-9). Let k be (-4)/7 + 52/(-56). Which is greater: k or c?
c
Suppose 4*d + 0*d = 4*g + 68, 5*d - 2*g - 73 = 0. Let r be (13/d)/((-3)/(-7)). Let n = r - 2. Which is bigger: 0 or n?
n
Let l = -170 + 98. Let b = 73 + l. Let j = 3 + -4. Are j and b unequal?
True
Suppose 0 = 2*j - 4*v - 3 + 1, -v + 17 = 3*j. Suppose 0 = -5*l + 2*f, 0 = 4*l - 0*f + j*f. Suppose 0 = m - l + 1. Which is smaller: m or 2/63?
m
Let m = -18574 + 910178/49. Which is smaller: 0 or m?
0
Let t be (-16)/(-7) - 2/7. Do 33 and t have the same value?
False
Let h be -4*((-18)/(-4))/(-9). Let u be ((-5)/9*-3)/3. Which is bigger: u or h?
h
Let f be 1*(-5)/(-45) + 3865/45. Which is bigger: 88 or f?
88
Let w = -37 - -39. Suppose h = -w*h. Which is bigger: 2/19 or h?
2/19
Let a = 24 + -35. Let y = -12 - a. Which is greater: y or 1/34?
1/34
Let x = 762 + -5322/7. Let z be (-1)/2 - (-14)/4. Do x and z have the same value?
False
Let x(c) = 21*c**3 + c**2 + 20*c - 37. Let u be x(2). Which is greater: 177 or u?
177
Let b(c) = -c**3 - 5*c**2 + 7*c + 6. Let d(s) = s**2 + 7*s + 4. Let w be d(-5). Let x be b(w). Let p be 10/3*36/(-210). Which is smaller: x or p?
p
Let k(g) = -g + 7. Let w be k(-8). Suppose -w = -4*h - 47. Which is smaller: -9 or h?
-9
Suppose -3*m = -5*d - 149, 2*m + 4 - 10 = 0. Let q = -27 - d. Which is smaller: q or -1/4?
-1/4
Let b be (-2)/8 - 102/8. Suppose 4*y + 45 = -7. Let u = y - b. Do -0.1 and u have the same value?
False
Suppose -2*c - 4*p = -24, -4*p - p - 58 = -3*c. Suppose 0 = 5*v - 25, 0*v = w - 4*v + c. Suppose 6*s - 2*s = w. Which is bigger: s or 2?
2
Let d = -14.57 + 60.97. Is d smaller than 1?
False
Let r = 398.94 - 386. Let n = -0.06 - r. Is -2 <= n?
False
Let x be (-127704)/(-15946) + (-7 - 1). Which is smaller: 0 or x?
0
Let s be 4/(-24)*-74 - (-1)/(-3). Suppose 5*q = 4*c + s, -3*q + 2*c + 1 = -5. Is -1/16 > q?
False
Let w = 2493 + -2489. Let y = 3 + -4. Are y and w unequal?
True
Let t(q) = 135*q + 33. Let o be t(-3). Are o and -371 equal?
False
Let o = 6.28 + 126.82. Let g = -133 + o. Which is smaller: g or -4/5?
-4/5
Let o = -1/469 + -921/7973. Suppose -l + 4*l = 0. Is o >= l?
False
Let r = 42 + -46. Which is bigger: r or -2/21?
-2/21
Let t = 0.01 + -2.01. Let x = 19 - 53. Let i = x + 35. Which is smaller: i or t?
t
Let w = 161 + -144. Which is smaller: 20 or w?
w
Let v be 13/(-20) - 1/(-4). Let h(p) = -198*p - p**2 - 200*p + 379*p + 13. Let b be h(-20). Is b greater than v?
False
Let b(c) = c + 2. Let w be b(4). Suppose 3*j = -4 + 19. Which is bigger: w or j?
w
Suppose 8*g + 23 = 6*g + 3*u, 0 = -3*u + 9. Is -0.07 < g?
False
Let g(m) = 15*m - 13. Let v be g(-6). Let k = -100 - v. Which is smaller: 7/2 or k?
k
Let f be -3 - 3*665/(-651). Is 1 >= f?
True
Let c = -152 + 165. Suppose -c*s + 5*s = -24. Which is bigger: 26/7 or s?
26/7
Let v be 2/11 + (-32)/(-66). Suppose 0*s + 10 = -2*s, -11 = -4*j - s. Let z = 6 - j. Which is greater: z or v?
z
Suppose 10*k - 60 = 9*k. Let i be (-6)/(-15) - (-16)/k. Which is greater: -6 or i?
i
Suppose -7*s - 576 = -3453. Let l = s - 5757/14. Which is smaller: l or 1?
l
Let n(q) = q**2 + 5. Let i(k) = -k**2 + k - 4. Let c(a) = 4*i(a) + 3*n(a). Let v be c(4). Suppose 3*p + 2*l = 0, 0 = -3*p + 4*p + 4*l. Is p at most v?
False
Let t = -1521 - -874. Which is greater: -646 or t?
-646
Let c be (5 - 16/3)/((-5)/(-370)). Which is smaller: c or -25?
-25
Suppose -399*j = -423*j + 36960. Is 1541 smaller than j?
False
Suppose -x - 2*h + 223 = 0, 9*x + 3*h + 660 = 12*x. Which is smaller: 225 or x?
x
Let s = -6 + 24. Let n = -5 + s. Suppose -4 = -o + n. Is o greater than 16?
True
Let r = -37239 - -37717.93. Let d = r - 474. Let v = d - -0.07. Is -0.1 > v?
False
Let o be -440 - ((-4)/14)/(64/(-56)). Let p = o - -438. Which is bigger: -1 or p?
-1
Suppose -4*w = -2*w - 2*z - 6, 2*z + 6 = -3*w. Is -6/151 less than or equal to w?
True
Let d = -710611/14 - -100919/2. Let q = 299 + d. Is q >= -4?
True
Let a = 10.22 + -0.22. Let x = a + -12. Which is smaller: -2/5 or x?
x
Let t be (-8)/((-2)/(3 + -5)). Suppose h + 4*r + 9 = 0, 0 = -4*h + h + 3*r - 27. Let f = t - h. Is 1 greater than f?
False
Let p(v) = v**2 + 7*v - 40. Let n be p(6). Which is smaller: n or 315/8?
n
Let x(t) = -t + 35. Let k be x(17). Let r be (11 - 11) + k/(-1). Are r and -18 non-equal?
False
Let s be ((-59)/(-5))/((-36)/(-135)). Which is smaller: 44 or s?
44
Suppose 162*m = 157*m + 30. Let b be m/(-21) + 12/140. Which is smaller: -1/4 or b?
-1/4
Let p(a) = -a + 34. Let o be p(26). Suppose -410 = -5*z + 2*i, 0 = -3*z + o*z + 4*i - 440. Is 84 >= z?
True
Suppose 3*c - 3*r = 39, 5*r = 3*c - 5*c + 54. Suppose 0*o = o - c. Is o greater than or equal to 18?
False
Let j = -82 - -81. Is j equal to -4/35?
False
Let m(z) = -z - 20. Let d be m(-17). Let a be -1*(0 + 1)*(-2 - d). Suppose 5*f + 3*o + 11 = -11, 12 = -3*o. Is f at most a?
True
Let b be -14 - 3/3 - -2. Let g = -14 - b. Is 2/7 greater than g?
True
Let f = 935/2822553 + -1/977. Which is bigger: f or 0?
0
Let v = 1234 - 1234.1. Let b = -33.39 + 33. Let p = 17.61 - b. Is p < v?
False
Let a = -13799/7 + 1971. Which is smaller: a or 0.0658?
a
Let n = 6 - 16. Suppose 574 = -59*y - 23*y. Is n < y?
True
Suppose -96*l + 127*l = 0. Is l smaller than -2/3697?
False
Let b = -23 + 51. Let g be (16/b)/((-2)/(-7)). Let h be 5/(-6) - (-1)/g. Which is smaller: 4/5 or h?
h
Let z(t) = t**3 + 16*t**2 + 14*t - 20. Let j be z(-15). Let w(i) = 3*i + 12. Let b be w(j). Is b at least -5?
True
Suppose 3*q - 12 = 0, 0*q + 12 = i + 2*q. Let k = i + 0. Suppose -5*t + k*w + 5 = 0, 5*t + 4*w + w = 50. Which is greater: t or 4?
t
Let p be (4 - 5)/(2 + -1). Let n be 272/32*(1 - p). Are 17 and n non-equal?
False
Suppose -14*q - 6 + 48 = 0. Is q not equal to -21?
True
Let r be (4/3)/(3/9). Suppose 5*d + 25 = 4*d. Let w be 6/135*-3*d. Which is smaller: w or r?
w
Let j = -46 - -19. Let r = j - -27.1. Let g = -6/11 + 52/55. Is r equal to g?
False
Suppose -4719 = -42*o + 20691. Is o != 604?
True
Let a be (-6)/9 + (-264)/(-207). Which is greater: 2 or a?
2
Let x be (0 + -2)*1 + 9. Suppose 3*w = -2*n + 3, -4*n = -3*w - n - 12. Which is smaller: w or x?
w
Let u = -0.191 + -13.909. Let m = -14 - u. Let z = -4.9 - m. Which is smaller: z or 2?
z
Suppose -232 = 9*r - r. Do -33 and r have the same value?
False
Suppose 0 = 4*t + 3*k + 42 + 12, 4*t = 2*k - 44. Let n(g) = 3*g + 4*g**2 + 11 + 7 - 2 - 13*g**2 - g**3. Let v be n(-9). Is t greater than or equal to v?
False
Let y = 9.21 - 9.25. Which is smaller: y or 46?
y
Let r = -1.35 + 1.29. Let z = -192 + 194.06. Let d = z + r. Is d greater than -0.7?
True
Let b = -70 + 41. Let y = -21 - b. Let i be (y/12 + -1)*3. Is 2/73 less than or equal to i?
False
Let m =