
d
Suppose 0 = -q - 2*k + 3, 6*k = 2*k - 12. Let h be 10/(-8) + q/36. Which is smaller: -5/4 or h?
-5/4
Let v(s) = -s**2 - 27*s - 33. Let t(n) = n. Let m(j) = -5*t(j) - v(j). Let x be m(-20). Which is greater: x or -37/5?
x
Let x = -3341/3 + 1136. Which is smaller: 22 or x?
22
Suppose -3*f = 5 + 34. Let j = f - -7. Let t(b) = -20*b**2 - 258*b + 23. Let h be t(-13). Which is greater: j or h?
h
Suppose 0*v + 3*v = 15. Suppose i + y = v*i + 45, 5*y - 27 = 2*i. Let b be 2/(-4) - i/26. Which is smaller: b or 1?
b
Let c(i) = i**2 - 4*i. Let d be c(3). Which is smaller: 53 or d?
d
Let t(y) = y - 2. Let k = -1 + 4. Let p be t(k). Suppose -b - p = 1, 0 = 4*q - 2*b. Which is smaller: 2/5 or q?
q
Let u be (-27)/(-108)*(1 + -1). Let m = 47 - 17. Let t be 2/15*m/24. Which is greater: t or u?
t
Let h = -345 - -331. Is -7 >= h?
True
Let u = 1.6 - 2. Let q(v) = -v**3 + 7*v**2 + v - 9. Let z be q(7). Let n be 21/(-27) - z - 1. Is n >= u?
True
Suppose 0 = -4*n + 170 + 194. Suppose -3*g = n - 37. Is 0.1 at most as big as g?
False
Suppose 0*o - 5*w = -4*o + 16, 3*w = 0. Suppose 3*k + 3*q + o = 4*k, 5*k - 5*q - 10 = 0. Is 3/5 at most k?
True
Let b(y) = y**2 + 11*y + 13. Let f be b(-7). Let j(z) = z**3 + 15*z**2 + 2*z + 13. Let c be j(f). Let u(t) = 2*t - 18. Let g be u(0). Which is bigger: c or g?
c
Let b = 656 - 419. Is 236 greater than b?
False
Suppose -2*c = -5*r - 10, -4*c + 4 = -r - r. Let f be 4 - 0 - 4 - r. Is 12/5 at least as big as f?
True
Let v = -339/44 - -31/4. Which is smaller: v or -1?
-1
Let p be (-17)/((-3570)/35763) - (-6)/(-20). Is 167 at least p?
False
Let d be 2/(-1)*((-21986)/2748 + 8). Let k = -2759/7557 + d. Which is bigger: k or 0?
0
Let m = -466 + 649. Is m not equal to 0?
True
Let i = -16 + 19. Suppose 0 = i*s + 7 + 2. Let n be ((-2)/s)/((-4)/(-6)). Is n bigger than -2?
True
Let k(y) = -y**3 + 4*y**2 - 3*y + 1. Let c be k(2). Let j = -2 - c. Suppose -2*g - 5 = 3. Which is smaller: j or g?
j
Let p be (-2)/(-3)*(1 - 35/(-10)). Suppose 10*l + 7 = p*l. Which is smaller: 1/13 or l?
l
Let n = -492 + 471. Is -21 <= n?
True
Suppose -12*j + 300 = -636. Suppose 0 = -3*o + 3 + 234. Is j less than or equal to o?
True
Let r = -2.9 + 3. Let f be ((-10)/1100)/((-27)/(-6)). Let t = f + -193/2475. Which is smaller: t or r?
t
Suppose -339*l + 6 = -345*l. Which is bigger: l or 2/4347?
2/4347
Let g be (-2 - -1) + (-6127)/77. Is g <= -80?
True
Suppose 2*i + 12*i = -2744. Let j be 1/(-4) + (-1 - 301/i). Which is smaller: -13/7 or j?
-13/7
Let m = 516 - 521. Suppose 0 = -3*o + 5*o. Which is bigger: m or o?
o
Suppose -5*l + 25 = 5. Suppose l*j - 4 = 0, 0 = o - 5*j + 9. Is -2 bigger than o?
True
Let p(l) = -7*l**3 - l**2 - 3*l + 1. Let o be p(2). Let c = -65 - o. Let i = 0 + 0. Is i greater than or equal to c?
True
Let r = -25 - -43. Let a be (4 + (-78)/r)*(4 + -1). Which is greater: -3/32 or a?
-3/32
Let s(i) = i**2 - 4*i + 3. Let t be s(2). Let u = 31886/581 + -384/7. Which is smaller: u or t?
t
Let b = 3803/4 - 950. Which is smaller: b or -6?
-6
Let n be ((-3)/(-6))/((-5)/2). Let b = 60.2 + -60.14. Which is smaller: n or b?
n
Let s = 345 - 2419/7. Suppose -26 = 35*w + 9. Which is smaller: s or w?
w
Let p(c) = c**2 + 4*c + 4. Let q be p(-3). Let m = 1019 + -1019. Let o = m - q. Is o greater than -2/21?
False
Let m = 305 - 322. Which is smaller: m or 1?
m
Suppose -7 + 1 = -3*g. Suppose -4 = -2*n - 10. Let l = n + g. Which is greater: l or 1/9?
1/9
Suppose -4*b + 201 = 5*c, 11*b - 12*b = -3*c + 124. Which is greater: 42 or c?
42
Suppose 11 + 1 = 4*y. Suppose 4*w + 5 = 1, -4*k + w - 87 = 0. Let g be 3*(y + k/6). Which is smaller: 0 or g?
g
Suppose -5*h = -210 - 80. Let g = h - 54. Is g equal to 6?
False
Let z = 6.78 - -0.22. Let r = z - 6.99. Which is bigger: 1 or r?
1
Let d = 4/81 + 71/3483. Which is smaller: d or 1?
d
Suppose 4*g = 5*g - 193. Suppose 0 = -4*k - 63 - g. Let z be 8/(-6)*18/k. Is z > 0?
True
Let u = -6 - 3. Let g = u + 11. Is 20/9 at most as big as g?
False
Let w = 73 - 78. Which is bigger: w or -6?
w
Let l be -6 - -5 - (-1 + 2). Let h be 23/l + (-15)/(-60). Which is smaller: h or -11?
h
Suppose -12*m = 191 + 193. Is m at most as big as -7?
True
Let c = -7 + 10. Suppose 3*g + c = 2*g, -t + 5*g + 14 = 0. Let o be -1*1 + (-21)/(-19). Which is smaller: t or o?
t
Let c be (5/(-145))/(1/17021). Let q = -587 - c. Which is smaller: q or 1?
q
Suppose -2*b - 3*g + 336 = 34, 4*g + 129 = b. Which is bigger: 141 or b?
b
Let f be (-2)/12 - 2284/(-168). Let q = 1619/119 - f. Which is smaller: q or -1?
-1
Suppose -27*w + 70 = -37*w. Let p = 18 + -26. Which is smaller: p or w?
p
Suppose -15*h + 24 = -9*h. Suppose 4 = -h*m, -3*m - 10 = -z - m. Is 29/4 less than z?
True
Let x be 2/24 - (-2)/(-6). Let j = 2.395 - -0.005. Let g = j + -0.4. Is g less than x?
False
Let x(r) = -r + 122. Let t be x(0). Suppose -z = -4*z - 5*i - t, 4*i - 120 = 4*z. Which is smaller: 1 or z?
z
Let g be 1/9 + 3393/1053. Suppose -4*h + 4*r + 32 = 0, -r - 20 = -6*h + h. Which is smaller: h or g?
h
Suppose -2*j = 3*j + 85. Let z = 21 + j. Suppose 0 = -5*s + h - 38, -2*s = -z*h + 5 + 3. Is -8 at most s?
True
Let l be 3/(-4)*(18 + 6). Let z be (l/4530)/((-1)/(-203)). Let o = -1/151 - z. Which is greater: o or 1?
1
Suppose -2*v - 104 + 844 = -5*y, 0 = 4*y + 2*v + 592. Let h be y/(-36) - 2/18. Is h <= 5?
True
Let b = 12 + -22. Let i(u) = 3*u + 22. Let g be i(b). Which is smaller: -4 or g?
g
Suppose 3*d + 2*s = -126, 2*s = d - s + 42. Let t be d*(-3)/(-18)*-2. Does t = 13?
False
Suppose 4*m + 5*f = 834, -f = -85*m + 80*m + 1028. Is m > 206?
False
Let h = 11843/23 - 515. Let p be ((-4)/(-6))/((-5)/(-15)). Suppose a = p*a. Which is bigger: h or a?
a
Let f = 45.94 - 46. Let y = 0.02 - f. Which is smaller: y or -0.2?
-0.2
Let k = 358 + -411. Is -49 greater than or equal to k?
True
Suppose 0 = 225*d - 230*d + 2*u - 15101, -9071 = 3*d + 4*u. Is -3021 >= d?
True
Let h = 120 + -108. Which is greater: -2 or h?
h
Suppose 0*i - i - 95 = 5*r, 0 = 4*r - i + 67. Suppose -5*s = -3*c + 70, 0 = -2*s + 4*c - 0*c - 14. Is s at most as big as r?
False
Suppose -18*v + 13*v = -1530. Let b be v/(4 - 10)*-1. Which is smaller: b or 53?
b
Let b = 73/70 - 9/14. Let p = -0.004 + -27.996. Which is smaller: b or p?
p
Let o be (3/(-6))/((-2)/(-4)). Let n = -2.22 - -159.22. Let x = -148 + n. Is x bigger than o?
True
Suppose -4*i - l = -7, -4*i + 2*i + 2*l = -6. Let o be (-1)/i*(-8)/(-16). Is o <= 9?
True
Suppose p - 7 = -2*w - 0*p, -13 = -2*w - 3*p. Let l(v) = -6*v + 2. Let y be l(w). Let o be 8/(-16)*(-4)/y. Is o at most as big as -1/4?
False
Let k be (18/(-92))/(6 + 17490/(-2916)). Let z = k + 95. Suppose -5*p + 3*c - c = -4, 2*p = -2*c - 4. Do p and z have different values?
True
Suppose -y + 846 = -12. Is 858 equal to y?
True
Suppose -w = z + 51, -5*w + 63 = 3*z - 4*z. Which is bigger: z or -49?
-49
Let n be (-15)/(-3)*(-2 - (-39)/15). Suppose 0 = -h + n*r - 27, 6*h - r + 108 = 2*h. Does h = -27?
True
Let l be (-6)/(-24) - 22/(-8). Suppose -5*d = 2*y + 68, 2*d - 5*d - 84 = l*y. Which is bigger: y or 0?
0
Let x be (-348)/(-6)*3/(-6). Which is smaller: -1 or x?
x
Let i = -0.33 - 17.67. Let m = 78 - i. Which is smaller: -1/4 or m?
-1/4
Let a = 38.4 + 0.6. Which is bigger: a or 1?
a
Let j(a) = -a**2 + 7*a. Let i be j(6). Let f = 211 + -306. Let q = f - -95.1. Which is bigger: q or i?
i
Let v = 146 + -138.6. Is v greater than -0.1?
True
Let f(a) = a**3 + a**2 - a - 11. Let g = 3 - -4. Let q be 0/2*g/(-14). Let m be f(q). Is -12 less than or equal to m?
True
Suppose 5*u + q = -12, -3*u - 4*q + 3*q - 6 = 0. Let o be (u/4)/(12/232). Let p = -133/10 - o. Which is smaller: p or 1?
1
Let z be (-1)/(-1)*0/(-13). Suppose z*l - 8 = -2*l. Let o be (27/15)/((-12)/(-30)). Which is greater: o or l?
o
Let t = 936 - 937. Let u be (-90)/(-216)*(-2 + 1). Are u and t nonequal?
True
Let i = -5257 + 5246. Let h(t) = -t + 2. Let d be h(-3). Is i less than or equal to d?
True
Let b = -138581 + 1941731/14. Let i = -114 + b. Let u(y) = -y + 3. Let a be u(3). Which is bigger: i or a?
i
Let g(k) = -8*k + 1. Let w be g(-4). Let u = 1476 - 1443. Is u less than w?
False
Let s = 0.6 + -4.6. Let o = s - -3.9. Which is smaller: o or 1.6?
o
Let d = -26 - -25. Let l = -521866/97 + 5380. Which is bigger: l or d?
l
Let l = -12 - -11.9. Let m = l - 0.06. Let r = m