63) - 420/49. Which is smaller: p or -7?
p
Let v(c) = -178*c + 3310. Let l be v(17). Is 285 less than l?
False
Let r = -655 - -459. Let s be (108/(-162))/(r/(-6)). Suppose 0 = 5*t + 3*o + 14 - 0, -3 = o. Which is bigger: t or s?
s
Let t = -2069613/5038 - -9033/22. Let d = -12436/2519 - t. Which is greater: d or -5?
d
Let x = -194 + 234. Suppose -2*m + 36 = m. Let v be 104/m*(-27)/(-6). Which is smaller: x or v?
v
Let x = 44/161 + 13450/1449. Let i be ((-1872)/156)/(8/12 + -2). Is i < x?
True
Let k = 10696 + -10696.025. Is 73 bigger than k?
True
Let z = -3908 - -3920. Is 12 less than z?
False
Let v be (405/468)/(3/8). Suppose -3*b = -80 + 101, -2*g + 3*b + 25 = 0. Which is smaller: g or v?
g
Suppose -t = 4*t + 5*n + 55, -5*t - 64 = -4*n. Let v = -1 + t. Let j(r) = -r**3 + r**2 + 2*r. Let s be j(3). Which is smaller: v or s?
v
Suppose 27*a + 198*a = 450. Are a and 630 non-equal?
True
Let h be (57/(-9) - -6)*0. Which is greater: h or 3/64?
3/64
Let o = -15727 + 15743. Are 376/23 and o nonequal?
True
Let v be 6729*13/(-88686) - 1/(12/(-10)). Which is smaller: 0 or v?
v
Suppose 6*x + 0*x = -2*x. Suppose x = -4*k - 21 - 79. Which is smaller: -23 or k?
k
Suppose -5*h - v + 220 = 0, 3*h - 2*v + 3*v - 132 = 0. Let s(i) = -2*i - 2. Let a be s(1). Let l be (3/75*h)/(a/(-10)). Do 4 and l have different values?
True
Let m = -2174 + 22675. Is m >= 20501?
True
Let t be (-87)/(-27) + -2 + (-16)/(-9). Let b = -11521/30 + 384. Let j = -7/15 + b. Which is smaller: j or t?
j
Let k be ((-146)/1)/(-1 - (-243)/318). Let y = -619 + k. Which is smaller: 9 or y?
y
Suppose -3*d - 3*j + 10 + 2 = 0, d = 5*j + 16. Suppose 7*x - d*x + 47 = 0. Let t = x - -42. Is t at most -5?
True
Let h = 59989/133 + -8312/19. Suppose 3*c - 88 = 4*n - 27, 0 = 3*c + 5*n - 25. Which is greater: c or h?
c
Suppose -3*b + 15 = 9. Suppose -b*l = 4*l - 4*l. Suppose l = 16*h + 203 - 43. Is h greater than -1?
False
Let l(y) = 3*y - 1514. Let v be l(-116). Is v equal to -1862?
True
Let h(r) = -3*r + 38. Let u be h(-9). Suppose 6*z - u = 145. Is z >= 3?
True
Let f be 13/((-2184)/(-32))*(-7)/(-3). Let k = 2613 - 2615.7. Do k and f have the same value?
False
Let h(v) = v**3 + v - 122. Let x be h(0). Let d = -2.503 - -2.603. Is x < d?
True
Let m be 12*(3 + (-21)/(-9)). Suppose 12*l - 242 = 395 + 107. Which is greater: l or m?
m
Let s = -54.42 + -3.78. Let l = s + 55. Are l and -1 non-equal?
True
Let u = -739.9 - -740. Which is smaller: -0.02017 or u?
-0.02017
Let a(l) = -4*l + 27. Suppose -o - 2*f + 17 = 0, -2*f - 13 = -4*o + f. Let j be a(o). Let m be j - ((16/4)/4 + -3). Which is smaller: m or 4/57?
4/57
Let w be 1 - 3/(3/104). Let x = w + 724/7. Let i = 0.227 - 0.027. Is x at most as big as i?
False
Suppose 0 = 13*r - 1552 + 1539. Which is smaller: -3/236 or r?
-3/236
Let h be (-8428)/36 + (-20)/(-18). Suppose -118 = m + 4*a + 111, -234 = m - a. Are h and m non-equal?
False
Let m be -7 + 5 - (-1 + -1000). Suppose 28*i - 55*i + m = 0. Which is greater: 1 or i?
i
Let o(a) = -1412*a - 2811. Let p be o(-2). Let v be 26/4*(3 + -1). Is p less than v?
False
Let b = 7 + -29/5. Suppose 3*m - 12*n - 18 = -9*n, 0 = 5*m + 3*n - 22. Let i be 5/(-4) + (-12)/(-40)*m. Which is bigger: b or i?
b
Let d = -454835/3 + 149069. Is d >= -2543?
True
Let r be (-1)/(-2)*(-60)/5. Let l be r/(-2) + (173775/2360)/(-15). Let y = -15/8 - l. Is y greater than -1?
True
Let t(y) be the third derivative of -31/24*y**4 - 7*y**2 + 0 + 0*y + 7/3*y**3. Let s be t(-2). Which is bigger: s or 77?
77
Let q = 5927 + 3842. Which is smaller: q or 9767?
9767
Suppose -14*y + 1663 + 6485 = 0. Suppose -4*n - 5*x = -y - 141, 3*x + 168 = n. Do n and 177 have different values?
False
Let v = 0.18 - 0.28. Which is greater: 0.656 or v?
0.656
Let b be ((2/3)/1)/(-1). Suppose 4*s - 13 = -3*y, 3*y - 11 = -7*s + 5*s. Let z(i) = 35*i - 64. Let m be z(y). Which is smaller: b or m?
b
Let h be (3/14)/(685710/(-103859)). Is h >= 0?
False
Let b = -21979 + 21550. Is b greater than or equal to -9?
False
Let p be 0 + -4 + 8 + -8. Suppose 2*z = 2*u + 98, -3*u - 139 + 44 = -2*z. Let w be (-32)/(-14)*13/z. Which is greater: p or w?
w
Let f(n) = -14 + 0*n - 3*n - n**2 - 8*n. Let p be f(-9). Suppose p*d - 5*d = -18. Which is bigger: d or 19?
19
Let m = -206.66 + 208. Let g = -30.34 + m. Is g greater than 3?
False
Let b = 794 - 1548. Let l = -6033/8 - b. Which is smaller: l or -14?
-14
Let v = 2355.8 + -2361. Which is bigger: v or 12?
12
Suppose -103*b + 106*b = 5*m - 8, -4*m = 4*b. Let t = -167.08 - -164. Let k = t + 0.08. Is b >= k?
True
Let c = 168822/11533 + -278/19. Is c equal to -1?
False
Suppose 2*j + 2*h = -80, j + 4*j + 212 = -2*h. Let u be 1 - -4 - (5 - (8 - j)). Do u and 53 have the same value?
False
Let r(f) = f**2 - 10*f + 14. Let z be r(13). Let q be (-2)/(2/(-1)) + z. Let k be q/12 - 6/4. Is k < 3?
False
Let y = 20.5 - 31.82. Let w = -11.3 - y. Which is smaller: 16 or w?
w
Let z be (3 + 61/(-7))/((-4)/14). Let s(o) = 9 - 21 + 20*o - 5 - o**2. Let i be s(18). Which is greater: i or z?
z
Suppose -37*y = -46*y + 72. Let z be -3*y/24 - 31. Which is greater: z or -30?
-30
Let a = 0.103 - -0.597. Let x = -32 - -32. Is a less than x?
False
Let s(x) be the first derivative of -3*x**2/2 - 17*x + 23. Let l be s(-9). Let y = 39 - l. Are y and 30 non-equal?
True
Let u = -21 - -24. Suppose -1 = n + 3*c, 2*n - c = u - 5. Let p = 37090/11 - 3374. Which is bigger: p or n?
n
Suppose -84*d = -2*b - 81*d + 21, d = 4*b - 37. Are 14 and b nonequal?
True
Let v(f) = -f - 5. Let y be v(-3). Let l = -234.3 - -237.3. Which is smaller: y or l?
y
Let h be (2/19)/(3940/6643825). Let d = -366 - -543. Is h smaller than d?
False
Let i = -3151 + 2401. Is -5256/7 at most i?
True
Suppose 12*q - 15 = 9*q. Suppose 5*w - a + 35 = 2*w, -q*w = -5*a + 55. Let s be w/(-135) + -2 + 9/5. Is -1 < s?
True
Let j be 0 - (-2)/(-1 + (-116)/(-108)). Suppose 5*b - j = -4*b. Suppose -8*p + 5 = -3*p. Do b and p have different values?
True
Let o = -2929 + 2929.32. Let u = 6.4 - 5.42. Let w = o + u. Which is smaller: -2/3 or w?
-2/3
Let d(y) = 4*y - 23. Let t be d(13). Let a = t + -27. Suppose 8*u - a*u = -6. Are -1 and u equal?
True
Suppose -v + 38 = 5*h, 2*h = 2*v - v - 10. Let t be (80/(-24) + 7)*(0 + 36). Suppose -58 - t = -10*o. Which is greater: v or o?
o
Let u = 10670/23 - 464. Which is smaller: u or -0.32?
-0.32
Let m(z) = -38*z. Let q(v) = 49*v + 50. Let x be q(-1). Let t be m(x). Let n be 394/(-10) + (-6)/(-15). Which is bigger: n or t?
t
Let v(r) = r**2 + 28*r + 251. Let u be v(-9). Which is smaller: 4 or u?
4
Let x = 8718 - 7886. Is 828 less than x?
True
Let n be (-336)/72*(2 - (-3 + (5 - 3))). Is 0.31 at most n?
False
Suppose -3*f + 2*f = -3. Suppose 10 = -f*s + 8*s. Suppose -h + 3*r - s*r = 10, 2*r = -3*h - 10. Which is bigger: h or -7?
h
Let l = 525.43 - 523. Let i = l + -2.24. Suppose 2*z + 3 + 7 = -3*j, -4*j = -2*z + 4. Is z > i?
False
Suppose 0*y - 15 = -5*y. Suppose 7*r - y*r + 3*q = -5, -5*r - 3*q = 10. Suppose -742 + 760 = -2*c. Which is smaller: r or c?
c
Let s be (-2)/(-4)*(-121 - 45). Suppose 0*g = 4*y + 5*g + 336, 4*y + 324 = -2*g. Is s <= y?
True
Let k = 8665231/13281540 + 1/80985. Which is greater: k or 0?
k
Let s(n) = -129*n - 773. Let w be s(-6). Are w and -22/83 unequal?
True
Let s = 70 - 423. Let m = -436 - s. Which is smaller: m or -82?
m
Let x = 0.31 + -10.31. Let q(u) = u**2 + 25*u + 140. Let k be q(-9). Which is bigger: k or x?
k
Let u(q) = -39*q**3 + 3*q + 6. Let g be u(-2). Which is bigger: g or 3436/11?
3436/11
Suppose 2*a + 21*b - 17*b = -22, 2*a - 26 = 4*b. Is 5/137 less than or equal to a?
True
Let c = 66951 - 163962997/2449. Which is smaller: -1 or c?
-1
Let g = -0.5886 - -0.642. Let t = 0.0934 - g. Which is smaller: -0.67 or t?
-0.67
Let p(k) = -2*k - 2*k + 5*k + 0*k + 1. Let r be p(3). Suppose -2*l + 2 = -h, -4*l + 0*l = -r*h - 20. Which is greater: -3 or h?
-3
Let w(u) = u**3 + 24*u**2 - 29*u - 58. Let t be w(-25). Suppose r + t = 62. Which is greater: 26 or r?
26
Let j = 321 + -291. Let g = -29 + j. Which is smaller: g or 1/71?
1/71
Let b(r) = 2779*r - 2778. Let o be b(1). Which is smaller: o or -2/2181?
-2/2181
Let y = 2312120/4119 - -4/1373. Which is bigger: 560 or y?
y
Let o(p) = -7*p - 64. Let b(t) = -8*t - 69. Let w(v) = 2*b(v) - 3*o(v). Let f be w(-8). Which 